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-dcmulti.opb
MD5SUM	6ffc4ed72f4dd993b121ae0a2045731e
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	9505
Biggest coefficient in the objective function	697303040
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	66656504525
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	697303040
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	66656504525
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.087986
Number of variables	9535
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 42779

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 14:30:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25990 boxname=wulflinc5 idbench=1290 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6ffc4ed72f4dd993b121ae0a2045731e  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-dcmulti.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-dcmulti.opb
IDLAUNCH: 25990
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        682368 kB
Buffers:         18760 kB
Cached:         310516 kB
SwapCached:        660 kB
Active:          24908 kB
Inactive:       306472 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        682116 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15224 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:50:59 (client local time) WITH STATUS 0 IN 1201.13 SECONDS
stats: 25990 7 1201.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 56855/360557	Time: 9.41557/86400
c Decision: 58474/360557	Time: 16.9344/86400
c Decision: 58484/360557	Time: 26.3/86400
c Decision: 58601/360557	Time: 65.2951/86400
c Decision: 58601/360557	Time: 75.7455/86400
c Decision: 58601/360557	Time: 86.9898/86400
c Decision: 58607/360557	Time: 98.693/86400
c Decision: 58607/360557	Time: 108.278/86400
c Decision: 58621/360557	Time: 118.894/86400
c Decision: 58839/360557	Time: 135.294/86400
c Decision: 58865/360557	Time: 166.318/86400
c Decision: 58865/360557	Time: 175.373/86400
c Decision: 58881/360557	Time: 192.069/86400
c Decision: 59067/360557	Time: 223.263/86400
c Decision: 59076/360557	Time: 236.019/86400
c Decision: 59085/360557	Time: 250.779/86400
c Decision: 59085/360557	Time: 258.04/86400
c Decision: 59085/360557	Time: 264.022/86400
c Decision: 59085/360557	Time: 270.273/86400
c Decision: 59085/360557	Time: 277.258/86400
c Decision: 59085/360557	Time: 287.149/86400
c Decision: 59087/360557	Time: 297.585/86400
c Decision: 59087/360557	Time: 305.359/86400
c Decision: 59087/360557	Time: 312.525/86400
c Decision: 59117/360557	Time: 326.752/86400
c Decision: 59118/360557	Time: 339.953/86400
c Decision: 59118/360557	Time: 348.289/86400
c Decision: 59118/360557	Time: 356.529/86400
c Decision: 59118/360557	Time: 365.258/86400
c Decision: 59118/360557	Time: 374.006/86400
c Decision: 59118/360557	Time: 382.937/86400
c Decision: 59118/360557	Time: 390.742/86400
c Decision: 59118/360557	Time: 398.296/86400
c Decision: 59118/360557	Time: 405.566/86400
c Decision: 59118/360557	Time: 413.208/86400
c Decision: 59126/360557	Time: 425.491/86400
c Decision: 59137/360557	Time: 436.513/86400
c Decision: 59137/360557	Time: 445.189/86400
c Decision: 59137/360557	Time: 453.119/86400
c Decision: 59137/360557	Time: 461.078/86400
c Decision: 59161/360557	Time: 483.969/86400
c Decision: 59174/360557	Time: 503.744/86400
c Decision: 59174/360557	Time: 511.346/86400
c Decision: 59189/360557	Time: 523.742/86400
c Decision: 59189/360557	Time: 531.715/86400
c Decision: 59189/360557	Time: 541.233/86400
c Decision: 59191/360557	Time: 555.879/86400
c Decision: 59200/360557	Time: 570.108/86400
c Decision: 59200/360557	Time: 578.267/86400
c Decision: 59200/360557	Time: 586.657/86400
c Decision: 59200/360557	Time: 596.484/86400
c Decision: 59200/360557	Time: 605.37/86400
c Decision: 59200/360557	Time: 614.204/86400
c Decision: 59200/360557	Time: 623.005/86400
c Decision: 59200/360557	Time: 632.842/86400
c Decision: 59200/360557	Time: 642.642/86400
c Decision: 59200/360557	Time: 650.773/86400
c Decision: 59200/360557	Time: 659.113/86400
c Decision: 59200/360557	Time: 668.532/86400
c Decision: 59200/360557	Time: 676.745/86400
c Decision: 59200/360557	Time: 686.464/86400
c Decision: 59200/360557	Time: 700.252/86400
c Decision: 59214/360557	Time: 711.353/86400
c Decision: 59229/360557	Time: 735.742/86400
c Decision: 59229/360557	Time: 746.307/86400
c Decision: 59232/360557	Time: 763.142/86400
c Decision: 59232/360557	Time: 772.915/86400
c Decision: 59232/360557	Time: 783.674/86400
c Decision: 59234/360557	Time: 791.044/86400
c Decision: 59234/360557	Time: 799.324/86400
c Decision: 59241/360557	Time: 816.119/86400
c Decision: 59241/360557	Time: 827.363/86400
c Decision: 59241/360557	Time: 838.347/86400
c Decision: 59241/360557	Time: 846.733/86400
c Decision: 59241/360557	Time: 857.359/86400
c Decision: 59241/360557	Time: 869.074/86400
c Decision: 59244/360557	Time: 884.738/86400
c Decision: 59244/360557	Time: 893.488/86400
c Decision: 59256/360557	Time: 902.224/86400
c Decision: 59256/360557	Time: 911.476/86400
c Decision: 59268/360557	Time: 925.767/86400
c Decision: 59276/360557	Time: 946.935/86400
c Decision: 59276/360557	Time: 956.392/86400
c Decision: 59276/360557	Time: 965.672/86400
c Decision: 59276/360557	Time: 974.713/86400
c Decision: 59276/360557	Time: 985.189/86400
c Decision: 59298/360557	Time: 998.775/86400
c Decision: 59298/360557	Time: 1008.6/86400
c Decision: 59327/360557	Time: 1025.93/86400
c Decision: 59353/360557	Time: 1047.91/86400
c Decision: 59353/360557	Time: 1058.31/86400
c Decision: 59353/360557	Time: 1066.11/86400
c Decision: 59353/360557	Time: 1074.53/86400
c Decision: 59353/360557	Time: 1083.03/86400
c Decision: 59353/360557	Time: 1091.9/86400
c Decision: 59353/360557	Time: 1103.69/86400
c Decision: 59353/360557	Time: 1113.87/86400
c Decision: 59353/360557	Time: 1124.47/86400
c Decision: 59353/360557	Time: 1136.56/86400
c Decision: 59353/360557	Time: 1145.83/86400
c Decision: 59356/360557	Time: 1164.83/86400
c Decision: 59356/360557	Time: 1175.44/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.90 0.94 0.90 2/54 16337
Raw data (stat): 16337 (runsolver) R 16336 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971499796 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 25204 0 0 0 945 53 0 0 25 0 1 0 971499796 77410304 14248 4294967295 134512640 135730672 3221224576 3221172164 134612319 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18899 14248 301 301 0 18598 0
vsize: 75596
[startup+20.001 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 48944 0 0 0 1891 106 0 0 25 0 1 0 971499796 152932352 26373 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37337 26373 301 301 0 37036 0
vsize: 149348
[startup+30.0025 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 49472 0 0 0 2890 107 0 0 25 0 1 0 971499796 155119616 26901 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37871 26901 301 301 0 37570 0
vsize: 151484
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 50943 0 0 0 3885 112 0 0 25 0 1 0 971499796 158892032 27667 4294967295 134512640 135730672 3221224576 3221223144 134740378 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38792 27667 301 301 0 38491 0
vsize: 155168
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 52190 0 0 0 4880 117 0 0 25 0 1 0 971499796 161275904 28209 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39374 28209 301 301 0 39073 0
vsize: 157496
[startup+60.0034 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 52506 0 0 0 5878 120 0 0 25 0 1 0 971499796 162660352 28525 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39712 28525 301 301 0 39411 0
vsize: 158848
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 52611 0 0 0 6876 122 0 0 25 0 1 0 971499796 163135488 28630 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39828 28630 301 301 0 39527 0
vsize: 159312
[startup+80.0045 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 52710 0 0 0 7874 124 0 0 25 0 1 0 971499796 163627008 28729 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39948 28729 301 301 0 39647 0
vsize: 159792
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 53537 0 0 0 8871 127 0 0 25 0 1 0 971499796 164151296 28851 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40076 28851 301 301 0 39775 0
vsize: 160304
[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 54318 0 0 0 9868 130 0 0 25 0 1 0 971499796 164511744 28927 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40164 28927 301 301 0 39863 0
vsize: 160656
[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 55063 0 0 0 10865 134 0 0 25 0 1 0 971499796 164675584 28967 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40204 28967 301 301 0 39903 0
vsize: 160816
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 55813 0 0 0 11861 137 0 0 25 0 1 0 971499796 164839424 29012 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40244 29012 301 301 0 39943 0
vsize: 160976
[startup+130.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 56538 0 0 0 12858 140 0 0 25 0 1 0 971499796 164839424 29032 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40244 29032 301 301 0 39943 0
vsize: 160976
[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 57378 0 0 0 13854 145 0 0 25 0 1 0 971499796 165494784 29167 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40404 29167 301 301 0 40103 0
vsize: 161616
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 57482 0 0 0 14851 148 0 0 25 0 1 0 971499796 165986304 29271 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40524 29271 301 301 0 40223 0
vsize: 162096
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 58288 0 0 0 15847 152 0 0 25 0 1 0 971499796 166346752 29372 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40612 29372 301 301 0 40311 0
vsize: 162448
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 58319 0 0 0 16845 154 0 0 25 0 1 0 971499796 166510592 29403 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40652 29403 301 301 0 40351 0
vsize: 162608
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 58345 0 0 0 17843 157 0 0 25 0 1 0 971499796 166510592 29429 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40652 29429 301 301 0 40351 0
vsize: 162608
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 59081 0 0 0 18840 160 0 0 25 0 1 0 971499796 166707200 29460 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40700 29460 301 301 0 40399 0
vsize: 162800
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 59830 0 0 0 19836 164 0 0 25 0 1 0 971499796 166903808 29504 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40748 29504 301 301 0 40447 0
vsize: 162992
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 60552 0 0 0 20831 169 0 0 25 0 1 0 971499796 166903808 29521 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40748 29521 301 301 0 40447 0
vsize: 162992
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 60595 0 0 0 21828 172 0 0 25 0 1 0 971499796 166903808 29564 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40748 29564 301 301 0 40447 0
vsize: 162992
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 60645 0 0 0 22825 175 0 0 25 0 1 0 971499796 167067648 29614 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40788 29614 301 301 0 40487 0
vsize: 163152
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 61454 0 0 0 23820 180 0 0 25 0 1 0 971499796 170512384 30423 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41629 30423 301 301 0 41328 0
vsize: 166516
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 61486 0 0 0 24818 183 0 0 25 0 1 0 971499796 167624704 29750 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40924 29750 301 301 0 40623 0
vsize: 163696
[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 62222 0 0 0 25813 188 0 0 25 0 1 0 971499796 167624704 29781 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40924 29781 301 301 0 40623 0
vsize: 163696
[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 62949 0 0 0 26810 191 0 0 25 0 1 0 971499796 167788544 29803 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40964 29803 301 301 0 40663 0
vsize: 163856
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 63676 0 0 0 27805 195 0 0 25 0 1 0 971499796 167788544 29825 4294967295 134512640 135730672 3221224576 3221223088 134745785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40964 29825 301 301 0 40663 0
vsize: 163856
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 65119 0 0 0 28801 200 0 0 25 0 1 0 971499796 167788544 29858 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40964 29858 301 301 0 40663 0
vsize: 163856
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 65862 0 0 0 29797 203 0 0 25 0 1 0 971499796 167985152 29896 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 29896 301 301 0 40711 0
vsize: 164048
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 66576 0 0 0 30794 207 0 0 25 0 1 0 971499796 167985152 29905 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 29905 301 301 0 40711 0
vsize: 164048
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 67316 0 0 0 31790 211 0 0 25 0 1 0 971499796 167985152 29940 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 29940 301 301 0 40711 0
vsize: 164048
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 68747 0 0 0 32785 216 0 0 25 0 1 0 971499796 167985152 29961 4294967295 134512640 135730672 3221224576 3221223072 134747802 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 29961 301 301 0 40711 0
vsize: 164048
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 68776 0 0 0 33783 218 0 0 25 0 1 0 971499796 167985152 29990 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 29990 301 301 0 40711 0
vsize: 164048
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 69519 0 0 0 34780 222 0 0 25 0 1 0 971499796 167985152 30028 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 30028 301 301 0 40711 0
vsize: 164048
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 70275 0 0 0 35776 225 0 0 25 0 1 0 971499796 168148992 30079 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41052 30079 301 301 0 40751 0
vsize: 164208
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 71015 0 0 0 36773 229 0 0 25 0 1 0 971499796 168312832 30114 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41092 30114 301 301 0 40791 0
vsize: 164368
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 71752 0 0 0 37769 233 0 0 25 0 1 0 971499796 168312832 30146 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41092 30146 301 301 0 40791 0
vsize: 164368
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 72473 0 0 0 38766 236 0 0 25 0 1 0 971499796 168312832 30162 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41092 30162 301 301 0 40791 0
vsize: 164368
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 73897 0 0 0 39761 241 0 0 25 0 1 0 971499796 168312832 30176 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41092 30176 301 301 0 40791 0
vsize: 164368
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 74670 0 0 0 40758 245 0 0 25 0 1 0 971499796 168611840 30244 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41165 30244 301 301 0 40864 0
vsize: 164660
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 75413 0 0 0 41754 249 0 0 25 0 1 0 971499796 168611840 30282 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41165 30282 301 301 0 40864 0
vsize: 164660
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 76864 0 0 0 42749 255 0 0 25 0 1 0 971499796 171696128 31028 4294967295 134512640 135730672 3221224576 3221222724 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41918 31028 301 301 0 41617 0
vsize: 167672
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 76891 0 0 0 43746 257 0 0 25 0 1 0 971499796 168808448 30350 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41213 30350 301 301 0 40912 0
vsize: 164852
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 77614 0 0 0 44742 261 0 0 25 0 1 0 971499796 168808448 30368 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41213 30368 301 301 0 40912 0
vsize: 164852
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 78347 0 0 0 45738 266 0 0 25 0 1 0 971499796 168808448 30396 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41213 30396 301 301 0 40912 0
vsize: 164852
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 79787 0 0 0 46735 270 0 0 25 0 1 0 971499796 171827200 31131 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41950 31131 301 301 0 41649 0
vsize: 167800
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 80523 0 0 0 47732 272 0 0 25 0 1 0 971499796 168939520 30457 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41245 30457 301 301 0 40944 0
vsize: 164980
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 80563 0 0 0 48730 275 0 0 25 0 1 0 971499796 169070592 30497 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41277 30497 301 301 0 40976 0
vsize: 165108
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 81352 0 0 0 49727 278 0 0 25 0 1 0 971499796 169259008 30581 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41323 30581 301 301 0 41022 0
vsize: 165292
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 81378 0 0 0 50725 280 0 0 25 0 1 0 971499796 169455616 30607 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41371 30607 301 301 0 41070 0
vsize: 165484
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 81393 0 0 0 51723 282 0 0 25 0 1 0 971499796 169455616 30622 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41371 30622 301 301 0 41070 0
vsize: 165484
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 82833 0 0 0 52718 287 0 0 25 0 1 0 971499796 169455616 30652 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41371 30652 301 301 0 41070 0
vsize: 165484
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 82880 0 0 0 53716 289 0 0 25 0 1 0 971499796 169590784 30699 4294967295 134512640 135730672 3221224576 3221223088 134746016 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41404 30699 301 301 0 41103 0
vsize: 165616
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 84315 0 0 0 54711 295 0 0 25 0 1 0 971499796 169590784 30724 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41404 30724 301 301 0 41103 0
vsize: 165616
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 85042 0 0 0 55708 298 0 0 25 0 1 0 971499796 169590784 30746 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41404 30746 301 301 0 41103 0
vsize: 165616
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 85089 0 0 0 56706 301 0 0 25 0 1 0 971499796 169738240 30793 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41440 30793 301 301 0 41139 0
vsize: 165760
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 85812 0 0 0 57702 304 0 0 25 0 1 0 971499796 169738240 30811 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41440 30811 301 301 0 41139 0
vsize: 165760
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 86545 0 0 0 58698 309 0 0 25 0 1 0 971499796 169873408 30839 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41473 30839 301 301 0 41172 0
vsize: 165892
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 87277 0 0 0 59694 313 0 0 25 0 1 0 971499796 169873408 30866 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41473 30866 301 301 0 41172 0
vsize: 165892
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 88010 0 0 0 60691 316 0 0 25 0 1 0 971499796 169873408 30894 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41473 30894 301 301 0 41172 0
vsize: 165892
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 88751 0 0 0 61688 319 0 0 25 0 1 0 971499796 170020864 30930 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41509 30930 301 301 0 41208 0
vsize: 166036
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 89482 0 0 0 62684 324 0 0 25 0 1 0 971499796 170020864 30956 4294967295 134512640 135730672 3221224576 3221223088 134745801 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41509 30956 301 301 0 41208 0
vsize: 166036
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 90906 0 0 0 63678 330 0 0 25 0 1 0 971499796 172908544 31675 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42214 31675 301 301 0 41913 0
vsize: 168856
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 91717 0 0 0 64674 334 0 0 25 0 1 0 971499796 170450944 31076 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41614 31076 301 301 0 41313 0
vsize: 166456
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 92454 0 0 0 65670 339 0 0 25 0 1 0 971499796 170450944 31108 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41614 31108 301 301 0 41313 0
vsize: 166456
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 93166 0 0 0 66666 342 0 0 25 0 1 0 971499796 170450944 31115 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41614 31115 301 301 0 41313 0
vsize: 166456
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 93900 0 0 0 67663 346 0 0 25 0 1 0 971499796 170582016 31144 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41646 31144 301 301 0 41345 0
vsize: 166584
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 94633 0 0 0 68659 350 0 0 25 0 1 0 971499796 170582016 31172 4294967295 134512640 135730672 3221224576 3221223072 134747805 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41646 31172 301 301 0 41345 0
vsize: 166584
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 95408 0 0 0 69655 354 0 0 25 0 1 0 971499796 170737664 31242 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41684 31242 301 301 0 41383 0
vsize: 166736
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 96350 0 0 0 70652 358 0 0 25 0 1 0 971499796 171880448 31479 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41963 31479 301 301 0 41662 0
vsize: 167852
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 97085 0 0 0 71649 360 0 0 25 0 1 0 971499796 171880448 31509 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41963 31509 301 301 0 41662 0
vsize: 167852
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 97804 0 0 0 72645 364 0 0 25 0 1 0 971499796 172077056 31523 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42011 31523 301 301 0 41710 0
vsize: 168044
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 97906 0 0 0 73643 367 0 0 25 0 1 0 971499796 172453888 31625 4294967295 134512640 135730672 3221224576 3221223072 134747939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42103 31625 301 301 0 41802 0
vsize: 168412
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 97936 0 0 0 74640 370 0 0 25 0 1 0 971499796 172453888 31655 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42103 31655 301 301 0 41802 0
vsize: 168412
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 98666 0 0 0 75637 373 0 0 25 0 1 0 971499796 172650496 31680 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42151 31680 301 301 0 41850 0
vsize: 168604
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 99396 0 0 0 76633 377 0 0 25 0 1 0 971499796 172650496 31705 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42151 31705 301 301 0 41850 0
vsize: 168604
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 100191 0 0 0 77629 381 0 0 25 0 1 0 971499796 172982272 31795 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42232 31795 301 301 0 41931 0
vsize: 168928
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 100953 0 0 0 78627 384 0 0 25 0 1 0 971499796 173314048 31852 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42313 31852 301 301 0 42012 0
vsize: 169252
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 101330 0 0 0 79624 387 0 0 25 0 1 0 971499796 177184768 32229 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43258 32237 301 301 0 42957 0
vsize: 173032
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 102586 0 0 0 80621 391 0 0 25 0 1 0 971499796 174297088 32075 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42553 32075 301 301 0 42252 0
vsize: 170212
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 103312 0 0 0 81618 394 0 0 25 0 1 0 971499796 174297088 32096 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42553 32096 301 301 0 42252 0
vsize: 170212
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 103339 0 0 0 82616 396 0 0 25 0 1 0 971499796 174297088 32123 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42553 32123 301 301 0 42252 0
vsize: 170212
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 104061 0 0 0 83613 399 0 0 25 0 1 0 971499796 174297088 32140 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42553 32140 301 301 0 42252 0
vsize: 170212
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 104793 0 0 0 84609 403 0 0 25 0 1 0 971499796 174493696 32167 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32167 301 301 0 42300 0
vsize: 170404
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 105512 0 0 0 85605 407 0 0 25 0 1 0 971499796 174493696 32181 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32181 301 301 0 42300 0
vsize: 170404
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 106247 0 0 0 86603 410 0 0 25 0 1 0 971499796 174493696 32211 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32211 301 301 0 42300 0
vsize: 170404
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 106965 0 0 0 87599 414 0 0 25 0 1 0 971499796 174493696 32224 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32224 301 301 0 42300 0
vsize: 170404
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 107677 0 0 0 88597 416 0 0 25 0 1 0 971499796 174493696 32231 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32231 301 301 0 42300 0
vsize: 170404
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 107683 0 0 0 89594 419 0 0 25 0 1 0 971499796 174493696 32237 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32237 301 301 0 42300 0
vsize: 170404
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 109118 0 0 0 90589 424 0 0 25 0 1 0 971499796 177381376 32967 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43306 32967 301 301 0 43005 0
vsize: 173224
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 109838 0 0 0 91586 428 0 0 25 0 1 0 971499796 174493696 32277 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32277 301 301 0 42300 0
vsize: 170404
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 110558 0 0 0 92583 431 0 0 25 0 1 0 971499796 174493696 32292 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32292 301 301 0 42300 0
vsize: 170404
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 110622 0 0 0 93581 433 0 0 25 0 1 0 971499796 174886912 32356 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42697 32356 301 301 0 42396 0
vsize: 170788
[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 111331 0 0 0 94578 436 0 0 25 0 1 0 971499796 174886912 32360 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42697 32360 301 301 0 42396 0
vsize: 170788
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 111509 0 0 0 95576 439 0 0 25 0 1 0 971499796 175869952 32538 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42937 32538 301 301 0 42636 0
vsize: 171748
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 112271 0 0 0 96572 442 0 0 25 0 1 0 971499796 176066560 32595 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32595 301 301 0 42684 0
vsize: 171940
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 112994 0 0 0 97569 446 0 0 25 0 1 0 971499796 176066560 32613 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32613 301 301 0 42684 0
vsize: 171940
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 113719 0 0 0 98565 451 0 0 25 0 1 0 971499796 176066560 32633 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32633 301 301 0 42684 0
vsize: 171940
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 114441 0 0 0 99561 454 0 0 25 0 1 0 971499796 176066560 32650 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32650 301 301 0 42684 0
vsize: 171940
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 115164 0 0 0 100558 458 0 0 25 0 1 0 971499796 176066560 32668 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32668 301 301 0 42684 0
vsize: 171940
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 115883 0 0 0 101554 462 0 0 25 0 1 0 971499796 176066560 32682 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32682 301 301 0 42684 0
vsize: 171940
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 116603 0 0 0 102551 465 0 0 25 0 1 0 971499796 176066560 32697 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32697 301 301 0 42684 0
vsize: 171940
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 116621 0 0 0 103548 468 0 0 25 0 1 0 971499796 176066560 32715 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32715 301 301 0 42684 0
vsize: 171940
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 117359 0 0 0 104544 472 0 0 25 0 1 0 971499796 176263168 32748 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32748 301 301 0 42732 0
vsize: 172132
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 117379 0 0 0 105542 475 0 0 25 0 1 0 971499796 176263168 32768 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32768 301 301 0 42732 0
vsize: 172132
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 118099 0 0 0 106539 478 0 0 25 0 1 0 971499796 176263168 32783 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32783 301 301 0 42732 0
vsize: 172132
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 118812 0 0 0 107536 481 0 0 25 0 1 0 971499796 176263168 32791 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32791 301 301 0 42732 0
vsize: 172132
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 119524 0 0 0 108532 485 0 0 25 0 1 0 971499796 176263168 32798 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32798 301 301 0 42732 0
vsize: 172132
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 121011 0 0 0 109528 489 0 0 25 0 1 0 971499796 176459776 32875 4294967295 134512640 135730672 3221224576 3221222992 134741733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43081 32875 301 301 0 42780 0
vsize: 172324
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 121744 0 0 0 110525 492 0 0 25 0 1 0 971499796 176459776 32903 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43081 32903 301 301 0 42780 0
vsize: 172324
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 122501 0 0 0 111522 496 0 0 25 0 1 0 971499796 176656384 32955 4294967295 134512640 135730672 3221224576 3221223200 134783317 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43129 32955 301 301 0 42828 0
vsize: 172516
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 122536 0 0 0 112520 498 0 0 25 0 1 0 971499796 176852992 32990 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43177 32990 301 301 0 42876 0
vsize: 172708
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 123287 0 0 0 113516 502 0 0 25 0 1 0 971499796 176852992 33036 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43177 33036 301 301 0 42876 0
vsize: 172708
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 124035 0 0 0 114513 505 0 0 25 0 1 0 971499796 177049600 33079 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43225 33079 301 301 0 42924 0
vsize: 172900
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 124805 0 0 0 115510 509 0 0 25 0 1 0 971499796 177442816 33144 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43321 33144 301 301 0 43020 0
vsize: 173284
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 125547 0 0 0 116507 512 0 0 25 0 1 0 971499796 177639424 33181 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43369 33181 301 301 0 43068 0
vsize: 173476
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 126293 0 0 0 117503 516 0 0 25 0 1 0 971499796 180527104 33927 4294967295 134512640 135730672 3221224576 3221222752 134768813 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44074 33927 301 301 0 43773 0
vsize: 176296
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 126391 0 0 0 118501 518 0 0 25 0 1 0 971499796 178229248 33320 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43513 33320 301 301 0 43212 0
vsize: 174052
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16337
Raw data (stat): 16337 (pb2sat-v2) R 16336 7266 7265 0 -1 0 127161 0 0 0 119497 523 0 0 25 0 1 0 971499796 178425856 33385 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43561 33385 301 301 0 43260 0
vsize: 174244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.98 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16337
Raw data (stat): 16337 (pb2sat-v2) Z 16336 7266 7265 0 -1 12 127163 0 0 0 119583 529 0 0 25 0 1 0 971499796 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.98
CPU time (s): 1201.13
CPU user time (s): 1195.83
CPU system time (s): 5.29619
CPU usage (%): 100.013
Max. virtual memory (Kb): 176296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####