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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb
MD5SUM	098fe473d82d5f7d4121673eb775be76
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	22199
Optimality of the best value was proved	NO
Number of terms in the objective function	572
Biggest coefficient in the objective function	5000
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	547769
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	5000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	547769
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	30.1944
Number of variables	572
Total number of constraints	716
Number of constraints which are clauses	3
Number of constraints which are cardinality constraints (but not clauses)	644
Number of constraints which are nor clauses,nor cardinality constraints	69
Minimum length of a constraint	1
Maximum length of a constraint	518
Trace number 42393

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 06:19:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25605 boxname=wulflinc4 idbench=905 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  098fe473d82d5f7d4121673eb775be76  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-cracpb1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-cracpb1.opb
IDLAUNCH: 25605
/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:        704304 kB
Buffers:         34388 kB
Cached:         274204 kB
SwapCached:        944 kB
Active:          27416 kB
Inactive:       283312 kB
HighTotal:      131008 kB
HighFree:         1092 kB
LowTotal:       903652 kB
LowFree:        703212 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14056 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:39:41 (client local time) WITH STATUS 0 IN 1202.06 SECONDS
stats: 25605 7 1202.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.81 0.92 0.90 1/54 22987
Raw data (stat): 22987 (runsolver) R 22986 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968541342 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.84 0.92 0.90 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 28518 0 0 0 941 57 0 0 25 0 1 0 968541342 86491136 17426 4294967295 134512640 135730672 3221224576 3221208356 134612436 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21116 17426 301 301 0 20815 0
vsize: 84464
[startup+20.0022 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 54727 0 0 0 1886 112 0 0 25 0 1 0 968541342 161636352 32418 4294967295 134512640 135730672 3221224576 3221106704 134546586 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39462 32419 301 301 0 39161 0
vsize: 157848
[startup+30.0018 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 95199 0 0 0 2802 197 0 0 25 0 1 0 968541342 283095040 50697 4294967295 134512640 135730672 3221224576 3221070992 134546364 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69115 50697 301 301 0 68814 0
vsize: 276460
[startup+40.0017 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 108309 0 0 0 3774 224 0 0 25 0 1 0 968541342 316649472 63573 4294967295 134512640 135730672 3221224576 3221196736 134546483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77307 63573 301 301 0 77006 0
vsize: 309228
[startup+50.0029 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 116139 0 0 0 4758 240 0 0 25 0 1 0 968541342 335441920 68707 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81895 68707 301 301 0 81594 0
vsize: 327580
[startup+60.0033 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 118999 0 0 0 5752 246 0 0 25 0 1 0 968541342 345686016 70650 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84396 70650 301 301 0 84095 0
vsize: 337584
[startup+70.0042 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 121953 0 0 0 6746 252 0 0 25 0 1 0 968541342 355311616 72356 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86746 72356 301 301 0 86445 0
vsize: 346984
[startup+80.0044 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 123440 0 0 0 7743 255 0 0 25 0 1 0 968541342 361357312 73481 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88222 73481 301 301 0 87921 0
vsize: 352888
[startup+90.005 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 124437 0 0 0 8741 257 0 0 25 0 1 0 968541342 365207552 74118 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89162 74118 301 301 0 88861 0
vsize: 356648
[startup+100.005 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 125293 0 0 0 9740 259 0 0 25 0 1 0 968541342 367861760 74647 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89810 74647 301 301 0 89509 0
vsize: 359240
[startup+110.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 125644 0 0 0 10740 259 0 0 25 0 1 0 968541342 368918528 74867 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90068 74867 301 301 0 89767 0
vsize: 360272
[startup+120.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 126117 0 0 0 11739 260 0 0 25 0 1 0 968541342 370237440 75144 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90390 75144 301 301 0 90089 0
vsize: 361560
[startup+130.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 126338 0 0 0 12738 261 0 0 25 0 1 0 968541342 370900992 75332 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90552 75332 301 301 0 90251 0
vsize: 362208
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 126454 0 0 0 13738 261 0 0 25 0 1 0 968541342 371163136 75383 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90616 75383 301 301 0 90315 0
vsize: 362464
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 126693 0 0 0 14738 261 0 0 25 0 1 0 968541342 371822592 75523 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90777 75523 301 301 0 90476 0
vsize: 363108
[startup+160.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 127177 0 0 0 15737 263 0 0 25 0 1 0 968541342 373133312 75683 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91097 75683 301 301 0 90796 0
vsize: 364388
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 127654 0 0 0 16736 264 0 0 25 0 1 0 968541342 374181888 75900 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91353 75900 301 301 0 91052 0
vsize: 365412
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 129158 0 0 0 17734 266 0 0 25 0 1 0 968541342 378122240 76559 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92315 76559 301 301 0 92014 0
vsize: 369260
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 129609 0 0 0 18733 268 0 0 25 0 1 0 968541342 379301888 76719 4294967295 134512640 135730672 3221224576 3221222896 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92603 76719 301 301 0 92302 0
vsize: 370412
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 129862 0 0 0 19733 268 0 0 25 0 1 0 968541342 379826176 76843 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92731 76843 301 301 0 92430 0
vsize: 370924
[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 130250 0 0 0 20732 269 0 0 25 0 1 0 968541342 380874752 76973 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92987 76973 301 301 0 92686 0
vsize: 371948
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 131146 0 0 0 21730 271 0 0 25 0 1 0 968541342 383365120 77254 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93595 77254 301 301 0 93294 0
vsize: 374380
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 131407 0 0 0 22729 272 0 0 25 0 1 0 968541342 384151552 77320 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93787 77320 301 301 0 93486 0
vsize: 375148
[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 131426 0 0 0 23729 272 0 0 25 0 1 0 968541342 384151552 77339 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93787 77339 301 301 0 93486 0
vsize: 375148
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 131915 0 0 0 24727 274 0 0 25 0 1 0 968541342 385462272 77505 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94107 77505 301 301 0 93806 0
vsize: 376428
[startup+260.012 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 132382 0 0 0 25725 276 0 0 25 0 1 0 968541342 387182592 77809 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94527 77809 301 301 0 94226 0
vsize: 378108
[startup+270.012 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 133332 0 0 0 26723 278 0 0 25 0 1 0 968541342 389812224 78237 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95169 78237 301 301 0 94868 0
vsize: 380676
[startup+280.012 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 133653 0 0 0 27722 279 0 0 25 0 1 0 968541342 391004160 78459 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95460 78459 301 301 0 95159 0
vsize: 381840
[startup+290.013 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 134322 0 0 0 28722 280 0 0 25 0 1 0 968541342 392982528 78834 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95943 78834 301 301 0 95642 0
vsize: 383772
[startup+300.012 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 135392 0 0 0 29720 281 0 0 25 0 1 0 968541342 395878400 79350 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96650 79350 301 301 0 96349 0
vsize: 386600
[startup+310.013 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 135848 0 0 0 30719 282 0 0 25 0 1 0 968541342 397332480 79579 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97005 79579 301 301 0 96704 0
vsize: 388020
[startup+320.015 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 135870 0 0 0 31719 283 0 0 25 0 1 0 968541342 397332480 79601 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97005 79601 301 301 0 96704 0
vsize: 388020
[startup+330.014 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 135943 0 0 0 32719 283 0 0 25 0 1 0 968541342 397594624 79609 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97069 79609 301 301 0 96768 0
vsize: 388276
[startup+340.014 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 136305 0 0 0 33719 283 0 0 25 0 1 0 968541342 398643200 79712 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97325 79712 301 301 0 97024 0
vsize: 389300
[startup+350.014 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 137091 0 0 0 34718 285 0 0 25 0 1 0 968541342 400883712 80140 4294967295 134512640 135730672 3221224576 3221223172 134747444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97872 80140 301 301 0 97571 0
vsize: 391488
[startup+360.015 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 137172 0 0 0 35717 285 0 0 25 0 1 0 968541342 401412096 80221 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98001 80221 301 301 0 97700 0
vsize: 392004
[startup+370.015 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 137381 0 0 0 36717 286 0 0 25 0 1 0 968541342 401936384 80300 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98129 80300 301 301 0 97828 0
vsize: 392516
[startup+380.015 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 137663 0 0 0 37716 287 0 0 25 0 1 0 968541342 402587648 80355 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98288 80355 301 301 0 97987 0
vsize: 393152
[startup+390.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 137665 0 0 0 38716 288 0 0 25 0 1 0 968541342 402587648 80357 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98288 80357 301 301 0 97987 0
vsize: 393152
[startup+400.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 137669 0 0 0 39716 288 0 0 25 0 1 0 968541342 402587648 80361 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98288 80361 301 301 0 97987 0
vsize: 393152
[startup+410.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 137805 0 0 0 40715 288 0 0 25 0 1 0 968541342 402849792 80432 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98352 80432 301 301 0 98051 0
vsize: 393408
[startup+420.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 138098 0 0 0 41715 289 0 0 25 0 1 0 968541342 403374080 80596 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98480 80596 301 301 0 98179 0
vsize: 393920
[startup+430.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 138109 0 0 0 42715 289 0 0 25 0 1 0 968541342 403374080 80607 4294967295 134512640 135730672 3221224576 3221223264 134748543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98480 80607 301 301 0 98179 0
vsize: 393920
[startup+440.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 138528 0 0 0 43714 290 0 0 25 0 1 0 968541342 404422656 80768 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98736 80768 301 301 0 98435 0
vsize: 394944
[startup+450.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 139496 0 0 0 44712 292 0 0 25 0 1 0 968541342 406519808 81220 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99248 81220 301 301 0 98947 0
vsize: 396992
[startup+460.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 139779 0 0 0 45712 293 0 0 25 0 1 0 968541342 407306240 81309 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99440 81309 301 301 0 99139 0
vsize: 397760
[startup+470.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 140115 0 0 0 46712 293 0 0 25 0 1 0 968541342 408092672 81451 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99632 81451 301 301 0 99331 0
vsize: 398528
[startup+480.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 140144 0 0 0 47712 293 0 0 25 0 1 0 968541342 408092672 81480 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99632 81480 301 301 0 99331 0
vsize: 398528
[startup+490.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 140458 0 0 0 48711 294 0 0 25 0 1 0 968541342 408879104 81599 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99824 81599 301 301 0 99523 0
vsize: 399296
[startup+500.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 141809 0 0 0 49708 297 0 0 25 0 1 0 968541342 412286976 82111 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100656 82111 301 301 0 100355 0
vsize: 402624
[startup+510.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 141921 0 0 0 50708 297 0 0 25 0 1 0 968541342 412815360 82223 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100785 82223 301 301 0 100484 0
vsize: 403140
[startup+520.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 142044 0 0 0 51708 298 0 0 25 0 1 0 968541342 413343744 82346 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100914 82346 301 301 0 100613 0
vsize: 403656
[startup+530.024 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 142133 0 0 0 52708 298 0 0 25 0 1 0 968541342 413605888 82370 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100978 82370 301 301 0 100677 0
vsize: 403912
[startup+540.023 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 142257 0 0 0 53708 298 0 0 25 0 1 0 968541342 414134272 82494 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101107 82494 301 301 0 100806 0
vsize: 404428
[startup+550.024 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 142534 0 0 0 54707 299 0 0 25 0 1 0 968541342 414920704 82576 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101299 82576 301 301 0 100998 0
vsize: 405196
[startup+560.024 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 142537 0 0 0 55708 299 0 0 25 0 1 0 968541342 414920704 82579 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101299 82579 301 301 0 100998 0
vsize: 405196
[startup+570.024 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 142541 0 0 0 56707 299 0 0 25 0 1 0 968541342 414920704 82583 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101299 82583 301 301 0 100998 0
vsize: 405196
[startup+580.024 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 142549 0 0 0 57707 300 0 0 25 0 1 0 968541342 414920704 82591 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101299 82591 301 301 0 100998 0
vsize: 405196
[startup+590.025 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 142952 0 0 0 58707 300 0 0 25 0 1 0 968541342 415969280 82735 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101555 82735 301 301 0 101254 0
vsize: 406220
[startup+600.025 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 143815 0 0 0 59705 302 0 0 25 0 1 0 968541342 417804288 83146 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102003 83146 301 301 0 101702 0
vsize: 408012
[startup+610.026 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 143945 0 0 0 60705 303 0 0 25 0 1 0 968541342 418066432 83211 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102067 83211 301 301 0 101766 0
vsize: 408268
[startup+620.026 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 144448 0 0 0 61704 304 0 0 25 0 1 0 968541342 419377152 83391 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102387 83391 301 301 0 102086 0
vsize: 409548
[startup+630.026 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 144575 0 0 0 62704 304 0 0 25 0 1 0 968541342 419639296 83453 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102451 83453 301 301 0 102150 0
vsize: 409804
[startup+640.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 144579 0 0 0 63704 304 0 0 25 0 1 0 968541342 419639296 83457 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102451 83457 301 301 0 102150 0
vsize: 409804
[startup+650.027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 144694 0 0 0 64704 305 0 0 25 0 1 0 968541342 419639296 83572 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102451 83572 301 301 0 102150 0
vsize: 409804
[startup+660.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 144715 0 0 0 65704 305 0 0 25 0 1 0 968541342 419639296 83593 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102451 83593 301 301 0 102150 0
vsize: 409804
[startup+670.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 145294 0 0 0 66703 306 0 0 25 0 1 0 968541342 421212160 83784 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102835 83784 301 301 0 102534 0
vsize: 411340
[startup+680.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 145725 0 0 0 67702 307 0 0 25 0 1 0 968541342 422260736 83957 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103091 83957 301 301 0 102790 0
vsize: 412364
[startup+690.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 145744 0 0 0 68702 307 0 0 25 0 1 0 968541342 422260736 83976 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103091 83976 301 301 0 102790 0
vsize: 412364
[startup+700.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 146024 0 0 0 69701 308 0 0 25 0 1 0 968541342 422785024 84127 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103219 84127 301 301 0 102918 0
vsize: 412876
[startup+710.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 146031 0 0 0 70702 308 0 0 25 0 1 0 968541342 422785024 84134 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103219 84134 301 301 0 102918 0
vsize: 412876
[startup+720.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 146040 0 0 0 71702 308 0 0 25 0 1 0 968541342 422785024 84143 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103219 84143 301 301 0 102918 0
vsize: 412876
[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 146041 0 0 0 72702 308 0 0 25 0 1 0 968541342 422785024 84144 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103219 84144 301 301 0 102918 0
vsize: 412876
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 146611 0 0 0 73701 309 0 0 25 0 1 0 968541342 423833600 84456 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103475 84456 301 301 0 103174 0
vsize: 413900
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 146634 0 0 0 74701 309 0 0 25 0 1 0 968541342 423833600 84479 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103475 84479 301 301 0 103174 0
vsize: 413900
[startup+760.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 147095 0 0 0 75700 310 0 0 25 0 1 0 968541342 424882176 84682 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103731 84682 301 301 0 103430 0
vsize: 414924
[startup+770.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 147367 0 0 0 76700 311 0 0 25 0 1 0 968541342 425402368 84823 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103858 84823 301 301 0 103557 0
vsize: 415432
[startup+780.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 147923 0 0 0 77699 312 0 0 25 0 1 0 968541342 426713088 85056 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104178 85056 301 301 0 103877 0
vsize: 416712
[startup+790.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 147924 0 0 0 78699 312 0 0 25 0 1 0 968541342 426713088 85057 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104178 85057 301 301 0 103877 0
vsize: 416712
[startup+800.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 147926 0 0 0 79699 312 0 0 25 0 1 0 968541342 426713088 85059 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104178 85059 301 301 0 103877 0
vsize: 416712
[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 147928 0 0 0 80700 312 0 0 25 0 1 0 968541342 426713088 85061 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104178 85061 301 301 0 103877 0
vsize: 416712
[startup+820.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 148147 0 0 0 81699 312 0 0 25 0 1 0 968541342 427237376 85151 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104306 85151 301 301 0 104005 0
vsize: 417224
[startup+830.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149027 0 0 0 82697 314 0 0 25 0 1 0 968541342 430968832 85833 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105217 85833 301 301 0 104916 0
vsize: 420868
[startup+840.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149255 0 0 0 83697 315 0 0 25 0 1 0 968541342 431493120 85931 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105345 85931 301 301 0 105044 0
vsize: 421380
[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149331 0 0 0 84697 315 0 0 25 0 1 0 968541342 431755264 85942 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85942 301 301 0 105108 0
vsize: 421636
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149332 0 0 0 85697 315 0 0 25 0 1 0 968541342 431755264 85943 4294967295 134512640 135730672 3221224576 3221223184 134748234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85943 301 301 0 105108 0
vsize: 421636
[startup+870.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149333 0 0 0 86697 315 0 0 25 0 1 0 968541342 431755264 85944 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85944 301 301 0 105108 0
vsize: 421636
[startup+880.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149361 0 0 0 87698 315 0 0 25 0 1 0 968541342 431755264 85972 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85972 301 301 0 105108 0
vsize: 421636
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149370 0 0 0 88698 315 0 0 25 0 1 0 968541342 431755264 85981 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85981 301 301 0 105108 0
vsize: 421636
[startup+900.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149371 0 0 0 89698 315 0 0 25 0 1 0 968541342 431755264 85982 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85982 301 301 0 105108 0
vsize: 421636
[startup+910.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149373 0 0 0 90698 316 0 0 25 0 1 0 968541342 431755264 85984 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85984 301 301 0 105108 0
vsize: 421636
[startup+920.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149456 0 0 0 91698 316 0 0 25 0 1 0 968541342 431755264 86067 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 86067 301 301 0 105108 0
vsize: 421636
[startup+930.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149632 0 0 0 92698 316 0 0 25 0 1 0 968541342 432279552 86114 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105537 86114 301 301 0 105236 0
vsize: 422148
[startup+940.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 149927 0 0 0 93697 317 0 0 25 0 1 0 968541342 433065984 86215 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105729 86215 301 301 0 105428 0
vsize: 422916
[startup+950.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 150016 0 0 0 94697 317 0 0 25 0 1 0 968541342 433328128 86239 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86239 301 301 0 105492 0
vsize: 423172
[startup+960.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 150017 0 0 0 95697 318 0 0 25 0 1 0 968541342 433328128 86240 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86240 301 301 0 105492 0
vsize: 423172
[startup+970.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 150019 0 0 0 96697 318 0 0 25 0 1 0 968541342 433328128 86242 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86242 301 301 0 105492 0
vsize: 423172
[startup+980.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 150039 0 0 0 97697 318 0 0 25 0 1 0 968541342 433328128 86262 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86262 301 301 0 105492 0
vsize: 423172
[startup+990.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 150106 0 0 0 98697 318 0 0 25 0 1 0 968541342 433328128 86329 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86329 301 301 0 105492 0
vsize: 423172
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 150871 0 0 0 99695 320 0 0 25 0 1 0 968541342 435425280 86579 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106305 86579 301 301 0 106004 0
vsize: 425220
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 150873 0 0 0 100695 320 0 0 25 0 1 0 968541342 435425280 86581 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106305 86581 301 301 0 106004 0
vsize: 425220
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 150939 0 0 0 101695 321 0 0 25 0 1 0 968541342 435425280 86647 4294967295 134512640 135730672 3221224576 3221223172 134747444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106305 86647 301 301 0 106004 0
vsize: 425220
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 151088 0 0 0 102695 321 0 0 25 0 1 0 968541342 435949568 86667 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106433 86667 301 301 0 106132 0
vsize: 425732
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 151089 0 0 0 103695 321 0 0 25 0 1 0 968541342 435949568 86668 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106433 86668 301 301 0 106132 0
vsize: 425732
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 151091 0 0 0 104695 321 0 0 25 0 1 0 968541342 435949568 86670 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106433 86670 301 301 0 106132 0
vsize: 425732
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 151246 0 0 0 105695 321 0 0 25 0 1 0 968541342 436473856 86696 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106561 86696 301 301 0 106260 0
vsize: 426244
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 151571 0 0 0 106694 322 0 0 25 0 1 0 968541342 437260288 86825 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106753 86825 301 301 0 106452 0
vsize: 427012
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 151980 0 0 0 107694 323 0 0 25 0 1 0 968541342 438308864 86975 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107009 86975 301 301 0 106708 0
vsize: 428036
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 152176 0 0 0 108693 323 0 0 25 0 1 0 968541342 438833152 87042 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107137 87042 301 301 0 106836 0
vsize: 428548
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 152791 0 0 0 109692 325 0 0 25 0 1 0 968541342 440946688 87463 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107653 87463 301 301 0 107352 0
vsize: 430612
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 152995 0 0 0 110692 325 0 0 25 0 1 0 968541342 441470976 87538 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107781 87538 301 301 0 107480 0
vsize: 431124
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 152997 0 0 0 111692 326 0 0 25 0 1 0 968541342 441470976 87540 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107781 87540 301 301 0 107480 0
vsize: 431124
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 152998 0 0 0 112692 326 0 0 25 0 1 0 968541342 441470976 87541 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107781 87541 301 301 0 107480 0
vsize: 431124
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 153001 0 0 0 113692 326 0 0 25 0 1 0 968541342 441470976 87544 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107781 87544 301 301 0 107480 0
vsize: 431124
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 153173 0 0 0 114691 326 0 0 25 0 1 0 968541342 441995264 87587 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107909 87587 301 301 0 107608 0
vsize: 431636
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 153175 0 0 0 115692 326 0 0 25 0 1 0 968541342 441995264 87589 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107909 87589 301 301 0 107608 0
vsize: 431636
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 153228 0 0 0 116692 327 0 0 25 0 1 0 968541342 442126336 87609 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107941 87609 301 301 0 107640 0
vsize: 431764
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 153621 0 0 0 117691 328 0 0 25 0 1 0 968541342 443441152 87744 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108262 87744 301 301 0 107961 0
vsize: 433048
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 153621 0 0 0 118691 328 0 0 25 0 1 0 968541342 443441152 87744 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108262 87744 301 301 0 107961 0
vsize: 433048
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22987
Raw data (stat): 22987 (pb2sat-v2) R 22986 21152 21151 0 -1 0 153622 0 0 0 119691 328 0 0 25 0 1 0 968541342 443441152 87745 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108262 87745 301 301 0 107961 0
vsize: 433048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.91 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 22987
Raw data (stat): 22987 (pb2sat-v2) Z 22986 21152 21151 0 -1 12 153624 0 0 0 119860 345 0 0 25 0 1 0 968541342 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.91
CPU time (s): 1202.06
CPU user time (s): 1198.6
CPU system time (s): 3.45947
CPU usage (%): 100.013
Max. virtual memory (Kb): 433048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####