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/MIPLIB/miplib2003/normalized-mps-v2-13-7-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.04
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 42833

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 15:56:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26041 boxname=wulflinc2 idbench=1341 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 26041
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        663160 kB
Buffers:         18620 kB
Cached:         330364 kB
SwapCached:       1420 kB
Active:          28216 kB
Inactive:       322820 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        662908 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14752 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:16:25 (client local time) WITH STATUS 0 IN 1200.55 SECONDS
stats: 26041 7 1200.55 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 72430/153207	Time: 101.321/86400
c Decision: 72527/153207	Time: 324.382/86400
c Decision: 72581/153207	Time: 469.115/86400
c Decision: 72639/153207	Time: 654.444/86400
c Decision: 72642/153207	Time: 673.533/86400
c Decision: 72715/153207	Time: 857.026/86400
c Decision: 72719/153207	Time: 877.106/86400
c Decision: 72722/153207	Time: 903.486/86400
c Decision: 72729/153207	Time: 987.453/86400
c Decision: 72734/153207	Time: 1019.71/86400
c Decision: 72763/153207	Time: 1098.69/86400
c Decision: 72779/153207	Time: 1167.83/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.91 0.95 0.90 1/54 12984
Raw data (stat): 12984 (runsolver) R 12983 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972016418 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.93 0.95 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 17840 0 0 0 959 39 0 0 25 0 1 0 972016418 55123968 10024 4294967295 134512640 135730672 3221224576 3221216276 135284040 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13458 10024 301 301 0 13157 0
vsize: 53832
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 19628 0 0 0 1953 45 0 0 25 0 1 0 972016418 57081856 11492 4294967295 134512640 135730672 3221224576 3221223072 134747528 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13936 11492 301 301 0 13635 0
vsize: 55744
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 19960 0 0 0 2951 46 0 0 25 0 1 0 972016418 58417152 11824 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14262 11824 301 301 0 13961 0
vsize: 57048
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 20144 0 0 0 3950 47 0 0 25 0 1 0 972016418 59158528 12008 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14443 12008 301 301 0 14142 0
vsize: 57772
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 20254 0 0 0 4949 49 0 0 25 0 1 0 972016418 59465728 12118 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14518 12118 301 301 0 14217 0
vsize: 58072
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 20397 0 0 0 5948 50 0 0 25 0 1 0 972016418 60092416 12261 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14671 12261 301 301 0 14370 0
vsize: 58684
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 20467 0 0 0 6948 50 0 0 25 0 1 0 972016418 60256256 12331 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14711 12331 301 301 0 14410 0
vsize: 58844
[startup+80.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 20632 0 0 0 7947 51 0 0 25 0 1 0 972016418 60559360 12496 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14785 12496 301 301 0 14484 0
vsize: 59140
[startup+90.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 20745 0 0 0 8946 53 0 0 25 0 1 0 972016418 69275648 12609 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16913 12609 301 301 0 16612 0
vsize: 67652
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 20849 0 0 0 9945 54 0 0 25 0 1 0 972016418 69578752 12713 4294967295 134512640 135730672 3221224576 3221223120 134740406 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16987 12713 301 301 0 16686 0
vsize: 67948
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 21018 0 0 0 10944 55 0 0 25 0 1 0 972016418 69578752 12882 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16987 12882 301 301 0 16686 0
vsize: 67948
[startup+120.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 21399 0 0 0 11943 56 0 0 25 0 1 0 972016418 69849088 12963 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17053 12963 301 301 0 16752 0
vsize: 68212
[startup+130.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 21441 0 0 0 12942 57 0 0 25 0 1 0 972016418 69980160 13005 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17085 13005 301 301 0 16784 0
vsize: 68340
[startup+140.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 21550 0 0 0 13941 58 0 0 25 0 1 0 972016418 70127616 13114 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17121 13114 301 301 0 16820 0
vsize: 68484
[startup+150.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 21658 0 0 0 14940 59 0 0 25 0 1 0 972016418 70418432 13222 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17192 13222 301 301 0 16891 0
vsize: 68768
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 21769 0 0 0 15939 60 0 0 25 0 1 0 972016418 70418432 13333 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17192 13333 301 301 0 16891 0
vsize: 68768
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 21922 0 0 0 16937 62 0 0 25 0 1 0 972016418 70979584 13486 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17329 13486 301 301 0 17028 0
vsize: 69316
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 22048 0 0 0 17936 64 0 0 25 0 1 0 972016418 71434240 13612 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17440 13612 301 301 0 17139 0
vsize: 69760
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 22199 0 0 0 18934 65 0 0 25 0 1 0 972016418 71909376 13763 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17556 13763 301 301 0 17255 0
vsize: 70224
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 22282 0 0 0 19934 66 0 0 25 0 1 0 972016418 72073216 13846 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17596 13846 301 301 0 17295 0
vsize: 70384
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 22358 0 0 0 20933 67 0 0 25 0 1 0 972016418 72073216 13922 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17596 13922 301 301 0 17295 0
vsize: 70384
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12984
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 22533 0 0 0 21931 69 0 0 25 0 1 0 972016418 72220672 14097 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17632 14097 301 301 0 17331 0
vsize: 70528
[startup+230.002 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 13037
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 22613 0 0 0 22931 69 0 0 25 0 1 0 972016418 72372224 14177 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17669 14177 301 301 0 17368 0
vsize: 70676
[startup+240.002 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13037
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 22709 0 0 0 23930 71 0 0 25 0 1 0 972016418 72507392 14273 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17702 14273 301 301 0 17401 0
vsize: 70808
[startup+250.002 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13037
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 22817 0 0 0 24929 72 0 0 25 0 1 0 972016418 72646656 14381 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17736 14381 301 301 0 17435 0
vsize: 70944
[startup+260.003 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13037
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 22976 0 0 0 25928 73 0 0 25 0 1 0 972016418 72945664 14540 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17809 14540 301 301 0 17508 0
vsize: 71236
[startup+270.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13037
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 23089 0 0 0 26927 74 0 0 25 0 1 0 972016418 72945664 14653 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17809 14653 301 301 0 17508 0
vsize: 71236
[startup+280.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13037
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 23245 0 0 0 27926 75 0 0 25 0 1 0 972016418 73097216 14809 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17846 14809 301 301 0 17545 0
vsize: 71384
[startup+290.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 23358 0 0 0 28925 77 0 0 25 0 1 0 972016418 73379840 14922 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17915 14922 301 301 0 17614 0
vsize: 71660
[startup+300.004 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 23483 0 0 0 29923 78 0 0 25 0 1 0 972016418 73670656 15047 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17986 15047 301 301 0 17685 0
vsize: 71944
[startup+310.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 23644 0 0 0 30922 79 0 0 25 0 1 0 972016418 74133504 15208 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18099 15208 301 301 0 17798 0
vsize: 72396
[startup+320.003 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 23821 0 0 0 31922 80 0 0 25 0 1 0 972016418 74133504 15385 4294967295 134512640 135730672 3221224576 3221223072 134747590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18099 15385 301 301 0 17798 0
vsize: 72396
[startup+330.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 24015 0 0 0 32920 82 0 0 25 0 1 0 972016418 74297344 15579 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18139 15579 301 301 0 17838 0
vsize: 72556
[startup+340.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 24432 0 0 0 33918 84 0 0 25 0 1 0 972016418 74297344 15696 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18139 15696 301 301 0 17838 0
vsize: 72556
[startup+350.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 24596 0 0 0 34917 85 0 0 25 0 1 0 972016418 91361280 15860 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22305 15860 301 301 0 22004 0
vsize: 89220
[startup+360.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 24837 0 0 0 35917 86 0 0 25 0 1 0 972016418 91361280 16101 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22305 16101 301 301 0 22004 0
vsize: 89220
[startup+370.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 25029 0 0 0 36915 87 0 0 25 0 1 0 972016418 91525120 16293 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22345 16293 301 301 0 22044 0
vsize: 89380
[startup+380.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 25104 0 0 0 37915 88 0 0 25 0 1 0 972016418 91525120 16368 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22345 16368 301 301 0 22044 0
vsize: 89380
[startup+390.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 25223 0 0 0 38915 88 0 0 25 0 1 0 972016418 91672576 16487 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22381 16487 301 301 0 22080 0
vsize: 89524
[startup+400.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 25461 0 0 0 39913 90 0 0 25 0 1 0 972016418 91828224 16725 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22419 16725 301 301 0 22118 0
vsize: 89676
[startup+410.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 25564 0 0 0 40912 91 0 0 25 0 1 0 972016418 91967488 16828 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22453 16828 301 301 0 22152 0
vsize: 89812
[startup+420.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 28751 0 0 0 41904 100 0 0 25 0 1 0 972016418 104689664 16942 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25559 16942 301 301 0 25258 0
vsize: 102236
[startup+430.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 28876 0 0 0 42903 101 0 0 25 0 1 0 972016418 104837120 17067 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25595 17067 301 301 0 25294 0
vsize: 102380
[startup+440.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 28972 0 0 0 43902 103 0 0 25 0 1 0 972016418 105000960 17163 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25635 17163 301 301 0 25334 0
vsize: 102540
[startup+450.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 29101 0 0 0 44901 103 0 0 25 0 1 0 972016418 105136128 17292 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25668 17292 301 301 0 25367 0
vsize: 102672
[startup+460.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 29237 0 0 0 45901 104 0 0 25 0 1 0 972016418 105275392 17428 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25702 17428 301 301 0 25401 0
vsize: 102808
[startup+470.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 29351 0 0 0 46899 106 0 0 25 0 1 0 972016418 105439232 17542 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25742 17542 301 301 0 25441 0
vsize: 102968
[startup+480.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 29748 0 0 0 47898 107 0 0 25 0 1 0 972016418 105439232 17639 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25742 17639 301 301 0 25441 0
vsize: 102968
[startup+490.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 29817 0 0 0 48897 108 0 0 25 0 1 0 972016418 105439232 17708 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25742 17708 301 301 0 25441 0
vsize: 102968
[startup+500.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 29916 0 0 0 49895 110 0 0 25 0 1 0 972016418 105574400 17807 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25775 17807 301 301 0 25474 0
vsize: 103100
[startup+510.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 30022 0 0 0 50894 111 0 0 25 0 1 0 972016418 105574400 17913 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25775 17914 301 301 0 25474 0
vsize: 103100
[startup+520.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 30176 0 0 0 51894 111 0 0 25 0 1 0 972016418 105861120 18067 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25845 18067 301 301 0 25544 0
vsize: 103380
[startup+530.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 30322 0 0 0 52893 113 0 0 25 0 1 0 972016418 106008576 18213 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25881 18213 301 301 0 25580 0
vsize: 103524
[startup+540.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 30457 0 0 0 53892 114 0 0 25 0 1 0 972016418 106008576 18348 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25881 18348 301 301 0 25580 0
vsize: 103524
[startup+550.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 30624 0 0 0 54891 115 0 0 25 0 1 0 972016418 106278912 18515 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25947 18515 301 301 0 25646 0
vsize: 103788
[startup+560.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 30778 0 0 0 55890 116 0 0 25 0 1 0 972016418 106590208 18669 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26023 18669 301 301 0 25722 0
vsize: 104092
[startup+570.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 30866 0 0 0 56889 117 0 0 25 0 1 0 972016418 106590208 18757 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26023 18757 301 301 0 25722 0
vsize: 104092
[startup+580.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13039
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 30981 0 0 0 57887 119 0 0 25 0 1 0 972016418 106909696 18872 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26101 18872 301 301 0 25800 0
vsize: 104404
[startup+590.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 31123 0 0 0 58886 120 0 0 25 0 1 0 972016418 107106304 19014 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26149 19014 301 301 0 25848 0
vsize: 104596
[startup+600.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 31227 0 0 0 59885 122 0 0 25 0 1 0 972016418 107253760 19118 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26185 19118 301 301 0 25884 0
vsize: 104740
[startup+610.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 31346 0 0 0 60883 124 0 0 25 0 1 0 972016418 107253760 19237 4294967295 134512640 135730672 3221224576 3221222912 134767167 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26185 19237 301 301 0 25884 0
vsize: 104740
[startup+620.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 31517 0 0 0 61882 125 0 0 25 0 1 0 972016418 107388928 19408 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26218 19408 301 301 0 25917 0
vsize: 104872
[startup+630.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 31625 0 0 0 62881 126 0 0 25 0 1 0 972016418 107388928 19516 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26218 19516 301 301 0 25917 0
vsize: 104872
[startup+640.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 31737 0 0 0 63880 127 0 0 25 0 1 0 972016418 107528192 19628 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26252 19628 301 301 0 25951 0
vsize: 105008
[startup+650.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 31840 0 0 0 64879 128 0 0 25 0 1 0 972016418 107528192 19731 4294967295 134512640 135730672 3221224576 3221223200 134748141 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26252 19731 301 301 0 25951 0
vsize: 105008
[startup+660.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 32014 0 0 0 65879 129 0 0 25 0 1 0 972016418 107675648 19905 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26288 19905 301 301 0 25987 0
vsize: 105152
[startup+670.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 32455 0 0 0 66878 130 0 0 25 0 1 0 972016418 107810816 20046 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26321 20046 301 301 0 26020 0
vsize: 105284
[startup+680.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 32686 0 0 0 67876 132 0 0 25 0 1 0 972016418 107810816 20277 4294967295 134512640 135730672 3221224576 3221223168 134764086 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26321 20277 301 301 0 26020 0
vsize: 105284
[startup+690.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33139 0 0 0 68874 133 0 0 25 0 1 0 972016418 107810816 20430 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26321 20430 301 301 0 26020 0
vsize: 105284
[startup+700.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33257 0 0 0 69873 134 0 0 25 0 1 0 972016418 107970560 20548 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26360 20548 301 301 0 26059 0
vsize: 105440
[startup+710.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33392 0 0 0 70872 135 0 0 25 0 1 0 972016418 108134400 20683 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26400 20683 301 301 0 26099 0
vsize: 105600
[startup+720.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33509 0 0 0 71871 137 0 0 25 0 1 0 972016418 108494848 20800 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26488 20800 301 301 0 26187 0
vsize: 105952
[startup+730.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33614 0 0 0 72870 138 0 0 25 0 1 0 972016418 108494848 20905 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26488 20905 301 301 0 26187 0
vsize: 105952
[startup+740.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33704 0 0 0 73869 139 0 0 25 0 1 0 972016418 108658688 20995 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26528 20995 301 301 0 26227 0
vsize: 106112
[startup+750.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33761 0 0 0 74867 141 0 0 25 0 1 0 972016418 108658688 21052 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26528 21052 301 301 0 26227 0
vsize: 106112
[startup+760.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33780 0 0 0 75867 142 0 0 25 0 1 0 972016418 108806144 21071 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26564 21071 301 301 0 26263 0
vsize: 106256
[startup+770.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33826 0 0 0 76866 142 0 0 25 0 1 0 972016418 108941312 21117 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26597 21117 301 301 0 26296 0
vsize: 106388
[startup+780.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33839 0 0 0 77865 143 0 0 25 0 1 0 972016418 109137920 21130 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26645 21130 301 301 0 26344 0
vsize: 106580
[startup+790.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33873 0 0 0 78865 144 0 0 25 0 1 0 972016418 109301760 21164 4294967295 134512640 135730672 3221224576 3221223232 134734786 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26685 21164 301 301 0 26384 0
vsize: 106740
[startup+800.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33889 0 0 0 79864 145 0 0 25 0 1 0 972016418 109301760 21180 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26685 21180 301 301 0 26384 0
vsize: 106740
[startup+810.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33920 0 0 0 80864 146 0 0 25 0 1 0 972016418 109465600 21211 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26725 21211 301 301 0 26424 0
vsize: 106900
[startup+820.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33930 0 0 0 81863 146 0 0 25 0 1 0 972016418 109465600 21221 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26725 21221 301 301 0 26424 0
vsize: 106900
[startup+830.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33936 0 0 0 82863 147 0 0 25 0 1 0 972016418 109465600 21227 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26725 21227 301 301 0 26424 0
vsize: 106900
[startup+840.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33992 0 0 0 83862 148 0 0 25 0 1 0 972016418 109748224 21283 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26794 21283 301 301 0 26493 0
vsize: 107176
[startup+850.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 33994 0 0 0 84862 148 0 0 25 0 1 0 972016418 109748224 21285 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26794 21285 301 301 0 26493 0
vsize: 107176
[startup+860.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 34005 0 0 0 85862 149 0 0 25 0 1 0 972016418 109883392 21296 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26827 21296 301 301 0 26526 0
vsize: 107308
[startup+870.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 34321 0 0 0 86861 149 0 0 25 0 1 0 972016418 109883392 21312 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26827 21312 301 301 0 26526 0
vsize: 107308
[startup+880.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 34332 0 0 0 87860 150 0 0 25 0 1 0 972016418 109883392 21323 4294967295 134512640 135730672 3221224576 3221222960 134761598 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26827 21323 301 301 0 26526 0
vsize: 107308
[startup+890.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 34640 0 0 0 88859 152 0 0 25 0 1 0 972016418 109883392 21331 4294967295 134512640 135730672 3221224576 3221223072 134747868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26827 21331 301 301 0 26526 0
vsize: 107308
[startup+900.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 34660 0 0 0 89858 153 0 0 25 0 1 0 972016418 110022656 21351 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26861 21351 301 301 0 26560 0
vsize: 107444
[startup+910.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 34679 0 0 0 90857 153 0 0 25 0 1 0 972016418 110022656 21370 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26861 21370 301 301 0 26560 0
vsize: 107444
[startup+920.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 34991 0 0 0 91856 155 0 0 25 0 1 0 972016418 110157824 21382 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26894 21382 301 301 0 26593 0
vsize: 107576
[startup+930.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35043 0 0 0 92855 156 0 0 25 0 1 0 972016418 110313472 21434 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26932 21434 301 301 0 26631 0
vsize: 107728
[startup+940.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35065 0 0 0 93854 157 0 0 25 0 1 0 972016418 110477312 21456 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26972 21456 301 301 0 26671 0
vsize: 107888
[startup+950.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35083 0 0 0 94854 157 0 0 25 0 1 0 972016418 110477312 21474 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26972 21474 301 301 0 26671 0
vsize: 107888
[startup+960.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35121 0 0 0 95853 159 0 0 25 0 1 0 972016418 110768128 21512 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27043 21512 301 301 0 26742 0
vsize: 108172
[startup+970.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35146 0 0 0 96852 159 0 0 25 0 1 0 972016418 110768128 21537 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27043 21537 301 301 0 26742 0
vsize: 108172
[startup+980.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35163 0 0 0 97851 161 0 0 25 0 1 0 972016418 110768128 21554 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27043 21554 301 301 0 26742 0
vsize: 108172
[startup+990.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35164 0 0 0 98850 162 0 0 25 0 1 0 972016418 110768128 21555 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27043 21555 301 301 0 26742 0
vsize: 108172
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35502 0 0 0 99848 164 0 0 25 0 1 0 972016418 110931968 21593 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27083 21593 301 301 0 26782 0
vsize: 108332
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35524 0 0 0 100848 164 0 0 25 0 1 0 972016418 111038464 21615 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27109 21615 301 301 0 26808 0
vsize: 108436
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35537 0 0 0 101847 165 0 0 25 0 1 0 972016418 111038464 21628 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27109 21628 301 301 0 26808 0
vsize: 108436
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35543 0 0 0 102846 166 0 0 25 0 1 0 972016418 111038464 21634 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27109 21634 301 301 0 26808 0
vsize: 108436
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35855 0 0 0 103844 168 0 0 25 0 1 0 972016418 111173632 21646 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27142 21646 301 301 0 26841 0
vsize: 108568
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35862 0 0 0 104842 169 0 0 25 0 1 0 972016418 111173632 21653 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27142 21653 301 301 0 26841 0
vsize: 108568
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35899 0 0 0 105841 170 0 0 25 0 1 0 972016418 111333376 21690 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27181 21690 301 301 0 26880 0
vsize: 108724
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35919 0 0 0 106839 172 0 0 25 0 1 0 972016418 111333376 21710 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27181 21710 301 301 0 26880 0
vsize: 108724
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35932 0 0 0 107839 173 0 0 25 0 1 0 972016418 111333376 21723 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27181 21723 301 301 0 26880 0
vsize: 108724
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35946 0 0 0 108838 174 0 0 25 0 1 0 972016418 111468544 21737 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27214 21737 301 301 0 26913 0
vsize: 108856
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 35948 0 0 0 109838 174 0 0 25 0 1 0 972016418 111468544 21739 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27214 21739 301 301 0 26913 0
vsize: 108856
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36253 0 0 0 110837 175 0 0 25 0 1 0 972016418 111468544 21744 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27214 21744 301 301 0 26913 0
vsize: 108856
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36258 0 0 0 111836 176 0 0 25 0 1 0 972016418 111415296 21749 4294967295 134512640 135730672 3221224576 3221223200 134748266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27201 21749 301 301 0 26900 0
vsize: 108804
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36278 0 0 0 112836 177 0 0 25 0 1 0 972016418 111550464 21769 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27234 21769 301 301 0 26933 0
vsize: 108936
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36331 0 0 0 113834 179 0 0 25 0 1 0 972016418 111710208 21822 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27273 21822 301 301 0 26972 0
vsize: 109092
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36346 0 0 0 114833 180 0 0 25 0 1 0 972016418 111906816 21837 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27321 21837 301 301 0 27020 0
vsize: 109284
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36397 0 0 0 115832 181 0 0 25 0 1 0 972016418 112103424 21888 4294967295 134512640 135730672 3221224576 3221223168 134763992 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27369 21888 301 301 0 27068 0
vsize: 109476
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36400 0 0 0 116832 181 0 0 25 0 1 0 972016418 112103424 21891 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27369 21891 301 301 0 27068 0
vsize: 109476
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36702 0 0 0 117831 182 0 0 25 0 1 0 972016418 112103424 21893 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27369 21893 301 301 0 27068 0
vsize: 109476
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36705 0 0 0 118830 183 0 0 25 0 1 0 972016418 112103424 21896 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27369 21896 301 301 0 27068 0
vsize: 109476
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13041
Raw data (stat): 12984 (pb2sat-v2) R 12983 31399 31398 0 -1 0 36708 0 0 0 119830 184 0 0 25 0 1 0 972016418 112103424 21899 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27369 21899 301 301 0 27068 0
vsize: 109476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 13041
Raw data (stat): 12984 (pb2sat-v2) Z 12983 31399 31398 0 -1 12 36710 0 0 0 119866 189 0 0 25 0 1 0 972016418 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): 1200.42
CPU time (s): 1200.55
CPU user time (s): 1198.66
CPU system time (s): 1.89071
CPU usage (%): 100.011
Max. virtual memory (Kb): 109476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####