PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb
MD5SUM	3c3e6264ad2029dcb2dc81be78ef5988
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	103.29
Number of variables	9183
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	592
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 35794

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-28 13:55:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25023 boxname=wulflinc4 idbench=1495 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3c3e6264ad2029dcb2dc81be78ef5988  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-bienst2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-bienst2.opb
IDLAUNCH: 25023
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        738800 kB
Buffers:         33888 kB
Cached:         241280 kB
SwapCached:        640 kB
Active:          18756 kB
Inactive:       258556 kB
HighTotal:      131008 kB
HighFree:         7812 kB
LowTotal:       903652 kB
LowFree:        730988 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5304 kB
Slab:            12892 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 14:15:29 (client local time) WITH STATUS 0 IN 1202.08 SECONDS
stats: 25023 7 1202.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 192211/758475	Time: 74.1197/86400
Decision: 192211/758475	Time: 105.164/86400
Decision: 192437/758475	Time: 157.518/86400
Decision: 192522/758475	Time: 197.058/86400
Decision: 192522/758475	Time: 216.842/86400
Decision: 193349/758475	Time: 326.527/86400
Decision: 193349/758475	Time: 364.502/86400
Decision: 193743/758475	Time: 440.208/86400
Decision: 193743/758475	Time: 471.087/86400
Decision: 193862/758475	Time: 529.282/86400
Decision: 193954/758475	Time: 601.777/86400
Decision: 193954/758475	Time: 631.945/86400
Decision: 194021/758475	Time: 679.299/86400
Decision: 194021/758475	Time: 715.171/86400
Decision: 194021/758475	Time: 738.71/86400
Decision: 194021/758475	Time: 779.141/86400
Decision: 194371/758475	Time: 866.285/86400
Decision: 194446/758475	Time: 913.082/86400
Decision: 194446/758475	Time: 941.826/86400
Decision: 194446/758475	Time: 981.369/86400
Decision: 194530/758475	Time: 1043.93/86400
Decision: 194622/758475	Time: 1099.09/86400
Decision: 194622/758475	Time: 1139.54/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.84 0.95 0.90 1/54 31180
Raw data (stat): 31180 (runsolver) D 31179 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 807095933 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 30816 0 0 0 931 64 0 0 25 0 1 0 807095933 117387264 19684 4294967295 134512640 135726644 3221224576 3221123104 134771711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28659 19684 300 300 0 28359 0
vsize: 114636
[startup+20.0468 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 62345 0 0 0 1864 135 0 0 25 0 1 0 807095933 234704896 40117 4294967295 134512640 135726644 3221224576 3221192504 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57301 40117 300 300 0 57001 0
vsize: 229204
[startup+30.0806 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 98025 0 0 0 2791 212 0 0 25 0 1 0 807095933 304435200 54206 4294967295 134512640 135726644 3221224576 3221213564 134603584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74325 54206 300 300 0 74025 0
vsize: 297300
[startup+40.0813 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 101240 0 0 0 3782 219 0 0 25 0 1 0 807095933 310505472 55934 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75807 55934 300 300 0 75507 0
vsize: 303228
[startup+50.083 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 101582 0 0 0 4780 220 0 0 25 0 1 0 807095933 312233984 56243 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76229 56243 300 300 0 75929 0
vsize: 304916
[startup+60.0832 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 102813 0 0 0 5778 223 0 0 25 0 1 0 807095933 317562880 57195 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77530 57195 300 300 0 77230 0
vsize: 310120
[startup+70.0837 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 104177 0 0 0 6775 226 0 0 25 0 1 0 807095933 322383872 58066 4294967295 134512640 135726644 3221224576 3221223232 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78707 58066 300 300 0 78407 0
vsize: 314828
[startup+80.0849 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 106017 0 0 0 7772 229 0 0 25 0 1 0 807095933 329461760 59398 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80435 59398 300 300 0 80135 0
vsize: 321740
[startup+90.0859 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 107361 0 0 0 8769 233 0 0 25 0 1 0 807095933 334274560 60250 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81610 60250 300 300 0 81310 0
vsize: 326440
[startup+100.085 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 107727 0 0 0 9767 235 0 0 25 0 1 0 807095933 336023552 60550 4294967295 134512640 135726644 3221224576 3221223088 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82037 60550 300 300 0 81737 0
vsize: 328148
[startup+110.086 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 109720 0 0 0 10762 239 0 0 25 0 1 0 807095933 337223680 60931 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82330 60931 300 300 0 82030 0
vsize: 329320
[startup+120.087 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 110183 0 0 0 11761 240 0 0 25 0 1 0 807095933 338579456 61133 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82661 61133 300 300 0 82361 0
vsize: 330644
[startup+130.088 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 110836 0 0 0 12759 242 0 0 25 0 1 0 807095933 340557824 61459 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83144 61459 300 300 0 82844 0
vsize: 332576
[startup+140.089 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 112993 0 0 0 13754 248 0 0 25 0 1 0 807095933 342675456 61774 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83661 61774 300 300 0 83361 0
vsize: 334644
[startup+150.089 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 113801 0 0 0 14752 249 0 0 25 0 1 0 807095933 344780800 62127 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84175 62127 300 300 0 83875 0
vsize: 336700
[startup+160.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 114104 0 0 0 15751 251 0 0 25 0 1 0 807095933 345833472 62299 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84432 62299 300 300 0 84132 0
vsize: 337728
[startup+170.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 115321 0 0 0 16748 254 0 0 25 0 1 0 807095933 349405184 62926 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85304 62926 300 300 0 85004 0
vsize: 341216
[startup+180.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 115776 0 0 0 17747 255 0 0 25 0 1 0 807095933 350867456 63218 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85661 63218 300 300 0 85361 0
vsize: 342644
[startup+190.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 117478 0 0 0 18742 260 0 0 25 0 1 0 807095933 351531008 63340 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85823 63340 300 300 0 85523 0
vsize: 343292
[startup+200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 117862 0 0 0 19740 262 0 0 25 0 1 0 807095933 352722944 63528 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86114 63528 300 300 0 85814 0
vsize: 344456
[startup+210.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 119641 0 0 0 20737 266 0 0 25 0 1 0 807095933 357883904 64424 4294967295 134512640 135726644 3221224576 3221222908 134735640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87374 64424 300 300 0 87074 0
vsize: 349496
[startup+220.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 119983 0 0 0 21736 267 0 0 25 0 1 0 807095933 358674432 64603 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87567 64603 300 300 0 87267 0
vsize: 350268
[startup+230.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 122114 0 0 0 22731 272 0 0 25 0 1 0 807095933 360247296 64860 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87951 64860 300 300 0 87651 0
vsize: 351804
[startup+240.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 122264 0 0 0 23730 273 0 0 25 0 1 0 807095933 360509440 64945 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88015 64945 300 300 0 87715 0
vsize: 352060
[startup+250.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 123921 0 0 0 24726 277 0 0 25 0 1 0 807095933 361103360 65054 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88160 65054 300 300 0 87860 0
vsize: 352640
[startup+260.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 124764 0 0 0 25724 280 0 0 25 0 1 0 807095933 363405312 65439 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88722 65439 300 300 0 88422 0
vsize: 354888
[startup+270.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31180
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 125078 0 0 0 26723 281 0 0 25 0 1 0 807095933 364191744 65558 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88914 65558 300 300 0 88614 0
vsize: 355656
[startup+280.099 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 31217
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 125115 0 0 0 27722 282 0 0 25 0 1 0 807095933 364191744 65595 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88914 65595 300 300 0 88614 0
vsize: 355656
[startup+290.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31233
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 125644 0 0 0 28720 284 0 0 25 0 1 0 807095933 366034944 65832 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89364 65832 300 300 0 89064 0
vsize: 357456
[startup+300.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31233
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 125713 0 0 0 29719 285 0 0 25 0 1 0 807095933 366166016 65868 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89396 65868 300 300 0 89096 0
vsize: 357584
[startup+310.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31233
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 125791 0 0 0 30719 285 0 0 25 0 1 0 807095933 366297088 65913 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89428 65913 300 300 0 89128 0
vsize: 357712
[startup+320.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31233
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 125811 0 0 0 31719 286 0 0 25 0 1 0 807095933 366297088 65933 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89428 65933 300 300 0 89128 0
vsize: 357712
[startup+330.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31233
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 126002 0 0 0 32718 287 0 0 25 0 1 0 807095933 366690304 66026 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89524 66026 300 300 0 89224 0
vsize: 358096
[startup+340.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31233
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 126333 0 0 0 33718 287 0 0 25 0 1 0 807095933 367480832 66292 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89717 66292 300 300 0 89417 0
vsize: 358868
[startup+350.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31233
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 126662 0 0 0 34717 289 0 0 25 0 1 0 807095933 368406528 66457 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89943 66457 300 300 0 89643 0
vsize: 359772
[startup+360.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 128196 0 0 0 35713 293 0 0 25 0 1 0 807095933 368406528 66509 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89943 66509 300 300 0 89643 0
vsize: 359772
[startup+370.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 128451 0 0 0 36712 294 0 0 25 0 1 0 807095933 368930816 66634 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90071 66634 300 300 0 89771 0
vsize: 360284
[startup+380.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 128921 0 0 0 37711 295 0 0 25 0 1 0 807095933 370245632 66843 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90392 66843 300 300 0 90092 0
vsize: 361568
[startup+390.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 129006 0 0 0 38709 297 0 0 25 0 1 0 807095933 370507776 66863 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90456 66863 300 300 0 90156 0
vsize: 361824
[startup+400.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 130503 0 0 0 39705 302 0 0 25 0 1 0 807095933 370507776 66878 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90456 66878 300 300 0 90156 0
vsize: 361824
[startup+410.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 130591 0 0 0 40704 302 0 0 25 0 1 0 807095933 370769920 66901 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90520 66901 300 300 0 90220 0
vsize: 362080
[startup+420.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 130703 0 0 0 41703 304 0 0 25 0 1 0 807095933 371167232 66980 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90617 66980 300 300 0 90317 0
vsize: 362468
[startup+430.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 131190 0 0 0 42702 305 0 0 25 0 1 0 807095933 372215808 67207 4294967295 134512640 135726644 3221224576 3221223200 134744503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90873 67207 300 300 0 90573 0
vsize: 363492
[startup+440.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 131509 0 0 0 43700 307 0 0 25 0 1 0 807095933 373202944 67396 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91114 67396 300 300 0 90814 0
vsize: 364456
[startup+450.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 131638 0 0 0 44700 307 0 0 25 0 1 0 807095933 373465088 67460 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91178 67460 300 300 0 90878 0
vsize: 364712
[startup+460.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 131681 0 0 0 45699 309 0 0 25 0 1 0 807095933 373731328 67503 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91243 67503 300 300 0 90943 0
vsize: 364972
[startup+470.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 133170 0 0 0 46696 313 0 0 25 0 1 0 807095933 373731328 67510 4294967295 134512640 135726644 3221224576 3221222992 134738146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91243 67510 300 300 0 90943 0
vsize: 364972
[startup+480.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 133288 0 0 0 47695 313 0 0 25 0 1 0 807095933 373993472 67563 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91307 67563 300 300 0 91007 0
vsize: 365228
[startup+490.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 133947 0 0 0 48693 316 0 0 25 0 1 0 807095933 375435264 67865 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91659 67865 300 300 0 91359 0
vsize: 366636
[startup+500.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 135702 0 0 0 49688 321 0 0 25 0 1 0 807095933 382291968 69426 4294967295 134512640 135726644 3221224576 3221222752 134765200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93333 69426 300 300 0 93033 0
vsize: 373332
[startup+510.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 135833 0 0 0 50687 322 0 0 25 0 1 0 807095933 376483840 68010 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91915 68010 300 300 0 91615 0
vsize: 367660
[startup+520.113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 136199 0 0 0 51686 323 0 0 25 0 1 0 807095933 377671680 68213 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92205 68213 300 300 0 91905 0
vsize: 368820
[startup+530.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 136290 0 0 0 52685 325 0 0 25 0 1 0 807095933 377933824 68239 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92269 68239 300 300 0 91969 0
vsize: 369076
[startup+540.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 136385 0 0 0 53684 325 0 0 25 0 1 0 807095933 378466304 68334 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92399 68334 300 300 0 92099 0
vsize: 369596
[startup+550.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 136483 0 0 0 54684 326 0 0 25 0 1 0 807095933 378732544 68432 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92464 68432 300 300 0 92164 0
vsize: 369856
[startup+560.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 138131 0 0 0 55679 331 0 0 25 0 1 0 807095933 379125760 68500 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92560 68500 300 300 0 92260 0
vsize: 370240
[startup+570.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 138274 0 0 0 56678 332 0 0 25 0 1 0 807095933 379654144 68578 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92689 68578 300 300 0 92389 0
vsize: 370756
[startup+580.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 138352 0 0 0 57677 333 0 0 25 0 1 0 807095933 379916288 68591 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92753 68591 300 300 0 92453 0
vsize: 371012
[startup+590.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 138932 0 0 0 58676 335 0 0 25 0 1 0 807095933 381489152 68784 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93137 68784 300 300 0 92837 0
vsize: 372548
[startup+600.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 139200 0 0 0 59674 337 0 0 25 0 1 0 807095933 382414848 68954 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93363 68954 300 300 0 93063 0
vsize: 373452
[startup+610.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 140335 0 0 0 60671 340 0 0 25 0 1 0 807095933 386441216 69520 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94346 69520 300 300 0 94046 0
vsize: 377384
[startup+620.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 140744 0 0 0 61671 341 0 0 25 0 1 0 807095933 387756032 69668 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94667 69668 300 300 0 94367 0
vsize: 378668
[startup+630.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 142245 0 0 0 62666 346 0 0 25 0 1 0 807095933 387756032 69687 4294967295 134512640 135726644 3221224576 3221223180 134783984 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94667 69687 300 300 0 94367 0
vsize: 378668
[startup+640.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31235
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 142246 0 0 0 63666 346 0 0 25 0 1 0 807095933 387756032 69688 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94667 69688 300 300 0 94367 0
vsize: 378668
[startup+650.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 142295 0 0 0 64665 348 0 0 25 0 1 0 807095933 387756032 69737 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94667 69737 300 300 0 94367 0
vsize: 378668
[startup+660.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 142436 0 0 0 65664 349 0 0 25 0 1 0 807095933 388018176 69813 4294967295 134512640 135726644 3221224576 3221223088 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94731 69813 300 300 0 94431 0
vsize: 378924
[startup+670.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 143931 0 0 0 66659 354 0 0 25 0 1 0 807095933 388018176 69826 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94731 69826 300 300 0 94431 0
vsize: 378924
[startup+680.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 143984 0 0 0 67658 356 0 0 25 0 1 0 807095933 388284416 69879 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94796 69879 300 300 0 94496 0
vsize: 379184
[startup+690.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 144065 0 0 0 68657 357 0 0 25 0 1 0 807095933 388546560 69895 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94860 69895 300 300 0 94560 0
vsize: 379440
[startup+700.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 144067 0 0 0 69656 358 0 0 25 0 1 0 807095933 388546560 69897 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94860 69897 300 300 0 94560 0
vsize: 379440
[startup+710.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 145550 0 0 0 70651 362 0 0 25 0 1 0 807095933 388546560 69898 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94860 69898 300 300 0 94560 0
vsize: 379440
[startup+720.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 145711 0 0 0 71650 364 0 0 25 0 1 0 807095933 388939776 69961 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94956 69961 300 300 0 94656 0
vsize: 379824
[startup+730.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 145883 0 0 0 72649 365 0 0 25 0 1 0 807095933 389885952 70133 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95187 70133 300 300 0 94887 0
vsize: 380748
[startup+740.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 145934 0 0 0 73648 367 0 0 25 0 1 0 807095933 390021120 70184 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95220 70184 300 300 0 94920 0
vsize: 380880
[startup+750.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 147616 0 0 0 74644 371 0 0 25 0 1 0 807095933 390545408 70254 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95348 70254 300 300 0 95048 0
vsize: 381392
[startup+760.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 147876 0 0 0 75643 372 0 0 25 0 1 0 807095933 391462912 70384 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95572 70384 300 300 0 95272 0
vsize: 382288
[startup+770.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 149434 0 0 0 76639 377 0 0 25 0 1 0 807095933 391790592 70427 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95652 70427 300 300 0 95352 0
vsize: 382608
[startup+780.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 149460 0 0 0 77638 377 0 0 25 0 1 0 807095933 391790592 70453 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95652 70453 300 300 0 95352 0
vsize: 382608
[startup+790.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 149540 0 0 0 78638 378 0 0 25 0 1 0 807095933 392056832 70533 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95717 70533 300 300 0 95417 0
vsize: 382868
[startup+800.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 149957 0 0 0 79636 380 0 0 25 0 1 0 807095933 393105408 70691 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95973 70691 300 300 0 95673 0
vsize: 383892
[startup+810.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 151595 0 0 0 80633 383 0 0 25 0 1 0 807095933 393367552 70782 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96037 70782 300 300 0 95737 0
vsize: 384148
[startup+820.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 151759 0 0 0 81631 385 0 0 25 0 1 0 807095933 393891840 70816 4294967295 134512640 135726644 3221224576 3221223220 134744672 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96165 70816 300 300 0 95865 0
vsize: 384660
[startup+830.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 151801 0 0 0 82631 386 0 0 25 0 1 0 807095933 393891840 70858 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96165 70858 300 300 0 95865 0
vsize: 384660
[startup+840.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 151887 0 0 0 83629 388 0 0 25 0 1 0 807095933 394153984 70879 4294967295 134512640 135726644 3221224576 3221223072 134743883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96229 70879 300 300 0 95929 0
vsize: 384916
[startup+850.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 151889 0 0 0 84628 390 0 0 25 0 1 0 807095933 394153984 70881 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96229 70881 300 300 0 95929 0
vsize: 384916
[startup+860.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 151923 0 0 0 85627 390 0 0 25 0 1 0 807095933 394153984 70915 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96229 70915 300 300 0 95929 0
vsize: 384916
[startup+870.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 151958 0 0 0 86626 392 0 0 25 0 1 0 807095933 394289152 70950 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96262 70950 300 300 0 95962 0
vsize: 385048
[startup+880.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 151962 0 0 0 87625 393 0 0 25 0 1 0 807095933 394289152 70954 4294967295 134512640 135726644 3221224576 3221223168 134760402 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96262 70954 300 300 0 95962 0
vsize: 385048
[startup+890.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 152017 0 0 0 88624 394 0 0 25 0 1 0 807095933 394289152 71009 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96262 71009 300 300 0 95962 0
vsize: 385048
[startup+900.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 153690 0 0 0 89620 398 0 0 25 0 1 0 807095933 394813440 71071 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96390 71071 300 300 0 96090 0
vsize: 385560
[startup+910.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 153788 0 0 0 90619 400 0 0 25 0 1 0 807095933 395075584 71104 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96454 71104 300 300 0 96154 0
vsize: 385816
[startup+920.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 153792 0 0 0 91619 400 0 0 25 0 1 0 807095933 395075584 71108 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96454 71108 300 300 0 96154 0
vsize: 385816
[startup+930.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 153817 0 0 0 92619 401 0 0 25 0 1 0 807095933 395075584 71133 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96454 71133 300 300 0 96154 0
vsize: 385816
[startup+940.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 153846 0 0 0 93618 402 0 0 25 0 1 0 807095933 395210752 71162 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96487 71162 300 300 0 96187 0
vsize: 385948
[startup+950.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 155334 0 0 0 94614 406 0 0 25 0 1 0 807095933 395210752 71168 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96487 71168 300 300 0 96187 0
vsize: 385948
[startup+960.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 155804 0 0 0 95612 408 0 0 25 0 1 0 807095933 396660736 71409 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96841 71409 300 300 0 96541 0
vsize: 387364
[startup+970.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 155817 0 0 0 96612 408 0 0 25 0 1 0 807095933 396660736 71422 4294967295 134512640 135726644 3221224576 3221222992 134737977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96841 71422 300 300 0 96541 0
vsize: 387364
[startup+980.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 157302 0 0 0 97608 412 0 0 25 0 1 0 807095933 396660736 71425 4294967295 134512640 135726644 3221224576 3221222896 134728931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96841 71425 300 300 0 96541 0
vsize: 387364
[startup+990.151 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 157538 0 0 0 98607 413 0 0 25 0 1 0 807095933 397185024 71531 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96969 71531 300 300 0 96669 0
vsize: 387876
[startup+1000.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 157545 0 0 0 99606 415 0 0 25 0 1 0 807095933 397185024 71538 4294967295 134512640 135726644 3221224576 3221223176 134743853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96969 71538 300 300 0 96669 0
vsize: 387876
[startup+1010.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 159031 0 0 0 100602 419 0 0 25 0 1 0 807095933 403255296 73024 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98451 73024 300 300 0 98151 0
vsize: 393804
[startup+1020.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 159043 0 0 0 101601 420 0 0 25 0 1 0 807095933 397185024 71554 4294967295 134512640 135726644 3221224576 3221222896 134728875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96969 71554 300 300 0 96669 0
vsize: 387876
[startup+1030.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 159057 0 0 0 102600 421 0 0 25 0 1 0 807095933 397185024 71568 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96969 71568 300 300 0 96669 0
vsize: 387876
[startup+1040.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 159061 0 0 0 103600 421 0 0 25 0 1 0 807095933 397185024 71572 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96969 71572 300 300 0 96669 0
vsize: 387876
[startup+1050.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 159114 0 0 0 104599 423 0 0 25 0 1 0 807095933 397381632 71625 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97017 71625 300 300 0 96717 0
vsize: 388068
[startup+1060.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 159320 0 0 0 105598 424 0 0 25 0 1 0 807095933 397905920 71702 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97145 71702 300 300 0 96845 0
vsize: 388580
[startup+1070.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 161047 0 0 0 106593 428 0 0 25 0 1 0 807095933 404500480 73300 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98755 73300 300 300 0 98455 0
vsize: 395020
[startup+1080.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 161047 0 0 0 107593 429 0 0 25 0 1 0 807095933 398430208 71818 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97273 71818 300 300 0 96973 0
vsize: 389092
[startup+1090.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 161357 0 0 0 108591 431 0 0 25 0 1 0 807095933 399495168 72063 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97533 72063 300 300 0 97233 0
vsize: 390132
[startup+1100.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 161358 0 0 0 109591 431 0 0 25 0 1 0 807095933 399495168 72064 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97533 72064 300 300 0 97233 0
vsize: 390132
[startup+1110.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 161360 0 0 0 110590 432 0 0 25 0 1 0 807095933 399495168 72066 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97533 72066 300 300 0 97233 0
vsize: 390132
[startup+1120.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 161361 0 0 0 111589 434 0 0 25 0 1 0 807095933 399495168 72067 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97533 72067 300 300 0 97233 0
vsize: 390132
[startup+1130.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 162852 0 0 0 112585 438 0 0 25 0 1 0 807095933 399495168 72076 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97533 72076 300 300 0 97233 0
vsize: 390132
[startup+1140.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 163103 0 0 0 113584 439 0 0 25 0 1 0 807095933 400019456 72198 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97661 72198 300 300 0 97361 0
vsize: 390644
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 163140 0 0 0 114583 440 0 0 25 0 1 0 807095933 400019456 72235 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97661 72235 300 300 0 97361 0
vsize: 390644
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 163142 0 0 0 115582 441 0 0 25 0 1 0 807095933 400019456 72237 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97661 72237 300 300 0 97361 0
vsize: 390644
[startup+1170.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 164624 0 0 0 116578 445 0 0 25 0 1 0 807095933 400019456 72237 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97661 72237 300 300 0 97361 0
vsize: 390644
[startup+1180.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 164625 0 0 0 117578 446 0 0 25 0 1 0 807095933 400019456 72238 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97661 72238 300 300 0 97361 0
vsize: 390644
[startup+1190.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 164994 0 0 0 118577 447 0 0 25 0 1 0 807095933 401072128 72413 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97918 72413 300 300 0 97618 0
vsize: 391672
[startup+1200.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31237
Raw data (stat): 31180 (pb2sat) R 31179 21152 21151 0 -1 0 165024 0 0 0 119577 448 0 0 25 0 1 0 807095933 401072128 72443 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97918 72443 300 300 0 97618 0
vsize: 391672
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.98 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 31237
Raw data (stat): 31180 (pb2sat) Z 31179 21152 21151 0 -1 12 165025 0 0 0 119745 462 0 0 25 0 1 0 807095933 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.98
CPU time (s): 1202.08
CPU user time (s): 1197.46
CPU system time (s): 4.6223
CPU usage (%): 100.008
Max. virtual memory (Kb): 395020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####