PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	c1b4c3ad409db732d2b559e570b6f24c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	138
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
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	1189.01
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	84
Trace number 42505

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 09:13:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25711 boxname=wulflinc1 idbench=1011 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c1b4c3ad409db732d2b559e570b6f24c  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 25711
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        582608 kB
Buffers:         33560 kB
Cached:         394464 kB
SwapCached:       1192 kB
Active:          41116 kB
Inactive:       389192 kB
HighTotal:      131008 kB
HighFree:          392 kB
LowTotal:       903652 kB
LowFree:        582216 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16180 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:33:05 (client local time) WITH STATUS 0 IN 1202.27 SECONDS
stats: 25711 7 1202.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 244182/1094575	Time: 62.8994/86400
c Decision: 244244/1094575	Time: 96.4213/86400
c Decision: 244276/1094575	Time: 145.804/86400
c Decision: 244345/1094575	Time: 220.818/86400
c Decision: 244355/1094575	Time: 291.153/86400
c Decision: 244356/1094575	Time: 344.701/86400
c Decision: 244356/1094575	Time: 381.074/86400
c Decision: 244356/1094575	Time: 417.956/86400
c Decision: 244356/1094575	Time: 458.792/86400
c Decision: 244364/1094575	Time: 519.616/86400
c Decision: 244364/1094575	Time: 578.785/86400
c Decision: 244384/1094575	Time: 633.639/86400
c Decision: 244384/1094575	Time: 676.313/86400
c Decision: 244413/1094575	Time: 721.402/86400
c Decision: 244413/1094575	Time: 757.152/86400
c Decision: 244415/1094575	Time: 791.865/86400
c Decision: 244415/1094575	Time: 834.456/86400
c Decision: 244415/1094575	Time: 888.651/86400
c Decision: 244415/1094575	Time: 925.375/86400
c Decision: 244415/1094575	Time: 945.747/86400
c Decision: 244415/1094575	Time: 968.179/86400
c Decision: 244415/1094575	Time: 988.784/86400
c Decision: 244415/1094575	Time: 1012.66/86400
c Decision: 244415/1094575	Time: 1037.23/86400
c Decision: 244415/1094575	Time: 1069.06/86400
c Decision: 244415/1094575	Time: 1095.18/86400
c Decision: 244415/1094575	Time: 1114.52/86400
c Decision: 244415/1094575	Time: 1134.93/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.93 1/55 17049
Raw data (stat): 17049 (runsolver) R 17048 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912734942 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 26272 0 0 0 941 58 0 0 25 0 1 0 912734942 76779520 15262 4294967295 134512640 135730672 3221224576 3221196348 134722856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18745 15262 301 301 0 18444 0
vsize: 74980
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 52444 0 0 0 1883 116 0 0 25 0 1 0 912734942 151416832 30459 4294967295 134512640 135730672 3221224576 3221203752 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36967 30459 301 301 0 36666 0
vsize: 147868
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 90367 0 0 0 2802 196 0 0 25 0 1 0 912734942 265244672 46695 4294967295 134512640 135730672 3221224576 3221195760 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64757 46695 301 301 0 64456 0
vsize: 259028
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 104356 0 0 0 3770 229 0 0 25 0 1 0 912734942 301367296 60432 4294967295 134512640 135730672 3221224576 3221194584 135284322 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73576 60432 301 301 0 73275 0
vsize: 294304
[startup+50.002 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 144214 0 0 0 4689 309 0 0 25 0 1 0 912734942 427413504 81706 4294967295 134512640 135730672 3221224576 3221208652 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104349 81706 301 301 0 104048 0
vsize: 417396
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 149129 0 0 0 5678 320 0 0 25 0 1 0 912734942 429162496 84438 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104776 84438 301 301 0 104475 0
vsize: 419104
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 150573 0 0 0 6676 323 0 0 25 0 1 0 912734942 435220480 85587 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106255 85587 301 301 0 105954 0
vsize: 425020
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 151154 0 0 0 7674 325 0 0 25 0 1 0 912734942 437202944 85940 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106739 85940 301 301 0 106438 0
vsize: 426956
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 152274 0 0 0 8671 327 0 0 25 0 1 0 912734942 441335808 86697 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107748 86697 301 301 0 107447 0
vsize: 430992
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 153157 0 0 0 9670 329 0 0 25 0 1 0 912734942 444186624 87219 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108444 87219 301 301 0 108143 0
vsize: 433776
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 155716 0 0 0 10664 335 0 0 25 0 1 0 912734942 454402048 89581 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110938 89581 301 301 0 110637 0
vsize: 443752
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 155751 0 0 0 11663 336 0 0 25 0 1 0 912734942 445779968 87478 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108833 87478 301 301 0 108532 0
vsize: 435332
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 155839 0 0 0 12662 336 0 0 25 0 1 0 912734942 446046208 87533 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108898 87533 301 301 0 108597 0
vsize: 435592
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 155960 0 0 0 13662 337 0 0 25 0 1 0 912734942 446312448 87621 4294967295 134512640 135730672 3221224576 3221223088 135282461 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108963 87621 301 301 0 108662 0
vsize: 435852
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158351 0 0 0 14657 342 0 0 25 0 1 0 912734942 446971904 87744 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109124 87744 301 301 0 108823 0
vsize: 436496
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158446 0 0 0 15657 342 0 0 25 0 1 0 912734942 447234048 87774 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109188 87774 301 301 0 108887 0
vsize: 436752
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158465 0 0 0 16657 342 0 0 25 0 1 0 912734942 447234048 87793 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109188 87793 301 301 0 108887 0
vsize: 436752
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158500 0 0 0 17657 342 0 0 25 0 1 0 912734942 447234048 87828 4294967295 134512640 135730672 3221224576 3221223228 134748262 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109188 87828 301 301 0 108887 0
vsize: 436752
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 158604 0 0 0 18657 343 0 0 25 0 1 0 912734942 447496192 87867 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109252 87867 301 301 0 108951 0
vsize: 437008
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 161313 0 0 0 19651 349 0 0 25 0 1 0 912734942 450301952 88389 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109937 88389 301 301 0 109636 0
vsize: 439748
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 161597 0 0 0 20649 350 0 0 25 0 1 0 912734942 451502080 88608 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110230 88608 301 301 0 109929 0
vsize: 440920
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 162488 0 0 0 21648 352 0 0 25 0 1 0 912734942 454656000 89107 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111000 89107 301 301 0 110699 0
vsize: 444000
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 162850 0 0 0 22647 353 0 0 25 0 1 0 912734942 456187904 89371 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111374 89371 301 301 0 111073 0
vsize: 445496
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 163330 0 0 0 23647 353 0 0 25 0 1 0 912734942 456974336 89655 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111566 89655 301 301 0 111265 0
vsize: 446264
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 163625 0 0 0 24646 354 0 0 25 0 1 0 912734942 457760768 89756 4294967295 134512640 135730672 3221224576 3221223056 134732736 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111758 89756 301 301 0 111457 0
vsize: 447032
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 163809 0 0 0 25646 355 0 0 25 0 1 0 912734942 458285056 89811 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111886 89811 301 301 0 111585 0
vsize: 447544
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 164711 0 0 0 26644 356 0 0 25 0 1 0 912734942 462258176 90549 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112856 90549 301 301 0 112555 0
vsize: 451424
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 166943 0 0 0 27639 362 0 0 25 0 1 0 912734942 462655488 90610 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112953 90610 301 301 0 112652 0
vsize: 451812
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167136 0 0 0 28638 362 0 0 25 0 1 0 912734942 463597568 90770 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113183 90770 301 301 0 112882 0
vsize: 452732
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167670 0 0 0 29637 363 0 0 25 0 1 0 912734942 465793024 91157 4294967295 134512640 135730672 3221224576 3221223088 135282398 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113719 91157 301 301 0 113418 0
vsize: 454876
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167817 0 0 0 30636 364 0 0 25 0 1 0 912734942 466325504 91271 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113849 91271 301 301 0 113548 0
vsize: 455396
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167839 0 0 0 31636 364 0 0 25 0 1 0 912734942 466325504 91293 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113849 91293 301 301 0 113548 0
vsize: 455396
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167845 0 0 0 32636 364 0 0 25 0 1 0 912734942 466325504 91299 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113849 91299 301 301 0 113548 0
vsize: 455396
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 167848 0 0 0 33636 364 0 0 25 0 1 0 912734942 466325504 91302 4294967295 134512640 135730672 3221224576 3221223088 134745876 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113849 91302 301 301 0 113548 0
vsize: 455396
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 169992 0 0 0 34632 369 0 0 25 0 1 0 912734942 466325504 91308 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113849 91308 301 301 0 113548 0
vsize: 455396
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 170001 0 0 0 35632 369 0 0 25 0 1 0 912734942 466325504 91317 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113849 91317 301 301 0 113548 0
vsize: 455396
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 170156 0 0 0 36632 370 0 0 25 0 1 0 912734942 466718720 91374 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113945 91374 301 301 0 113644 0
vsize: 455780
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 170161 0 0 0 37631 370 0 0 25 0 1 0 912734942 466718720 91379 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113945 91379 301 301 0 113644 0
vsize: 455780
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 170170 0 0 0 38631 370 0 0 25 0 1 0 912734942 466718720 91388 4294967295 134512640 135730672 3221224576 3221223088 134745854 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113945 91388 301 301 0 113644 0
vsize: 455780
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 172309 0 0 0 39626 376 0 0 25 0 1 0 912734942 466718720 91389 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113945 91389 301 301 0 113644 0
vsize: 455780
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 172311 0 0 0 40626 376 0 0 25 0 1 0 912734942 466718720 91391 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113945 91391 301 301 0 113644 0
vsize: 455780
[startup+420.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 172312 0 0 0 41626 376 0 0 25 0 1 0 912734942 466718720 91392 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113945 91392 301 301 0 113644 0
vsize: 455780
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 172426 0 0 0 42626 376 0 0 25 0 1 0 912734942 466984960 91473 4294967295 134512640 135730672 3221224576 3221223088 134745875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114010 91473 301 301 0 113709 0
vsize: 456040
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 174598 0 0 0 43621 381 0 0 25 0 1 0 912734942 466984960 91507 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114010 91507 301 301 0 113709 0
vsize: 456040
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175036 0 0 0 44621 382 0 0 25 0 1 0 912734942 468299776 91685 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114331 91685 301 301 0 114030 0
vsize: 457324
[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175154 0 0 0 45620 382 0 0 25 0 1 0 912734942 468430848 91770 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114363 91770 301 301 0 114062 0
vsize: 457452
[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175216 0 0 0 46620 382 0 0 25 0 1 0 912734942 468697088 91832 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114428 91832 301 301 0 114127 0
vsize: 457712
[startup+480.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175273 0 0 0 47620 383 0 0 25 0 1 0 912734942 468828160 91856 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114460 91856 301 301 0 114159 0
vsize: 457840
[startup+490.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175281 0 0 0 48620 383 0 0 25 0 1 0 912734942 468828160 91864 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114460 91864 301 301 0 114159 0
vsize: 457840
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175393 0 0 0 49620 383 0 0 25 0 1 0 912734942 469090304 91911 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114524 91911 301 301 0 114223 0
vsize: 458096
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 175880 0 0 0 50619 385 0 0 25 0 1 0 912734942 470810624 92168 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114944 92168 301 301 0 114643 0
vsize: 459776
[startup+520.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176111 0 0 0 51618 385 0 0 25 0 1 0 912734942 471343104 92333 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115074 92333 301 301 0 114773 0
vsize: 460296
[startup+530.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176134 0 0 0 52618 386 0 0 25 0 1 0 912734942 471343104 92356 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115074 92356 301 301 0 114773 0
vsize: 460296
[startup+540.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176170 0 0 0 53618 386 0 0 25 0 1 0 912734942 471343104 92392 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115074 92392 301 301 0 114773 0
vsize: 460296
[startup+550.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176310 0 0 0 54618 386 0 0 25 0 1 0 912734942 471736320 92434 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115170 92434 301 301 0 114869 0
vsize: 460680
[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 176422 0 0 0 55617 387 0 0 25 0 1 0 912734942 471998464 92481 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115234 92481 301 301 0 114933 0
vsize: 460936
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178580 0 0 0 56613 392 0 0 25 0 1 0 912734942 480755712 94639 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117372 94639 301 301 0 117071 0
vsize: 469488
[startup+580.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178583 0 0 0 57612 392 0 0 25 0 1 0 912734942 471998464 92504 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115234 92504 301 301 0 114933 0
vsize: 460936
[startup+590.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178607 0 0 0 58612 393 0 0 25 0 1 0 912734942 472133632 92528 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115267 92528 301 301 0 114966 0
vsize: 461068
[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178761 0 0 0 59612 393 0 0 25 0 1 0 912734942 472530944 92616 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115364 92616 301 301 0 115063 0
vsize: 461456
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 178969 0 0 0 60611 394 0 0 25 0 1 0 912734942 473194496 92725 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115526 92725 301 301 0 115225 0
vsize: 462104
[startup+620.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 179051 0 0 0 61611 395 0 0 25 0 1 0 912734942 473591808 92774 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115623 92774 301 301 0 115322 0
vsize: 462492
[startup+630.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181274 0 0 0 62605 400 0 0 25 0 1 0 912734942 473853952 92794 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115687 92794 301 301 0 115386 0
vsize: 462748
[startup+640.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181277 0 0 0 63605 401 0 0 25 0 1 0 912734942 473853952 92797 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115687 92797 301 301 0 115386 0
vsize: 462748
[startup+650.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181368 0 0 0 64605 401 0 0 25 0 1 0 912734942 474116096 92823 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115751 92823 301 301 0 115450 0
vsize: 463004
[startup+660.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181414 0 0 0 65605 401 0 0 25 0 1 0 912734942 474116096 92869 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115751 92869 301 301 0 115450 0
vsize: 463004
[startup+670.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181570 0 0 0 66604 402 0 0 25 0 1 0 912734942 474509312 92926 4294967295 134512640 135730672 3221224576 3221223168 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115847 92926 301 301 0 115546 0
vsize: 463388
[startup+680.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 181576 0 0 0 67604 403 0 0 25 0 1 0 912734942 474509312 92932 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115847 92932 301 301 0 115546 0
vsize: 463388
[startup+690.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 183761 0 0 0 68599 408 0 0 25 0 1 0 912734942 474775552 92979 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115912 92979 301 301 0 115611 0
vsize: 463648
[startup+700.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 183780 0 0 0 69599 408 0 0 25 0 1 0 912734942 474775552 92998 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115912 92998 301 301 0 115611 0
vsize: 463648
[startup+710.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 183993 0 0 0 70599 408 0 0 25 0 1 0 912734942 475439104 93112 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116074 93112 301 301 0 115773 0
vsize: 464296
[startup+720.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 184006 0 0 0 71599 408 0 0 25 0 1 0 912734942 475439104 93125 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116074 93125 301 301 0 115773 0
vsize: 464296
[startup+730.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186150 0 0 0 72593 415 0 0 25 0 1 0 912734942 475439104 93131 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116074 93131 301 301 0 115773 0
vsize: 464296
[startup+740.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186201 0 0 0 73593 415 0 0 25 0 1 0 912734942 475705344 93182 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116139 93182 301 301 0 115838 0
vsize: 464556
[startup+750.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186438 0 0 0 74592 416 0 0 25 0 1 0 912734942 476360704 93256 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116299 93256 301 301 0 115998 0
vsize: 465196
[startup+760.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186476 0 0 0 75592 416 0 0 25 0 1 0 912734942 476360704 93294 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116299 93294 301 301 0 115998 0
vsize: 465196
[startup+770.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 186590 0 0 0 76592 416 0 0 25 0 1 0 912734942 476622848 93342 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116363 93342 301 301 0 116062 0
vsize: 465452
[startup+780.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 188741 0 0 0 77588 421 0 0 25 0 1 0 912734942 476622848 93355 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116363 93355 301 301 0 116062 0
vsize: 465452
[startup+790.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 188756 0 0 0 78588 421 0 0 25 0 1 0 912734942 476622848 93370 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116363 93370 301 301 0 116062 0
vsize: 465452
[startup+800.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 188808 0 0 0 79587 421 0 0 25 0 1 0 912734942 476889088 93422 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116428 93422 301 301 0 116127 0
vsize: 465712
[startup+810.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 190956 0 0 0 80582 427 0 0 25 0 1 0 912734942 476889088 93432 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116428 93432 301 301 0 116127 0
vsize: 465712
[startup+820.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 190973 0 0 0 81581 427 0 0 25 0 1 0 912734942 476889088 93449 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116428 93449 301 301 0 116127 0
vsize: 465712
[startup+830.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 191025 0 0 0 82581 427 0 0 25 0 1 0 912734942 477020160 93468 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116460 93468 301 301 0 116159 0
vsize: 465840
[startup+840.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193172 0 0 0 83576 432 0 0 25 0 1 0 912734942 485777408 95615 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118598 95615 301 301 0 118297 0
vsize: 474392
[startup+850.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193223 0 0 0 84575 433 0 0 25 0 1 0 912734942 477151232 93495 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116492 93495 301 301 0 116191 0
vsize: 465968
[startup+860.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193235 0 0 0 85575 434 0 0 25 0 1 0 912734942 477151232 93507 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116492 93507 301 301 0 116191 0
vsize: 465968
[startup+870.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193238 0 0 0 86575 434 0 0 25 0 1 0 912734942 477151232 93510 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116492 93510 301 301 0 116191 0
vsize: 465968
[startup+880.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 193260 0 0 0 87574 434 0 0 25 0 1 0 912734942 477151232 93532 4294967295 134512640 135730672 3221224576 3221222824 135286126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116492 93532 301 301 0 116191 0
vsize: 465968
[startup+890.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195400 0 0 0 88569 440 0 0 25 0 1 0 912734942 477151232 93534 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116492 93534 301 301 0 116191 0
vsize: 465968
[startup+900.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195418 0 0 0 89569 440 0 0 25 0 1 0 912734942 477151232 93552 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116492 93552 301 301 0 116191 0
vsize: 465968
[startup+910.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195610 0 0 0 90569 441 0 0 25 0 1 0 912734942 477675520 93614 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116620 93614 301 301 0 116319 0
vsize: 466480
[startup+920.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195717 0 0 0 91568 441 0 0 25 0 1 0 912734942 477937664 93656 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93656 301 301 0 116383 0
vsize: 466736
[startup+930.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 195738 0 0 0 92569 441 0 0 25 0 1 0 912734942 477937664 93677 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93677 301 301 0 116383 0
vsize: 466736
[startup+940.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 197877 0 0 0 93564 446 0 0 25 0 1 0 912734942 486694912 95816 4294967295 134512640 135730672 3221224576 3221222736 134768938 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118822 95816 301 301 0 118521 0
vsize: 475288
[startup+950.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 197878 0 0 0 94564 446 0 0 25 0 1 0 912734942 477937664 93679 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93679 301 301 0 116383 0
vsize: 466736
[startup+960.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 197880 0 0 0 95564 446 0 0 25 0 1 0 912734942 477937664 93681 4294967295 134512640 135730672 3221224576 3221222824 135286117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93681 301 301 0 116383 0
vsize: 466736
[startup+970.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 197891 0 0 0 96564 446 0 0 25 0 1 0 912734942 477937664 93692 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93692 301 301 0 116383 0
vsize: 466736
[startup+980.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 200034 0 0 0 97558 452 0 0 25 0 1 0 912734942 477937664 93697 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93697 301 301 0 116383 0
vsize: 466736
[startup+990.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 200045 0 0 0 98558 452 0 0 25 0 1 0 912734942 477937664 93708 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93708 301 301 0 116383 0
vsize: 466736
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 202192 0 0 0 99553 458 0 0 25 0 1 0 912734942 477937664 93717 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93717 301 301 0 116383 0
vsize: 466736
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 202204 0 0 0 100553 458 0 0 25 0 1 0 912734942 477937664 93729 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93729 301 301 0 116383 0
vsize: 466736
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 204344 0 0 0 101548 463 0 0 25 0 1 0 912734942 477937664 93731 4294967295 134512640 135730672 3221224576 3221223200 134783244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93731 301 301 0 116383 0
vsize: 466736
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 204346 0 0 0 102548 463 0 0 25 0 1 0 912734942 477937664 93733 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93733 301 301 0 116383 0
vsize: 466736
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 206486 0 0 0 103543 469 0 0 25 0 1 0 912734942 486694912 95873 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118822 95873 301 301 0 118521 0
vsize: 475288
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 206488 0 0 0 104542 469 0 0 25 0 1 0 912734942 477937664 93737 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116684 93737 301 301 0 116383 0
vsize: 466736
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 206569 0 0 0 105542 470 0 0 25 0 1 0 912734942 478199808 93753 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93753 301 301 0 116447 0
vsize: 466992
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 208708 0 0 0 106536 476 0 0 25 0 1 0 912734942 478199808 93754 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93754 301 301 0 116447 0
vsize: 466992
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 208710 0 0 0 107536 476 0 0 25 0 1 0 912734942 478199808 93756 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93756 301 301 0 116447 0
vsize: 466992
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 210849 0 0 0 108531 481 0 0 25 0 1 0 912734942 478199808 93757 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93757 301 301 0 116447 0
vsize: 466992
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 210856 0 0 0 109531 482 0 0 25 0 1 0 912734942 478199808 93764 4294967295 134512640 135730672 3221224576 3221223072 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93764 301 301 0 116447 0
vsize: 466992
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 210858 0 0 0 110530 482 0 0 25 0 1 0 912734942 478199808 93766 4294967295 134512640 135730672 3221224576 3221223188 134748221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93766 301 301 0 116447 0
vsize: 466992
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 213007 0 0 0 111526 487 0 0 25 0 1 0 912734942 486957056 95915 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118886 95915 301 301 0 118585 0
vsize: 475544
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 213009 0 0 0 112526 488 0 0 25 0 1 0 912734942 478199808 93779 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93779 301 301 0 116447 0
vsize: 466992
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 213011 0 0 0 113526 488 0 0 25 0 1 0 912734942 478199808 93781 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93781 301 301 0 116447 0
vsize: 466992
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 215150 0 0 0 114521 493 0 0 25 0 1 0 912734942 478199808 93782 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93782 301 301 0 116447 0
vsize: 466992
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 215153 0 0 0 115522 494 0 0 25 0 1 0 912734942 478199808 93785 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93785 301 301 0 116447 0
vsize: 466992
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 217292 0 0 0 116516 499 0 0 25 0 1 0 912734942 478199808 93786 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93786 301 301 0 116447 0
vsize: 466992
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 217295 0 0 0 117516 499 0 0 25 0 1 0 912734942 478199808 93789 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93789 301 301 0 116447 0
vsize: 466992
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 219435 0 0 0 118511 505 0 0 25 0 1 0 912734942 478199808 93791 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93791 301 301 0 116447 0
vsize: 466992
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 219437 0 0 0 119511 505 0 0 25 0 1 0 912734942 478199808 93793 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93793 301 301 0 116447 0
vsize: 466992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.15 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 17049
Raw data (stat): 17049 (pb2sat-v2) R 17048 8378 8377 0 -1 0 219437 0 0 0 119511 505 0 0 25 0 1 0 912734942 478199808 93793 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116748 93793 301 301 0 116447 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.14
CPU time (s): 1202.27
CPU user time (s): 1197.03
CPU system time (s): 5.2462
CPU usage (%): 100.011
Max. virtual memory (Kb): 475544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####