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-pk1.opb
MD5SUM	4d8544323b5554a497d5d3c2a3b0ca03
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2150078462
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06299
Number of variables	985
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	115
Trace number 42481

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 08:32:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25693 boxname=wulflinc1 idbench=993 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4d8544323b5554a497d5d3c2a3b0ca03  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-pk1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-pk1.opb
IDLAUNCH: 25693
/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:        690020 kB
Buffers:         33528 kB
Cached:         287124 kB
SwapCached:       1192 kB
Active:          37096 kB
Inactive:       285876 kB
HighTotal:      131008 kB
HighFree:         1428 kB
LowTotal:       903652 kB
LowFree:        688592 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15884 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 08:52:08 (client local time) WITH STATUS 0 IN 1202.24 SECONDS
stats: 25693 7 1202.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 182/911567	Time: 210.781/86400
c Decision: 182/911567	Time: 309.907/86400
c Decision: 182/911567	Time: 445.35/86400
c Decision: 182/911567	Time: 514.207/86400
c Decision: 194/911567	Time: 737.91/86400
c Decision: 194/911567	Time: 959.633/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 2/55 16806
Raw data (stat): 16806 (runsolver) R 16805 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912489265 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+9.99998 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 26229 0 0 0 943 55 0 0 25 0 1 0 912489265 76791808 15165 4294967295 134512640 135730672 3221224576 3221193904 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18748 15166 301 301 0 18447 0
vsize: 74992
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 51609 0 0 0 1889 110 0 0 25 0 1 0 912489265 151158784 29590 4294967295 134512640 135730672 3221224576 3221190140 134608030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36904 29590 301 301 0 36603 0
vsize: 147616
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 90026 0 0 0 2810 187 0 0 25 0 1 0 912489265 267960320 46330 4294967295 134512640 135730672 3221224576 3221199596 134637875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65420 46330 301 301 0 65119 0
vsize: 261680
[startup+40.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 102888 0 0 0 3778 219 0 0 25 0 1 0 912489265 301514752 58958 4294967295 134512640 135730672 3221224576 3221191940 135282783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73612 58959 301 301 0 73311 0
vsize: 294448
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 114396 0 0 0 4751 246 0 0 25 0 1 0 912489265 326414336 68511 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79691 68511 301 301 0 79390 0
vsize: 318764
[startup+60.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 114807 0 0 0 5750 247 0 0 25 0 1 0 912489265 327614464 68792 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79984 68792 301 301 0 79683 0
vsize: 319936
[startup+70.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 116191 0 0 0 6748 249 0 0 25 0 1 0 912489265 332570624 69719 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81194 69719 301 301 0 80893 0
vsize: 324776
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 117135 0 0 0 7746 251 0 0 25 0 1 0 912489265 335446016 70079 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81896 70079 301 301 0 81595 0
vsize: 327584
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 117388 0 0 0 8746 252 0 0 25 0 1 0 912489265 336449536 70203 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82141 70203 301 301 0 81840 0
vsize: 328564
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 117825 0 0 0 9745 253 0 0 25 0 1 0 912489265 337907712 70477 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82497 70477 301 301 0 82196 0
vsize: 329988
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 118055 0 0 0 10745 254 0 0 25 0 1 0 912489265 338563072 70545 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82657 70545 301 301 0 82356 0
vsize: 330628
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 118469 0 0 0 11744 254 0 0 25 0 1 0 912489265 340295680 70764 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83080 70764 301 301 0 82779 0
vsize: 332320
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 119335 0 0 0 12742 256 0 0 25 0 1 0 912489265 342859776 71175 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83706 71175 301 301 0 83405 0
vsize: 334824
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 120347 0 0 0 13740 258 0 0 25 0 1 0 912489265 345759744 71668 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84414 71668 301 301 0 84113 0
vsize: 337656
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 120876 0 0 0 14740 259 0 0 25 0 1 0 912489265 347340800 71938 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84800 71938 301 301 0 84499 0
vsize: 339200
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 121628 0 0 0 15738 261 0 0 25 0 1 0 912489265 349437952 72174 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85312 72174 301 301 0 85011 0
vsize: 341248
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 121797 0 0 0 16738 261 0 0 25 0 1 0 912489265 349933568 72278 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85433 72278 301 301 0 85132 0
vsize: 341732
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 122071 0 0 0 17738 262 0 0 25 0 1 0 912489265 350457856 72423 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85561 72423 301 301 0 85260 0
vsize: 342244
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 122252 0 0 0 18737 262 0 0 25 0 1 0 912489265 350720000 72539 4294967295 134512640 135730672 3221224576 3221223164 134747446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85625 72539 301 301 0 85324 0
vsize: 342500
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 122451 0 0 0 19737 263 0 0 25 0 1 0 912489265 351244288 72609 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85753 72609 301 301 0 85452 0
vsize: 343012
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 122749 0 0 0 20737 263 0 0 25 0 1 0 912489265 352292864 72649 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86009 72649 301 301 0 85708 0
vsize: 344036
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 122772 0 0 0 21737 263 0 0 25 0 1 0 912489265 352292864 72672 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86009 72672 301 301 0 85708 0
vsize: 344036
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 122774 0 0 0 22737 263 0 0 25 0 1 0 912489265 352292864 72674 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86009 72674 301 301 0 85708 0
vsize: 344036
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 123140 0 0 0 23736 264 0 0 25 0 1 0 912489265 353341440 72782 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86265 72782 301 301 0 85964 0
vsize: 345060
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 124953 0 0 0 24732 268 0 0 25 0 1 0 912489265 360636416 74595 4294967295 134512640 135730672 3221224576 3221222724 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88046 74595 301 301 0 87745 0
vsize: 352184
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 126258 0 0 0 25729 272 0 0 25 0 1 0 912489265 357675008 73599 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87323 73599 301 301 0 87022 0
vsize: 349292
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 126522 0 0 0 26729 272 0 0 25 0 1 0 912489265 358600704 73765 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87549 73765 301 301 0 87248 0
vsize: 350196
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 126569 0 0 0 27729 272 0 0 25 0 1 0 912489265 358600704 73812 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87549 73812 301 301 0 87248 0
vsize: 350196
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 126572 0 0 0 28729 272 0 0 25 0 1 0 912489265 358600704 73815 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87549 73815 301 301 0 87248 0
vsize: 350196
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 126617 0 0 0 29729 272 0 0 25 0 1 0 912489265 358735872 73860 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87582 73860 301 301 0 87281 0
vsize: 350328
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 127020 0 0 0 30729 273 0 0 25 0 1 0 912489265 360058880 74100 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87905 74100 301 301 0 87604 0
vsize: 351620
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 127041 0 0 0 31729 273 0 0 25 0 1 0 912489265 360194048 74121 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87938 74121 301 301 0 87637 0
vsize: 351752
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 127518 0 0 0 32728 274 0 0 25 0 1 0 912489265 361644032 74337 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88292 74337 301 301 0 87991 0
vsize: 353168
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 127548 0 0 0 33728 274 0 0 25 0 1 0 912489265 361644032 74367 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88292 74367 301 301 0 87991 0
vsize: 353168
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 127603 0 0 0 34728 274 0 0 25 0 1 0 912489265 361644032 74389 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88292 74389 301 301 0 87991 0
vsize: 353168
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 130775 0 0 0 35721 281 0 0 25 0 1 0 912489265 365879296 75124 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89326 75124 301 301 0 89025 0
vsize: 357304
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 131669 0 0 0 36718 284 0 0 25 0 1 0 912489265 368115712 75563 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89872 75563 301 301 0 89571 0
vsize: 359488
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 132665 0 0 0 37716 286 0 0 25 0 1 0 912489265 370479104 76039 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90449 76039 301 301 0 90148 0
vsize: 361796
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 135325 0 0 0 38711 291 0 0 25 0 1 0 912489265 377704448 77183 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92213 77183 301 301 0 91912 0
vsize: 368852
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 135548 0 0 0 39710 292 0 0 25 0 1 0 912489265 378363904 77373 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92374 77373 301 301 0 92073 0
vsize: 369496
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 136225 0 0 0 40709 293 0 0 25 0 1 0 912489265 379674624 77727 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92694 77727 301 301 0 92393 0
vsize: 370776
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 136830 0 0 0 41708 295 0 0 25 0 1 0 912489265 381251584 78009 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93079 78009 301 301 0 92778 0
vsize: 372316
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 136889 0 0 0 42708 295 0 0 25 0 1 0 912489265 381251584 78068 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93079 78068 301 301 0 92778 0
vsize: 372316
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 137615 0 0 0 43707 296 0 0 25 0 1 0 912489265 383508480 78534 4294967295 134512640 135730672 3221224576 3221223072 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93630 78534 301 301 0 93329 0
vsize: 374520
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 138599 0 0 0 44705 298 0 0 25 0 1 0 912489265 386691072 79031 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94407 79031 301 301 0 94106 0
vsize: 377628
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 138687 0 0 0 45705 299 0 0 25 0 1 0 912489265 387219456 79119 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94536 79119 301 301 0 94235 0
vsize: 378144
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 139068 0 0 0 46704 300 0 0 25 0 1 0 912489265 388136960 79273 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94760 79273 301 301 0 94459 0
vsize: 379040
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 139248 0 0 0 47704 300 0 0 25 0 1 0 912489265 388661248 79324 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94888 79324 301 301 0 94587 0
vsize: 379552
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 141189 0 0 0 48698 306 0 0 25 0 1 0 912489265 389324800 79419 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95050 79419 301 301 0 94749 0
vsize: 380200
[startup+500.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 141355 0 0 0 49698 306 0 0 25 0 1 0 912489265 389849088 79455 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95178 79455 301 301 0 94877 0
vsize: 380712
[startup+510.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 142223 0 0 0 50696 308 0 0 25 0 1 0 912489265 391684096 79871 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95626 79871 301 301 0 95325 0
vsize: 382504
[startup+520.008 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 143951 0 0 0 51692 312 0 0 25 0 1 0 912489265 396292096 80758 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96751 80758 301 301 0 96450 0
vsize: 387004
[startup+530.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 144044 0 0 0 52692 312 0 0 25 0 1 0 912489265 396689408 80818 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96848 80818 301 301 0 96547 0
vsize: 387392
[startup+540.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 144184 0 0 0 53692 313 0 0 25 0 1 0 912489265 396951552 80893 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96912 80893 301 301 0 96611 0
vsize: 387648
[startup+550.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 144189 0 0 0 54691 313 0 0 25 0 1 0 912489265 396951552 80898 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96912 80898 301 301 0 96611 0
vsize: 387648
[startup+560.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 146195 0 0 0 55687 318 0 0 25 0 1 0 912489265 397475840 80994 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97040 80994 301 301 0 96739 0
vsize: 388160
[startup+570.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 146196 0 0 0 56687 318 0 0 25 0 1 0 912489265 397475840 80995 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97040 80995 301 301 0 96739 0
vsize: 388160
[startup+580.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 146210 0 0 0 57687 318 0 0 25 0 1 0 912489265 397475840 81009 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97040 81009 301 301 0 96739 0
vsize: 388160
[startup+590.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 146231 0 0 0 58687 319 0 0 25 0 1 0 912489265 397475840 81030 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97040 81030 301 301 0 96739 0
vsize: 388160
[startup+600.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 146603 0 0 0 59686 319 0 0 25 0 1 0 912489265 398524416 81144 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97296 81144 301 301 0 96995 0
vsize: 389184
[startup+610.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 146604 0 0 0 60686 319 0 0 25 0 1 0 912489265 398524416 81145 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97296 81145 301 301 0 96995 0
vsize: 389184
[startup+620.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 147012 0 0 0 61686 320 0 0 25 0 1 0 912489265 399572992 81295 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97552 81295 301 301 0 97251 0
vsize: 390208
[startup+630.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 147519 0 0 0 62685 321 0 0 25 0 1 0 912489265 400625664 81608 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97809 81608 301 301 0 97508 0
vsize: 391236
[startup+640.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 147636 0 0 0 63684 322 0 0 25 0 1 0 912489265 401297408 81725 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97973 81725 301 301 0 97672 0
vsize: 391892
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 147658 0 0 0 64684 322 0 0 25 0 1 0 912489265 401432576 81747 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98006 81747 301 301 0 97705 0
vsize: 392024
[startup+660.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 147867 0 0 0 65684 323 0 0 25 0 1 0 912489265 401956864 81827 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98134 81827 301 301 0 97833 0
vsize: 392536
[startup+670.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 148058 0 0 0 66684 323 0 0 25 0 1 0 912489265 402481152 81889 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98262 81889 301 301 0 97961 0
vsize: 393048
[startup+680.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 148309 0 0 0 67683 324 0 0 25 0 1 0 912489265 403005440 82010 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98390 82010 301 301 0 98089 0
vsize: 393560
[startup+690.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 148360 0 0 0 68683 325 0 0 25 0 1 0 912489265 403005440 82061 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98390 82061 301 301 0 98089 0
vsize: 393560
[startup+700.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 148451 0 0 0 69683 325 0 0 25 0 1 0 912489265 403402752 82119 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98487 82119 301 301 0 98186 0
vsize: 393948
[startup+710.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 148839 0 0 0 70682 325 0 0 25 0 1 0 912489265 404582400 82215 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98775 82215 301 301 0 98474 0
vsize: 395100
[startup+720.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 149154 0 0 0 71682 326 0 0 25 0 1 0 912489265 405368832 82336 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98967 82336 301 301 0 98666 0
vsize: 395868
[startup+730.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 149348 0 0 0 72681 327 0 0 25 0 1 0 912489265 405893120 82401 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99095 82401 301 301 0 98794 0
vsize: 396380
[startup+740.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 149349 0 0 0 73682 327 0 0 25 0 1 0 912489265 405893120 82402 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99095 82402 301 301 0 98794 0
vsize: 396380
[startup+750.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 149355 0 0 0 74682 327 0 0 25 0 1 0 912489265 405893120 82408 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99095 82408 301 301 0 98794 0
vsize: 396380
[startup+760.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 149433 0 0 0 75681 327 0 0 25 0 1 0 912489265 405893120 82486 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99095 82486 301 301 0 98794 0
vsize: 396380
[startup+770.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 149436 0 0 0 76681 327 0 0 25 0 1 0 912489265 405893120 82489 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99095 82489 301 301 0 98794 0
vsize: 396380
[startup+780.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 151219 0 0 0 77678 331 0 0 25 0 1 0 912489265 413188096 84272 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100876 84272 301 301 0 100575 0
vsize: 403504
[startup+790.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 151453 0 0 0 78676 332 0 0 25 0 1 0 912489265 406552576 82627 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99256 82627 301 301 0 98955 0
vsize: 397024
[startup+800.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 153119 0 0 0 79672 336 0 0 25 0 1 0 912489265 411009024 83199 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100344 83199 301 301 0 100043 0
vsize: 401376
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 153159 0 0 0 80673 336 0 0 25 0 1 0 912489265 411009024 83239 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100344 83239 301 301 0 100043 0
vsize: 401376
[startup+820.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 153160 0 0 0 81673 336 0 0 25 0 1 0 912489265 411009024 83240 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100344 83240 301 301 0 100043 0
vsize: 401376
[startup+830.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 153169 0 0 0 82673 336 0 0 25 0 1 0 912489265 411009024 83249 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100344 83249 301 301 0 100043 0
vsize: 401376
[startup+840.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 153524 0 0 0 83672 336 0 0 25 0 1 0 912489265 412057600 83347 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100600 83347 301 301 0 100299 0
vsize: 402400
[startup+850.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 153525 0 0 0 84673 336 0 0 25 0 1 0 912489265 412057600 83348 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100600 83348 301 301 0 100299 0
vsize: 402400
[startup+860.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 153690 0 0 0 85673 337 0 0 25 0 1 0 912489265 412581888 83384 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100728 83384 301 301 0 100427 0
vsize: 402912
[startup+870.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 154098 0 0 0 86672 338 0 0 25 0 1 0 912489265 413630464 83535 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100984 83535 301 301 0 100683 0
vsize: 403936
[startup+880.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 154466 0 0 0 87672 338 0 0 25 0 1 0 912489265 414679040 83646 4294967295 134512640 135730672 3221224576 3221223120 134740336 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101240 83646 301 301 0 100939 0
vsize: 404960
[startup+890.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 154727 0 0 0 88671 339 0 0 25 0 1 0 912489265 415203328 83778 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101368 83778 301 301 0 101067 0
vsize: 405472
[startup+900.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 154754 0 0 0 89672 339 0 0 25 0 1 0 912489265 415203328 83805 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101368 83805 301 301 0 101067 0
vsize: 405472
[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 155756 0 0 0 90669 341 0 0 25 0 1 0 912489265 417824768 84162 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102008 84162 301 301 0 101707 0
vsize: 408032
[startup+920.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 156474 0 0 0 91668 343 0 0 25 0 1 0 912489265 419397632 84494 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102392 84494 301 301 0 102091 0
vsize: 409568
[startup+930.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 156826 0 0 0 92668 344 0 0 25 0 1 0 912489265 420446208 84589 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102648 84589 301 301 0 102347 0
vsize: 410592
[startup+940.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 157528 0 0 0 93666 345 0 0 25 0 1 0 912489265 422019072 84905 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103032 84905 301 301 0 102731 0
vsize: 412128
[startup+950.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 157582 0 0 0 94667 345 0 0 25 0 1 0 912489265 422019072 84959 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103032 84959 301 301 0 102731 0
vsize: 412128
[startup+960.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 157810 0 0 0 95666 345 0 0 25 0 1 0 912489265 422019072 85187 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103032 85187 301 301 0 102731 0
vsize: 412128
[startup+970.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 157812 0 0 0 96667 345 0 0 25 0 1 0 912489265 422019072 85189 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103032 85189 301 301 0 102731 0
vsize: 412128
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 158785 0 0 0 97665 347 0 0 25 0 1 0 912489265 424640512 85519 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103672 85519 301 301 0 103371 0
vsize: 414688
[startup+990.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 160165 0 0 0 98662 350 0 0 25 0 1 0 912489265 427261952 86256 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104312 86256 301 301 0 104011 0
vsize: 417248
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 162633 0 0 0 99657 356 0 0 25 0 1 0 912489265 428834816 86557 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104696 86557 301 301 0 104395 0
vsize: 418784
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 163350 0 0 0 100655 357 0 0 25 0 1 0 912489265 430407680 86888 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105080 86888 301 301 0 104779 0
vsize: 420320
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 165169 0 0 0 101652 360 0 0 25 0 1 0 912489265 435126272 87551 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106232 87551 301 301 0 105931 0
vsize: 424928
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 165660 0 0 0 102651 362 0 0 25 0 1 0 912489265 436174848 87785 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106488 87785 301 301 0 106187 0
vsize: 425952
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 165660 0 0 0 103651 362 0 0 25 0 1 0 912489265 436174848 87785 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106488 87785 301 301 0 106187 0
vsize: 425952
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 165687 0 0 0 104651 362 0 0 25 0 1 0 912489265 436174848 87812 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106488 87812 301 301 0 106187 0
vsize: 425952
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 165687 0 0 0 105651 362 0 0 25 0 1 0 912489265 436174848 87812 4294967295 134512640 135730672 3221224576 3221223072 134748038 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106488 87812 301 301 0 106187 0
vsize: 425952
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 166081 0 0 0 106650 363 0 0 25 0 1 0 912489265 437223424 87949 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106744 87949 301 301 0 106443 0
vsize: 426976
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 166331 0 0 0 107650 363 0 0 25 0 1 0 912489265 437747712 88070 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106872 88070 301 301 0 106571 0
vsize: 427488
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 166331 0 0 0 108650 363 0 0 25 0 1 0 912489265 437747712 88070 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106872 88070 301 301 0 106571 0
vsize: 427488
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 166331 0 0 0 109650 364 0 0 25 0 1 0 912489265 437747712 88070 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106872 88070 301 301 0 106571 0
vsize: 427488
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 166332 0 0 0 110651 364 0 0 25 0 1 0 912489265 437747712 88071 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106872 88071 301 301 0 106571 0
vsize: 427488
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 166332 0 0 0 111651 364 0 0 25 0 1 0 912489265 437747712 88071 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106872 88071 301 301 0 106571 0
vsize: 427488
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 166765 0 0 0 112650 365 0 0 25 0 1 0 912489265 438796288 88247 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107128 88247 301 301 0 106827 0
vsize: 428512
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 166766 0 0 0 113650 365 0 0 25 0 1 0 912489265 438796288 88248 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107128 88248 301 301 0 106827 0
vsize: 428512
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 167086 0 0 0 114649 366 0 0 25 0 1 0 912489265 439582720 88374 4294967295 134512640 135730672 3221224576 3221223072 134747483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107320 88374 301 301 0 107019 0
vsize: 429280
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 167094 0 0 0 115650 366 0 0 25 0 1 0 912489265 439582720 88382 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107320 88382 301 301 0 107019 0
vsize: 429280
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 167196 0 0 0 116650 366 0 0 25 0 1 0 912489265 439582720 88484 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107320 88484 301 301 0 107019 0
vsize: 429280
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 167197 0 0 0 117650 366 0 0 25 0 1 0 912489265 439582720 88485 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107320 88485 301 301 0 107019 0
vsize: 429280
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 168405 0 0 0 118647 368 0 0 25 0 1 0 912489265 442597376 88949 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108056 88949 301 301 0 107755 0
vsize: 432224
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 168405 0 0 0 119648 368 0 0 25 0 1 0 912489265 442597376 88949 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108056 88949 301 301 0 107755 0
vsize: 432224
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.11 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 16806
Raw data (stat): 16806 (pb2sat-v2) R 16805 8378 8377 0 -1 0 168405 0 0 0 119648 368 0 0 25 0 1 0 912489265 442597376 88949 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108056 88949 301 301 0 107755 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.11
CPU time (s): 1202.24
CPU user time (s): 1198.38
CPU system time (s): 3.86141
CPU usage (%): 100.011
Max. virtual memory (Kb): 432224
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####