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 42983

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        651236 kB
Buffers:         22896 kB
Cached:         337868 kB
SwapCached:        996 kB
Active:          31612 kB
Inactive:       331316 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        650956 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14880 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:35:26 (client local time) WITH STATUS 0 IN 1202.25 SECONDS
stats: 26195 7 1202.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 192012/758416	Time: 190.06/86400
c Decision: 192253/758416	Time: 261.234/86400
c Decision: 192462/758416	Time: 334.736/86400
c Decision: 192569/758416	Time: 389.976/86400
c Decision: 192569/758416	Time: 431.144/86400
c Decision: 192569/758416	Time: 500.201/86400
c Decision: 192569/758416	Time: 531.805/86400
c Decision: 193162/758416	Time: 659.519/86400
c Decision: 193658/758416	Time: 745.461/86400
c Decision: 193658/758416	Time: 795.066/86400
c Decision: 193658/758416	Time: 822.693/86400
c Decision: 193658/758416	Time: 853.028/86400
c Decision: 194907/758416	Time: 1024.69/86400
c Decision: 194907/758416	Time: 1056.58/86400
c Decision: 194907/758416	Time: 1107.21/86400
c Decision: 195007/758416	Time: 1134.43/86400
c Decision: 195007/758416	Time: 1166.13/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.85 0.97 0.91 2/54 26013
Raw data (stat): 26013 (runsolver) R 26012 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973565591 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 28230 0 0 0 940 59 0 0 25 0 1 0 973565591 78393344 17167 4294967295 134512640 135730672 3221224576 3221191004 135301642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19139 17167 301 301 0 18838 0
vsize: 76556
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 56462 0 0 0 1881 117 0 0 25 0 1 0 973565591 155193344 34401 4294967295 134512640 135730672 3221224576 3221133692 134608072 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37889 34401 301 301 0 37588 0
vsize: 151556
[startup+30.0033 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 95187 0 0 0 2800 199 0 0 25 0 1 0 973565591 304476160 51426 4294967295 134512640 135730672 3221224576 3221210620 134608004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74335 51426 301 301 0 74034 0
vsize: 297340
[startup+40.004 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 101231 0 0 0 3785 215 0 0 25 0 1 0 973565591 310546432 55926 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75817 55926 301 301 0 75516 0
vsize: 303268
[startup+50.0054 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 101252 0 0 0 4784 215 0 0 25 0 1 0 973565591 310546432 55947 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75817 55947 301 301 0 75516 0
vsize: 303268
[startup+60.0054 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 102708 0 0 0 5782 218 0 0 25 0 1 0 973565591 316624896 57007 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77301 57007 301 301 0 77000 0
vsize: 309204
[startup+70.0063 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 104100 0 0 0 6780 221 0 0 25 0 1 0 973565591 322195456 57950 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78661 57950 301 301 0 78360 0
vsize: 314644
[startup+80.0104 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 104554 0 0 0 7780 222 0 0 25 0 1 0 973565591 323518464 58208 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78984 58208 301 301 0 78683 0
vsize: 315936
[startup+90.0109 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 105692 0 0 0 8777 225 0 0 25 0 1 0 973565591 327258112 58833 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 58833 301 301 0 79596 0
vsize: 319588
[startup+100.011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 107358 0 0 0 9773 229 0 0 25 0 1 0 973565591 333737984 59830 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81479 59830 301 301 0 81178 0
vsize: 325916
[startup+110.011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 107670 0 0 0 10773 229 0 0 25 0 1 0 973565591 334262272 60012 4294967295 134512640 135730672 3221224576 3221223232 134748676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81607 60012 301 301 0 81306 0
vsize: 326428
[startup+120.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 108392 0 0 0 11771 231 0 0 25 0 1 0 973565591 336633856 60475 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82186 60475 301 301 0 81885 0
vsize: 328744
[startup+130.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 108396 0 0 0 12772 231 0 0 25 0 1 0 973565591 336633856 60479 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82186 60479 301 301 0 81885 0
vsize: 328744
[startup+140.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 108421 0 0 0 13772 232 0 0 25 0 1 0 973565591 336633856 60504 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82186 60504 301 301 0 81885 0
vsize: 328744
[startup+150.013 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 108470 0 0 0 14772 232 0 0 25 0 1 0 973565591 336633856 60553 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82186 60553 301 301 0 81885 0
vsize: 328744
[startup+160.013 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 108668 0 0 0 15772 232 0 0 25 0 1 0 973565591 336896000 60686 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82250 60686 301 301 0 81949 0
vsize: 329000
[startup+170.013 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 108999 0 0 0 16771 233 0 0 25 0 1 0 973565591 337960960 60885 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82510 60885 301 301 0 82209 0
vsize: 330040
[startup+180.013 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 109686 0 0 0 17770 235 0 0 25 0 1 0 973565591 340209664 61212 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83059 61212 301 301 0 82758 0
vsize: 332236
[startup+190.013 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 109923 0 0 0 18769 236 0 0 25 0 1 0 973565591 340869120 61319 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83220 61319 301 301 0 82919 0
vsize: 332880
[startup+200.013 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 110166 0 0 0 19769 236 0 0 25 0 1 0 973565591 341798912 61497 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83447 61497 301 301 0 83146 0
vsize: 333788
[startup+210.013 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 110320 0 0 0 20769 237 0 0 25 0 1 0 973565591 342466560 61618 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83610 61618 301 301 0 83309 0
vsize: 334440
[startup+220.013 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 111931 0 0 0 21766 240 0 0 25 0 1 0 973565591 343130112 61714 4294967295 134512640 135730672 3221224576 3221223200 134783076 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83772 61714 301 301 0 83471 0
vsize: 335088
[startup+230.014 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 113042 0 0 0 22763 243 0 0 25 0 1 0 973565591 347230208 62402 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84773 62402 301 301 0 84472 0
vsize: 339092
[startup+240.015 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 114016 0 0 0 23761 245 0 0 25 0 1 0 973565591 350408704 63018 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85549 63018 301 301 0 85248 0
vsize: 342196
[startup+250.015 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 114334 0 0 0 24761 246 0 0 25 0 1 0 973565591 351735808 63270 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85873 63270 301 301 0 85572 0
vsize: 343492
[startup+260.015 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 114590 0 0 0 25761 246 0 0 25 0 1 0 973565591 352260096 63397 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86001 63397 301 301 0 85700 0
vsize: 344004
[startup+270.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 114839 0 0 0 26760 248 0 0 25 0 1 0 973565591 353320960 63581 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86260 63581 301 301 0 85959 0
vsize: 345040
[startup+280.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 115081 0 0 0 27759 249 0 0 25 0 1 0 973565591 354246656 63724 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86486 63724 301 301 0 86185 0
vsize: 345944
[startup+290.016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 115406 0 0 0 28759 249 0 0 25 0 1 0 973565591 355581952 63984 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86812 63984 301 301 0 86511 0
vsize: 347248
[startup+300.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 117496 0 0 0 29754 254 0 0 25 0 1 0 973565591 357289984 64234 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87229 64234 301 301 0 86928 0
vsize: 348916
[startup+310.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 117959 0 0 0 30754 255 0 0 25 0 1 0 973565591 358608896 64502 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87551 64502 301 301 0 87250 0
vsize: 350204
[startup+320.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 117964 0 0 0 31753 255 0 0 25 0 1 0 973565591 358608896 64507 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87551 64507 301 301 0 87250 0
vsize: 350204
[startup+330.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 118070 0 0 0 32753 256 0 0 25 0 1 0 973565591 359006208 64580 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87648 64580 301 301 0 87347 0
vsize: 350592
[startup+340.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 118897 0 0 0 33751 258 0 0 25 0 1 0 973565591 362717184 65260 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88554 65260 301 301 0 88253 0
vsize: 354216
[startup+350.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 119471 0 0 0 34750 260 0 0 25 0 1 0 973565591 364294144 65509 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88939 65509 301 301 0 88638 0
vsize: 355756
[startup+360.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 119586 0 0 0 35749 261 0 0 25 0 1 0 973565591 364556288 65559 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89003 65559 301 301 0 88702 0
vsize: 356012
[startup+370.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 121498 0 0 0 36745 266 0 0 25 0 1 0 973565591 366612480 65924 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89505 65924 301 301 0 89204 0
vsize: 358020
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 121981 0 0 0 37744 267 0 0 25 0 1 0 973565591 368459776 66212 4294967295 134512640 135730672 3221224576 3221223072 134747662 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89956 66212 301 301 0 89655 0
vsize: 359824
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 122135 0 0 0 38744 267 0 0 25 0 1 0 973565591 368586752 66268 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89987 66268 301 301 0 89686 0
vsize: 359948
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 122379 0 0 0 39743 269 0 0 25 0 1 0 973565591 369111040 66382 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90115 66382 301 301 0 89814 0
vsize: 360460
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 123042 0 0 0 40742 270 0 0 25 0 1 0 973565591 371212288 66656 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90628 66656 301 301 0 90327 0
vsize: 362512
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 123073 0 0 0 41742 270 0 0 25 0 1 0 973565591 371212288 66687 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90628 66687 301 301 0 90327 0
vsize: 362512
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 124621 0 0 0 42737 275 0 0 25 0 1 0 973565591 371478528 66753 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90693 66753 301 301 0 90392 0
vsize: 362772
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 124811 0 0 0 43737 276 0 0 25 0 1 0 973565591 372006912 66878 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90822 66878 301 301 0 90521 0
vsize: 363288
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 124914 0 0 0 44737 276 0 0 25 0 1 0 973565591 372269056 66916 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90886 66916 301 301 0 90585 0
vsize: 363544
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 124947 0 0 0 45736 277 0 0 25 0 1 0 973565591 372269056 66949 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90886 66949 301 301 0 90585 0
vsize: 363544
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 126432 0 0 0 46732 281 0 0 25 0 1 0 973565591 372269056 66952 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90886 66952 301 301 0 90585 0
vsize: 363544
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 126487 0 0 0 47733 281 0 0 25 0 1 0 973565591 372269056 67007 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90886 67007 301 301 0 90585 0
vsize: 363544
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 126685 0 0 0 48733 281 0 0 25 0 1 0 973565591 372531200 67140 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90950 67140 301 301 0 90649 0
vsize: 363800
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 127118 0 0 0 49733 282 0 0 25 0 1 0 973565591 373579776 67313 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91206 67313 301 301 0 90905 0
vsize: 364824
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 127331 0 0 0 50732 282 0 0 25 0 1 0 973565591 374104064 67397 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91334 67397 301 301 0 91033 0
vsize: 365336
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 127371 0 0 0 51733 282 0 0 25 0 1 0 973565591 374104064 67437 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91334 67437 301 301 0 91033 0
vsize: 365336
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 128857 0 0 0 52729 286 0 0 25 0 1 0 973565591 374104064 67441 4294967295 134512640 135730672 3221224576 3221223200 134783048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91334 67441 301 301 0 91033 0
vsize: 365336
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 129066 0 0 0 53729 286 0 0 25 0 1 0 973565591 374763520 67552 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91495 67552 301 301 0 91194 0
vsize: 365980
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 129546 0 0 0 54727 288 0 0 25 0 1 0 973565591 376758272 67869 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91982 67869 301 301 0 91681 0
vsize: 367928
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 129691 0 0 0 55727 289 0 0 25 0 1 0 973565591 377020416 67949 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92046 67949 301 301 0 91745 0
vsize: 368184
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 131339 0 0 0 56723 293 0 0 25 0 1 0 973565591 377282560 68050 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92110 68050 301 301 0 91809 0
vsize: 368440
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 131378 0 0 0 57723 293 0 0 25 0 1 0 973565591 377282560 68089 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92110 68089 301 301 0 91809 0
vsize: 368440
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 131493 0 0 0 58723 294 0 0 25 0 1 0 973565591 377544704 68139 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92174 68139 301 301 0 91873 0
vsize: 368696
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 131579 0 0 0 59722 295 0 0 25 0 1 0 973565591 378077184 68225 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92304 68225 301 301 0 92003 0
vsize: 369216
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 131832 0 0 0 60722 296 0 0 25 0 1 0 973565591 379150336 68445 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92566 68445 301 301 0 92265 0
vsize: 370264
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 132552 0 0 0 61720 298 0 0 25 0 1 0 973565591 380985344 68712 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93014 68712 301 301 0 92713 0
vsize: 372056
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 132789 0 0 0 62720 298 0 0 25 0 1 0 973565591 381771776 68755 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93206 68755 301 301 0 92905 0
vsize: 372824
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 132876 0 0 0 63721 298 0 0 25 0 1 0 973565591 382033920 68777 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93270 68777 301 301 0 92969 0
vsize: 373080
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 133211 0 0 0 64721 299 0 0 25 0 1 0 973565591 382824448 69047 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93463 69047 301 301 0 93162 0
vsize: 373852
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 133550 0 0 0 65720 300 0 0 25 0 1 0 973565591 383873024 69128 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93719 69128 301 301 0 93418 0
vsize: 374876
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 133556 0 0 0 66720 300 0 0 25 0 1 0 973565591 383873024 69134 4294967295 134512640 135730672 3221224576 3221223200 134748094 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93719 69134 301 301 0 93418 0
vsize: 374876
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 133940 0 0 0 67719 301 0 0 25 0 1 0 973565591 385187840 69323 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94040 69323 301 301 0 93739 0
vsize: 376160
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 136134 0 0 0 68715 306 0 0 25 0 1 0 973565591 393838592 71306 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96152 71306 301 301 0 95851 0
vsize: 384608
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 136323 0 0 0 69713 308 0 0 25 0 1 0 973565591 387895296 69915 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94701 69915 301 301 0 94400 0
vsize: 378804
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 136768 0 0 0 70713 309 0 0 25 0 1 0 973565591 389083136 70198 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94991 70198 301 301 0 94690 0
vsize: 379964
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 136862 0 0 0 71713 309 0 0 25 0 1 0 973565591 389214208 70259 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95023 70259 301 301 0 94722 0
vsize: 380092
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 137041 0 0 0 72713 310 0 0 25 0 1 0 973565591 389738496 70309 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95151 70309 301 301 0 94850 0
vsize: 380604
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 137251 0 0 0 73712 310 0 0 25 0 1 0 973565591 390397952 70389 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95312 70389 301 301 0 95011 0
vsize: 381248
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 137258 0 0 0 74712 311 0 0 25 0 1 0 973565591 390397952 70396 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95312 70396 301 301 0 95011 0
vsize: 381248
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 137270 0 0 0 75712 311 0 0 25 0 1 0 973565591 390397952 70408 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95312 70408 301 301 0 95011 0
vsize: 381248
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 137366 0 0 0 76712 312 0 0 25 0 1 0 973565591 390660096 70439 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95376 70439 301 301 0 95075 0
vsize: 381504
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 138853 0 0 0 77708 316 0 0 25 0 1 0 973565591 390660096 70444 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95376 70444 301 301 0 95075 0
vsize: 381504
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 138897 0 0 0 78708 316 0 0 25 0 1 0 973565591 390660096 70488 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95376 70488 301 301 0 95075 0
vsize: 381504
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 139152 0 0 0 79708 317 0 0 25 0 1 0 973565591 391315456 70580 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95536 70580 301 301 0 95235 0
vsize: 382144
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 140187 0 0 0 80705 320 0 0 25 0 1 0 973565591 394338304 70997 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96274 70997 301 301 0 95973 0
vsize: 385096
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 140580 0 0 0 81705 321 0 0 25 0 1 0 973565591 395386880 71130 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96530 71130 301 301 0 96229 0
vsize: 386120
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 142068 0 0 0 82701 325 0 0 25 0 1 0 973565591 395386880 71136 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96530 71136 301 301 0 96229 0
vsize: 386120
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 142114 0 0 0 83701 326 0 0 25 0 1 0 973565591 395386880 71182 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96530 71182 301 301 0 96229 0
vsize: 386120
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 142130 0 0 0 84701 326 0 0 25 0 1 0 973565591 395386880 71198 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96530 71198 301 301 0 96229 0
vsize: 386120
[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 143613 0 0 0 85697 330 0 0 25 0 1 0 973565591 395386880 71199 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96530 71199 301 301 0 96229 0
vsize: 386120
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 143702 0 0 0 86697 331 0 0 25 0 1 0 973565591 395649024 71223 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96594 71223 301 301 0 96293 0
vsize: 386376
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 143703 0 0 0 87697 331 0 0 25 0 1 0 973565591 395649024 71224 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96594 71224 301 301 0 96293 0
vsize: 386376
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 145302 0 0 0 88694 335 0 0 25 0 1 0 973565591 395911168 71276 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96658 71276 301 301 0 96357 0
vsize: 386632
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 145319 0 0 0 89693 335 0 0 25 0 1 0 973565591 395911168 71293 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96658 71293 301 301 0 96357 0
vsize: 386632
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 145629 0 0 0 90692 337 0 0 25 0 1 0 973565591 397238272 71441 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96982 71441 301 301 0 96681 0
vsize: 387928
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 145807 0 0 0 91692 338 0 0 25 0 1 0 973565591 397762560 71490 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97110 71490 301 301 0 96809 0
vsize: 388440
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 146006 0 0 0 92692 338 0 0 25 0 1 0 973565591 398286848 71560 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97238 71560 301 301 0 96937 0
vsize: 388952
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 146014 0 0 0 93691 339 0 0 25 0 1 0 973565591 398286848 71568 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97238 71568 301 301 0 96937 0
vsize: 388952
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 146045 0 0 0 94691 340 0 0 25 0 1 0 973565591 398286848 71599 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97238 71599 301 301 0 96937 0
vsize: 388952
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 146740 0 0 0 95690 341 0 0 25 0 1 0 973565591 400531456 72002 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97786 72002 301 301 0 97485 0
vsize: 391144
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 147023 0 0 0 96689 342 0 0 25 0 1 0 973565591 401317888 72091 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97978 72091 301 301 0 97677 0
vsize: 391912
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 147064 0 0 0 97689 343 0 0 25 0 1 0 973565591 401317888 72132 4294967295 134512640 135730672 3221224576 3221223072 134747513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97978 72132 301 301 0 97677 0
vsize: 391912
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 147320 0 0 0 98688 344 0 0 25 0 1 0 973565591 402104320 72194 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98170 72194 301 301 0 97869 0
vsize: 392680
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 147378 0 0 0 99688 345 0 0 25 0 1 0 973565591 402104320 72252 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98170 72252 301 301 0 97869 0
vsize: 392680
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 147483 0 0 0 100688 345 0 0 25 0 1 0 973565591 402366464 72292 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98234 72292 301 301 0 97933 0
vsize: 392936
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 147485 0 0 0 101688 346 0 0 25 0 1 0 973565591 402366464 72294 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98234 72294 301 301 0 97933 0
vsize: 392936
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 147499 0 0 0 102688 346 0 0 25 0 1 0 973565591 402366464 72308 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98234 72308 301 301 0 97933 0
vsize: 392936
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 147587 0 0 0 103687 347 0 0 25 0 1 0 973565591 402628608 72331 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98298 72331 301 301 0 97997 0
vsize: 393192
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 147704 0 0 0 104687 347 0 0 25 0 1 0 973565591 402890752 72383 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98362 72383 301 301 0 98061 0
vsize: 393448
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 149190 0 0 0 105684 351 0 0 25 0 1 0 973565591 402890752 72387 4294967295 134512640 135730672 3221224576 3221223072 134747525 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98362 72387 301 301 0 98061 0
vsize: 393448
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 149283 0 0 0 106683 352 0 0 25 0 1 0 973565591 403152896 72415 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98426 72415 301 301 0 98125 0
vsize: 393704
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 149556 0 0 0 107683 353 0 0 25 0 1 0 973565591 403808256 72525 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98586 72525 301 301 0 98285 0
vsize: 394344
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 151041 0 0 0 108680 356 0 0 25 0 1 0 973565591 403808256 72528 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98586 72528 301 301 0 98285 0
vsize: 394344
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 151043 0 0 0 109680 357 0 0 25 0 1 0 973565591 403808256 72530 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98586 72530 301 301 0 98285 0
vsize: 394344
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 151047 0 0 0 110680 357 0 0 25 0 1 0 973565591 403808256 72534 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98586 72534 301 301 0 98285 0
vsize: 394344
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 151050 0 0 0 111680 357 0 0 25 0 1 0 973565591 403808256 72537 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98586 72537 301 301 0 98285 0
vsize: 394344
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 151054 0 0 0 112680 358 0 0 25 0 1 0 973565591 403808256 72541 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98586 72541 301 301 0 98285 0
vsize: 394344
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 152618 0 0 0 113676 362 0 0 25 0 1 0 973565591 403939328 72590 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98618 72590 301 301 0 98317 0
vsize: 394472
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 152634 0 0 0 114676 363 0 0 25 0 1 0 973565591 403939328 72606 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98618 72606 301 301 0 98317 0
vsize: 394472
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 152661 0 0 0 115676 363 0 0 25 0 1 0 973565591 403939328 72633 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98618 72633 301 301 0 98317 0
vsize: 394472
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 154145 0 0 0 116672 367 0 0 25 0 1 0 973565591 403939328 72635 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98618 72635 301 301 0 98317 0
vsize: 394472
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 154155 0 0 0 117672 368 0 0 25 0 1 0 973565591 403939328 72645 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98618 72645 301 301 0 98317 0
vsize: 394472
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 154167 0 0 0 118671 369 0 0 25 0 1 0 973565591 403939328 72657 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98618 72657 301 301 0 98317 0
vsize: 394472
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 26013
Raw data (stat): 26013 (pb2sat-v2) R 26012 25568 25567 0 -1 0 155682 0 0 0 119668 373 0 0 25 0 1 0 973565591 403939328 72690 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98618 72690 301 301 0 98317 0
vsize: 394472
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.91 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 26013
Raw data (stat): 26013 (pb2sat-v2) Z 26012 25568 25567 0 -1 12 155684 0 0 0 119838 387 0 0 25 0 1 0 973565591 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.91
CPU time (s): 1202.25
CPU user time (s): 1198.38
CPU system time (s): 3.87341
CPU usage (%): 100.029
Max. virtual memory (Kb): 394472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####