PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb
MD5SUM	56b5875081183b5ab8f7e29cbac05646
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	8814
Biggest coefficient in the objective function	3375324200960
Number of bits for the biggest coefficient in the objective function	42
Sum of the numbers in the objective function	2061624536571104
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	3375324200960
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	2061624536571104
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.112982
Number of variables	12846
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	192
Trace number 42785

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        692288 kB
Buffers:         13132 kB
Cached:         306612 kB
SwapCached:       1420 kB
Active:          25464 kB
Inactive:       296404 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        692036 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14692 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:09:37 (client local time) WITH STATUS 0 IN 1200.72 SECONDS
stats: 25998 7 1200.72 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 56444/185554	Time: 60.1679/86400
c Decision: 56493/185554	Time: 88.8525/86400
c Decision: 56627/185554	Time: 120.096/86400
c Decision: 56768/185554	Time: 151.039/86400
c Decision: 56974/185554	Time: 182.747/86400
c Decision: 57109/185554	Time: 221.141/86400
c Decision: 59165/185554	Time: 922.292/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.88 0.95 0.90 2/54 12372
Raw data (stat): 12372 (runsolver) R 12371 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971615528 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.0005 s]
Raw data (loadavg): 0.90 0.95 0.90 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 23454 0 0 0 946 53 0 0 25 0 1 0 971615528 76566528 12423 4294967295 134512640 135730672 3221224576 3221215632 134784095 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18693 12423 301 301 0 18392 0
vsize: 74772
[startup+20.0007 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 25920 0 0 0 1937 60 0 0 25 0 1 0 971615528 84480000 14354 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20625 14354 301 301 0 20324 0
vsize: 82500
[startup+30.0013 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 26446 0 0 0 2932 65 0 0 25 0 1 0 971615528 86921216 14880 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21221 14880 301 301 0 20920 0
vsize: 84884
[startup+40.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 26879 0 0 0 3928 69 0 0 25 0 1 0 971615528 88707072 15313 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21657 15313 301 301 0 21356 0
vsize: 86628
[startup+50.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 27353 0 0 0 4924 74 0 0 25 0 1 0 971615528 91201536 15787 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22266 15787 301 301 0 21965 0
vsize: 89064
[startup+60.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 27647 0 0 0 5920 78 0 0 25 0 1 0 971615528 92512256 16081 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22586 16081 301 301 0 22285 0
vsize: 90344
[startup+70.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 27775 0 0 0 6916 82 0 0 25 0 1 0 971615528 92839936 16209 4294967295 134512640 135730672 3221224576 3221222992 134741561 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22666 16209 301 301 0 22365 0
vsize: 90664
[startup+80.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 28658 0 0 0 7911 87 0 0 25 0 1 0 971615528 95612928 16729 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23343 16729 301 301 0 23042 0
vsize: 93372
[startup+90.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 28928 0 0 0 8907 92 0 0 25 0 1 0 971615528 96792576 16999 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23631 16999 301 301 0 23330 0
vsize: 94524
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 29717 0 0 0 9901 98 0 0 25 0 1 0 971615528 98365440 17425 4294967295 134512640 135730672 3221224576 3221222896 134732486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24015 17425 301 301 0 23714 0
vsize: 96060
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 30162 0 0 0 10895 103 0 0 25 0 1 0 971615528 100134912 17870 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24447 17870 301 301 0 24146 0
vsize: 97788
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 30379 0 0 0 11892 106 0 0 25 0 1 0 971615528 100724736 18087 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24591 18087 301 301 0 24290 0
vsize: 98364
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 30704 0 0 0 12887 111 0 0 25 0 1 0 971615528 101904384 18412 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24879 18412 301 301 0 24578 0
vsize: 99516
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 31274 0 0 0 13882 116 0 0 25 0 1 0 971615528 102887424 18619 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25119 18619 301 301 0 24818 0
vsize: 100476
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 31363 0 0 0 14877 121 0 0 25 0 1 0 971615528 103215104 18708 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25199 18708 301 301 0 24898 0
vsize: 100796
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 31486 0 0 0 15873 125 0 0 25 0 1 0 971615528 103706624 18831 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25319 18831 301 301 0 25018 0
vsize: 101276
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 31938 0 0 0 16866 132 0 0 25 0 1 0 971615528 103870464 18920 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25359 18920 301 301 0 25058 0
vsize: 101436
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 32153 0 0 0 17860 139 0 0 25 0 1 0 971615528 104656896 19135 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25551 19135 301 301 0 25250 0
vsize: 102204
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 32298 0 0 0 18854 144 0 0 25 0 1 0 971615528 105275392 19280 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25702 19280 301 301 0 25401 0
vsize: 102808
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 32858 0 0 0 19849 150 0 0 25 0 1 0 971615528 106205184 19477 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25929 19477 301 301 0 25628 0
vsize: 103716
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 32885 0 0 0 20845 154 0 0 25 0 1 0 971615528 106205184 19504 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25929 19504 301 301 0 25628 0
vsize: 103716
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 33047 0 0 0 21840 160 0 0 25 0 1 0 971615528 106991616 19666 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26121 19666 301 301 0 25820 0
vsize: 104484
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 33262 0 0 0 22834 166 0 0 25 0 1 0 971615528 108138496 19881 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26401 19881 301 301 0 26100 0
vsize: 105604
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 33905 0 0 0 23829 170 0 0 25 0 1 0 971615528 109514752 20161 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26737 20161 301 301 0 26436 0
vsize: 106948
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 33911 0 0 0 24824 175 0 0 25 0 1 0 971615528 109514752 20167 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26737 20167 301 301 0 26436 0
vsize: 106948
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 33990 0 0 0 25819 180 0 0 25 0 1 0 971615528 109649920 20246 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26770 20246 301 301 0 26469 0
vsize: 107080
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 34072 0 0 0 26814 186 0 0 25 0 1 0 971615528 109846528 20328 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26818 20328 301 301 0 26517 0
vsize: 107272
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 34280 0 0 0 27807 193 0 0 25 0 1 0 971615528 110632960 20536 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27010 20536 301 301 0 26709 0
vsize: 108040
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 34342 0 0 0 28801 198 0 0 25 0 1 0 971615528 110960640 20598 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27090 20598 301 301 0 26789 0
vsize: 108360
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 34529 0 0 0 29797 203 0 0 25 0 1 0 971615528 111550464 20785 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27234 20785 301 301 0 26933 0
vsize: 108936
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 34595 0 0 0 30793 208 0 0 25 0 1 0 971615528 111550464 20851 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27234 20851 301 301 0 26933 0
vsize: 108936
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 34746 0 0 0 31789 212 0 0 25 0 1 0 971615528 112140288 21002 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27378 21002 301 301 0 27077 0
vsize: 109512
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 34864 0 0 0 32785 216 0 0 25 0 1 0 971615528 112336896 21120 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27426 21120 301 301 0 27125 0
vsize: 109704
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 35176 0 0 0 33781 220 0 0 25 0 1 0 971615528 113713152 21432 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27762 21432 301 301 0 27461 0
vsize: 111048
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 35271 0 0 0 34777 225 0 0 25 0 1 0 971615528 114106368 21527 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27858 21527 301 301 0 27557 0
vsize: 111432
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 35467 0 0 0 35770 231 0 0 25 0 1 0 971615528 114696192 21723 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28002 21723 301 301 0 27701 0
vsize: 112008
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 35574 0 0 0 36765 237 0 0 25 0 1 0 971615528 115089408 21830 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28098 21830 301 301 0 27797 0
vsize: 112392
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 35741 0 0 0 37759 243 0 0 25 0 1 0 971615528 115679232 21997 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28242 21997 301 301 0 27941 0
vsize: 112968
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 35834 0 0 0 38755 247 0 0 25 0 1 0 971615528 115875840 22090 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28290 22090 301 301 0 27989 0
vsize: 113160
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36015 0 0 0 39750 252 0 0 25 0 1 0 971615528 116662272 22271 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28482 22271 301 301 0 28181 0
vsize: 113928
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36040 0 0 0 40745 257 0 0 25 0 1 0 971615528 116662272 22296 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28482 22296 301 301 0 28181 0
vsize: 113928
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36083 0 0 0 41742 261 0 0 25 0 1 0 971615528 116662272 22339 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28482 22339 301 301 0 28181 0
vsize: 113928
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36103 0 0 0 42735 267 0 0 25 0 1 0 971615528 116662272 22359 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28482 22359 301 301 0 28181 0
vsize: 113928
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36345 0 0 0 43730 273 0 0 25 0 1 0 971615528 117714944 22601 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28739 22601 301 301 0 28438 0
vsize: 114956
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36380 0 0 0 44726 277 0 0 25 0 1 0 971615528 117862400 22636 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28775 22636 301 301 0 28474 0
vsize: 115100
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36445 0 0 0 45722 281 0 0 25 0 1 0 971615528 118026240 22701 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28815 22701 301 301 0 28514 0
vsize: 115260
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36477 0 0 0 46717 287 0 0 25 0 1 0 971615528 118173696 22733 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28851 22733 301 301 0 28550 0
vsize: 115404
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36585 0 0 0 47713 291 0 0 25 0 1 0 971615528 118501376 22841 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28931 22841 301 301 0 28630 0
vsize: 115724
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36645 0 0 0 48708 296 0 0 25 0 1 0 971615528 118665216 22901 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28971 22901 301 301 0 28670 0
vsize: 115884
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36701 0 0 0 49704 300 0 0 25 0 1 0 971615528 118829056 22957 4294967295 134512640 135730672 3221224576 3221222896 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29011 22957 301 301 0 28710 0
vsize: 116044
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36863 0 0 0 50700 305 0 0 25 0 1 0 971615528 119603200 23119 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29200 23119 301 301 0 28899 0
vsize: 116800
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 36913 0 0 0 51694 311 0 0 25 0 1 0 971615528 119767040 23169 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29240 23169 301 301 0 28939 0
vsize: 116960
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 37125 0 0 0 52690 315 0 0 25 0 1 0 971615528 120717312 23381 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29472 23381 301 301 0 29171 0
vsize: 117888
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 37227 0 0 0 53685 321 0 0 25 0 1 0 971615528 121077760 23483 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29560 23483 301 301 0 29259 0
vsize: 118240
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 37322 0 0 0 54680 325 0 0 25 0 1 0 971615528 121606144 23578 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29689 23578 301 301 0 29388 0
vsize: 118756
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 37509 0 0 0 55674 332 0 0 25 0 1 0 971615528 122228736 23765 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29841 23765 301 301 0 29540 0
vsize: 119364
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 37536 0 0 0 56669 337 0 0 25 0 1 0 971615528 122228736 23792 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29841 23792 301 301 0 29540 0
vsize: 119364
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 37668 0 0 0 57664 342 0 0 25 0 1 0 971615528 123015168 23924 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30033 23924 301 301 0 29732 0
vsize: 120132
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 37836 0 0 0 58659 347 0 0 25 0 1 0 971615528 123539456 24092 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30161 24092 301 301 0 29860 0
vsize: 120644
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 37948 0 0 0 59655 352 0 0 25 0 1 0 971615528 124129280 24204 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30305 24204 301 301 0 30004 0
vsize: 121220
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38018 0 0 0 60651 356 0 0 25 0 1 0 971615528 124522496 24274 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30401 24274 301 301 0 30100 0
vsize: 121604
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12372
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38034 0 0 0 61646 361 0 0 25 0 1 0 971615528 124522496 24290 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30401 24290 301 301 0 30100 0
vsize: 121604
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 12373
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38090 0 0 0 62641 367 0 0 25 0 1 0 971615528 124686336 24346 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30441 24346 301 301 0 30140 0
vsize: 121764
[startup+640.018 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12425
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38211 0 0 0 63635 372 0 0 25 0 1 0 971615528 125210624 24467 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30569 24467 301 301 0 30268 0
vsize: 122276
[startup+650.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12425
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38297 0 0 0 64630 378 0 0 25 0 1 0 971615528 125538304 24553 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30649 24553 301 301 0 30348 0
vsize: 122596
[startup+660.019 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12425
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38373 0 0 0 65625 383 0 0 25 0 1 0 971615528 125865984 24629 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30729 24629 301 301 0 30428 0
vsize: 122916
[startup+670.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12425
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38472 0 0 0 66621 387 0 0 25 0 1 0 971615528 126390272 24728 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30857 24728 301 301 0 30556 0
vsize: 123428
[startup+680.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12425
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38658 0 0 0 67615 393 0 0 25 0 1 0 971615528 127143936 24914 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31041 24914 301 301 0 30740 0
vsize: 124164
[startup+690.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12425
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38790 0 0 0 68610 399 0 0 25 0 1 0 971615528 127897600 25046 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31225 25046 301 301 0 30924 0
vsize: 124900
[startup+700.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38929 0 0 0 69605 404 0 0 25 0 1 0 971615528 128708608 25185 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31423 25185 301 301 0 31122 0
vsize: 125692
[startup+710.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38942 0 0 0 70600 409 0 0 25 0 1 0 971615528 128708608 25198 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31423 25198 301 301 0 31122 0
vsize: 125692
[startup+720.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 38967 0 0 0 71595 414 0 0 25 0 1 0 971615528 128708608 25223 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31423 25223 301 301 0 31122 0
vsize: 125692
[startup+730.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39027 0 0 0 72590 420 0 0 25 0 1 0 971615528 129036288 25283 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31503 25283 301 301 0 31202 0
vsize: 126012
[startup+740.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39144 0 0 0 73585 424 0 0 25 0 1 0 971615528 129626112 25400 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31647 25400 301 301 0 31346 0
vsize: 126588
[startup+750.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39260 0 0 0 74579 431 0 0 25 0 1 0 971615528 130150400 25516 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31775 25516 301 301 0 31474 0
vsize: 127100
[startup+760.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39276 0 0 0 75573 437 0 0 25 0 1 0 971615528 130150400 25532 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31775 25532 301 301 0 31474 0
vsize: 127100
[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39298 0 0 0 76569 441 0 0 25 0 1 0 971615528 130150400 25554 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31775 25554 301 301 0 31474 0
vsize: 127100
[startup+780.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39311 0 0 0 77564 446 0 0 25 0 1 0 971615528 130150400 25567 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31775 25567 301 301 0 31474 0
vsize: 127100
[startup+790.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39356 0 0 0 78559 451 0 0 25 0 1 0 971615528 130314240 25612 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31815 25612 301 301 0 31514 0
vsize: 127260
[startup+800.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39412 0 0 0 79554 457 0 0 25 0 1 0 971615528 130465792 25668 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31852 25668 301 301 0 31551 0
vsize: 127408
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39555 0 0 0 80550 461 0 0 25 0 1 0 971615528 131383296 25811 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32076 25811 301 301 0 31775 0
vsize: 128304
[startup+820.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39646 0 0 0 81545 466 0 0 25 0 1 0 971615528 131973120 25902 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32220 25902 301 301 0 31919 0
vsize: 128880
[startup+830.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39696 0 0 0 82541 471 0 0 25 0 1 0 971615528 132169728 25952 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32268 25952 301 301 0 31967 0
vsize: 129072
[startup+840.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39717 0 0 0 83537 475 0 0 25 0 1 0 971615528 132169728 25973 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32268 25973 301 301 0 31967 0
vsize: 129072
[startup+850.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39794 0 0 0 84532 480 0 0 25 0 1 0 971615528 132562944 26050 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32364 26050 301 301 0 32063 0
vsize: 129456
[startup+860.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39893 0 0 0 85527 485 0 0 25 0 1 0 971615528 133152768 26149 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32508 26149 301 301 0 32207 0
vsize: 130032
[startup+870.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 39967 0 0 0 86524 489 0 0 25 0 1 0 971615528 133513216 26223 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32596 26223 301 301 0 32295 0
vsize: 130384
[startup+880.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40056 0 0 0 87517 495 0 0 25 0 1 0 971615528 133824512 26312 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32672 26312 301 301 0 32371 0
vsize: 130688
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40078 0 0 0 88512 500 0 0 25 0 1 0 971615528 133824512 26334 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32672 26334 301 301 0 32371 0
vsize: 130688
[startup+900.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40144 0 0 0 89508 505 0 0 25 0 1 0 971615528 134217728 26400 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32768 26400 301 301 0 32467 0
vsize: 131072
[startup+910.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40171 0 0 0 90503 510 0 0 25 0 1 0 971615528 134414336 26427 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32816 26427 301 301 0 32515 0
vsize: 131264
[startup+920.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40212 0 0 0 91497 517 0 0 25 0 1 0 971615528 134610944 26468 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32864 26468 301 301 0 32563 0
vsize: 131456
[startup+930.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40253 0 0 0 92492 522 0 0 25 0 1 0 971615528 134807552 26509 4294967295 134512640 135730672 3221224576 3221222896 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32912 26509 301 301 0 32611 0
vsize: 131648
[startup+940.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40682 0 0 0 93487 527 0 0 25 0 1 0 971615528 135004160 26575 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32960 26575 301 301 0 32659 0
vsize: 131840
[startup+950.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40743 0 0 0 94480 533 0 0 25 0 1 0 971615528 135397376 26636 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33056 26636 301 301 0 32755 0
vsize: 132224
[startup+960.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40785 0 0 0 95476 537 0 0 25 0 1 0 971615528 135593984 26678 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26678 301 301 0 32803 0
vsize: 132416
[startup+970.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40796 0 0 0 96471 542 0 0 25 0 1 0 971615528 135593984 26689 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26689 301 301 0 32803 0
vsize: 132416
[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40812 0 0 0 97466 547 0 0 25 0 1 0 971615528 135593984 26705 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26705 301 301 0 32803 0
vsize: 132416
[startup+990.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12427
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40823 0 0 0 98461 552 0 0 25 0 1 0 971615528 135593984 26716 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26716 301 301 0 32803 0
vsize: 132416
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40837 0 0 0 99457 557 0 0 25 0 1 0 971615528 135593984 26730 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26730 301 301 0 32803 0
vsize: 132416
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40848 0 0 0 100453 560 0 0 25 0 1 0 971615528 135593984 26741 4294967295 134512640 135730672 3221224576 3221222940 135291222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26741 301 301 0 32803 0
vsize: 132416
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40857 0 0 0 101447 567 0 0 25 0 1 0 971615528 135593984 26750 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26750 301 301 0 32803 0
vsize: 132416
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40867 0 0 0 102443 571 0 0 25 0 1 0 971615528 135593984 26760 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26760 301 301 0 32803 0
vsize: 132416
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40875 0 0 0 103439 576 0 0 25 0 1 0 971615528 135593984 26768 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26768 301 301 0 32803 0
vsize: 132416
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40885 0 0 0 104432 582 0 0 25 0 1 0 971615528 135593984 26778 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26778 301 301 0 32803 0
vsize: 132416
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40898 0 0 0 105427 588 0 0 25 0 1 0 971615528 135593984 26791 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26791 301 301 0 32803 0
vsize: 132416
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40919 0 0 0 106422 593 0 0 25 0 1 0 971615528 135757824 26812 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33144 26812 301 301 0 32843 0
vsize: 132576
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40936 0 0 0 107417 598 0 0 25 0 1 0 971615528 135757824 26829 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33144 26829 301 301 0 32843 0
vsize: 132576
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40987 0 0 0 108412 603 0 0 25 0 1 0 971615528 135913472 26880 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33182 26880 301 301 0 32881 0
vsize: 132728
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 40998 0 0 0 109406 609 0 0 25 0 1 0 971615528 135913472 26891 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33182 26891 301 301 0 32881 0
vsize: 132728
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41022 0 0 0 110401 615 0 0 25 0 1 0 971615528 136110080 26915 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33230 26915 301 301 0 32929 0
vsize: 132920
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41034 0 0 0 111396 620 0 0 25 0 1 0 971615528 136110080 26927 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33230 26927 301 301 0 32929 0
vsize: 132920
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41088 0 0 0 112391 625 0 0 25 0 1 0 971615528 136257536 26981 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33266 26981 301 301 0 32965 0
vsize: 133064
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41101 0 0 0 113386 630 0 0 25 0 1 0 971615528 136257536 26994 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33266 26994 301 301 0 32965 0
vsize: 133064
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41120 0 0 0 114381 636 0 0 25 0 1 0 971615528 136257536 27013 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33266 27013 301 301 0 32965 0
vsize: 133064
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41192 0 0 0 115376 641 0 0 25 0 1 0 971615528 136552448 27085 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33338 27085 301 301 0 33037 0
vsize: 133352
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41234 0 0 0 116370 647 0 0 25 0 1 0 971615528 136691712 27127 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33372 27127 301 301 0 33071 0
vsize: 133488
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41254 0 0 0 117364 653 0 0 25 0 1 0 971615528 136691712 27147 4294967295 134512640 135730672 3221224576 3221222912 134739208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33372 27147 301 301 0 33071 0
vsize: 133488
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41409 0 0 0 118360 657 0 0 25 0 1 0 971615528 137474048 27302 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33563 27302 301 301 0 33262 0
vsize: 134252
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12429
Raw data (stat): 12372 (pb2sat-v2) R 12371 31399 31398 0 -1 0 41467 0 0 0 119355 662 0 0 25 0 1 0 971615528 137670656 27360 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33611 27360 301 301 0 33310 0
vsize: 134444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.58 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 12429
Raw data (stat): 12372 (pb2sat-v2) Z 12371 31399 31398 0 -1 12 41469 0 0 0 119404 667 0 0 25 0 1 0 971615528 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.58
CPU time (s): 1200.72
CPU user time (s): 1194.04
CPU system time (s): 6.67898
CPU usage (%): 100.012
Max. virtual memory (Kb): 134444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####