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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370b.opb
MD5SUM	10d985feb1b2e2f9239f0fbace6cd870
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39138571845
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39138571845
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.960853
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 40451

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 10:56:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28517 boxname=wulflinc3 idbench=1473 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  10d985feb1b2e2f9239f0fbace6cd870  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n370b.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n370b.opb
IDLAUNCH: 28517
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        873136 kB
Buffers:          5084 kB
Cached:         135684 kB
SwapCached:        808 kB
Active:          36952 kB
Inactive:       105916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        872884 kB
SwapTotal:     2097136 kB
SwapFree:      2095336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            12932 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:16:35 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28517 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.91 2/54 24923
Raw data (stat): 24923 (runsolver) R 24922 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901075446 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.0007 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 901075446 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 1400 0 0 0 1993 5 0 0 25 0 1 0 901075446 17039360 1320 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 1320 1111 63 0 4097 0
vsize: 16640
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 1650 0 0 0 2992 6 0 0 25 0 1 0 901075446 18178048 1570 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1570 1111 63 0 4375 0
vsize: 17752
[startup+40.0039 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 1892 0 0 0 3992 6 0 0 25 0 1 0 901075446 19165184 1812 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1812 1111 63 0 4616 0
vsize: 18716
[startup+50.0048 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 2139 0 0 0 4992 6 0 0 25 0 1 0 901075446 20152320 2059 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2059 1111 63 0 4857 0
vsize: 19680
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 2392 0 0 0 5991 7 0 0 25 0 1 0 901075446 21135360 2312 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2312 1111 63 0 5097 0
vsize: 20640
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 2639 0 0 0 6989 9 0 0 25 0 1 0 901075446 22114304 2559 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2559 1111 63 0 5336 0
vsize: 21596
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 2887 0 0 0 7989 9 0 0 25 0 1 0 901075446 23240704 2807 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2807 1111 63 0 5611 0
vsize: 22696
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 3134 0 0 0 8988 10 0 0 25 0 1 0 901075446 24227840 3054 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3054 1111 63 0 5852 0
vsize: 23660
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 3382 0 0 0 9988 11 0 0 25 0 1 0 901075446 25214976 3302 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3302 1111 63 0 6093 0
vsize: 24624
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 3630 0 0 0 10988 11 0 0 25 0 1 0 901075446 26202112 3550 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3550 1111 63 0 6334 0
vsize: 25588
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 3885 0 0 0 11987 12 0 0 25 0 1 0 901075446 27348992 3805 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3805 1111 63 0 6614 0
vsize: 26708
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 4133 0 0 0 12987 12 0 0 25 0 1 0 901075446 28336128 4053 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4053 1111 63 0 6855 0
vsize: 27672
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 4387 0 0 0 13986 13 0 0 25 0 1 0 901075446 29315072 4307 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4307 1111 63 0 7094 0
vsize: 28628
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 4636 0 0 0 14986 14 0 0 25 0 1 0 901075446 30302208 4556 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 4556 1111 63 0 7335 0
vsize: 29592
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 4890 0 0 0 15985 14 0 0 25 0 1 0 901075446 31428608 4810 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 4810 1111 63 0 7610 0
vsize: 30692
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 5139 0 0 0 16985 15 0 0 25 0 1 0 901075446 32415744 5059 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5059 1111 63 0 7851 0
vsize: 31656
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 5388 0 0 0 17983 17 0 0 25 0 1 0 901075446 33402880 5308 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5308 1111 63 0 8092 0
vsize: 32620
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 5643 0 0 0 18982 18 0 0 25 0 1 0 901075446 34529280 5563 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5563 1111 63 0 8367 0
vsize: 33720
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 5897 0 0 0 19981 19 0 0 25 0 1 0 901075446 35516416 5817 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5817 1111 63 0 8608 0
vsize: 34684
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24923
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 6144 0 0 0 20980 20 0 0 25 0 1 0 901075446 36495360 6064 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 6064 1111 63 0 8847 0
vsize: 35640
[startup+220.015 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 24976
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 6404 0 0 0 21974 25 0 0 25 0 1 0 901075446 37625856 6324 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9186 6324 1111 63 0 9123 0
vsize: 36744
[startup+230.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 24976
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 6671 0 0 0 22974 26 0 0 25 0 1 0 901075446 38760448 6591 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6591 1111 63 0 9400 0
vsize: 37852
[startup+240.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 24976
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 6926 0 0 0 23974 26 0 0 25 0 1 0 901075446 39747584 6846 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9704 6846 1111 63 0 9641 0
vsize: 38816
[startup+250.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 24976
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 7188 0 0 0 24974 27 0 0 25 0 1 0 901075446 40878080 7108 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9980 7108 1111 63 0 9917 0
vsize: 39920
[startup+260.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 24976
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 7450 0 0 0 25974 27 0 0 25 0 1 0 901075446 41861120 7370 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10220 7370 1111 63 0 10157 0
vsize: 40880
[startup+270.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24976
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 7705 0 0 0 26974 27 0 0 25 0 1 0 901075446 42987520 7625 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7625 1111 63 0 10432 0
vsize: 41980
[startup+280.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 7968 0 0 0 27973 27 0 0 25 0 1 0 901075446 43974656 7888 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10736 7888 1111 63 0 10673 0
vsize: 42944
[startup+290.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 8223 0 0 0 28973 28 0 0 25 0 1 0 901075446 45096960 8143 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11010 8143 1111 63 0 10947 0
vsize: 44040
[startup+300.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 8483 0 0 0 29973 28 0 0 25 0 1 0 901075446 46084096 8403 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11251 8403 1111 63 0 11188 0
vsize: 45004
[startup+310.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 8746 0 0 0 30973 29 0 0 25 0 1 0 901075446 47210496 8666 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11526 8666 1111 63 0 11463 0
vsize: 46104
[startup+320.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 9008 0 0 0 31972 29 0 0 25 0 1 0 901075446 48336896 8928 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11801 8928 1111 63 0 11738 0
vsize: 47204
[startup+330.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 9270 0 0 0 32972 30 0 0 25 0 1 0 901075446 49324032 9190 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12042 9190 1111 63 0 11979 0
vsize: 48168
[startup+340.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 9533 0 0 0 33972 30 0 0 25 0 1 0 901075446 50450432 9453 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12317 9453 1111 63 0 12254 0
vsize: 49268
[startup+350.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 9794 0 0 0 34971 31 0 0 25 0 1 0 901075446 51437568 9714 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12558 9714 1111 63 0 12495 0
vsize: 50232
[startup+360.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 10063 0 0 0 35971 31 0 0 25 0 1 0 901075446 52563968 9983 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12833 9983 1111 63 0 12770 0
vsize: 51332
[startup+370.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 10325 0 0 0 36971 32 0 0 25 0 1 0 901075446 53690368 10245 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13108 10245 1111 63 0 13045 0
vsize: 52432
[startup+380.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 10594 0 0 0 37971 32 0 0 25 0 1 0 901075446 54816768 10514 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13383 10514 1111 63 0 13320 0
vsize: 53532
[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 10855 0 0 0 38970 32 0 0 25 0 1 0 901075446 55799808 10775 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13623 10775 1111 63 0 13560 0
vsize: 54492
[startup+400.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 11117 0 0 0 39970 33 0 0 25 0 1 0 901075446 56926208 11037 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13898 11037 1111 63 0 13835 0
vsize: 55592
[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 11385 0 0 0 40970 33 0 0 25 0 1 0 901075446 58052608 11305 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14173 11305 1111 63 0 14110 0
vsize: 56692
[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 11653 0 0 0 41970 34 0 0 25 0 1 0 901075446 59039744 11573 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14414 11573 1111 63 0 14351 0
vsize: 57656
[startup+430.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 11915 0 0 0 42969 34 0 0 25 0 1 0 901075446 60166144 11835 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14689 11835 1111 63 0 14626 0
vsize: 58756
[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 12207 0 0 0 43969 35 0 0 25 0 1 0 901075446 61513728 12127 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15018 12127 1111 63 0 14955 0
vsize: 60072
[startup+450.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 12471 0 0 0 44969 35 0 0 25 0 1 0 901075446 62496768 12391 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15258 12391 1111 63 0 15195 0
vsize: 61032
[startup+460.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 12746 0 0 0 45968 36 0 0 25 0 1 0 901075446 63623168 12666 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15533 12666 1111 63 0 15470 0
vsize: 62132
[startup+470.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 13014 0 0 0 46968 37 0 0 25 0 1 0 901075446 64753664 12934 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15809 12934 1111 63 0 15746 0
vsize: 63236
[startup+480.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 13284 0 0 0 47967 37 0 0 25 0 1 0 901075446 65880064 13204 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16084 13204 1111 63 0 16021 0
vsize: 64336
[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 13553 0 0 0 48967 38 0 0 25 0 1 0 901075446 67006464 13473 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16359 13473 1111 63 0 16296 0
vsize: 65436
[startup+500.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 13823 0 0 0 49967 39 0 0 25 0 1 0 901075446 68124672 13743 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16632 13743 1111 63 0 16569 0
vsize: 66528
[startup+510.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 14097 0 0 0 50966 39 0 0 25 0 1 0 901075446 69251072 14017 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16907 14017 1111 63 0 16844 0
vsize: 67628
[startup+520.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 14372 0 0 0 51966 39 0 0 25 0 1 0 901075446 70381568 14292 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17183 14292 1111 63 0 17120 0
vsize: 68732
[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 14641 0 0 0 52966 40 0 0 25 0 1 0 901075446 71368704 14561 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17424 14561 1111 63 0 17361 0
vsize: 69696
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24978
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 14917 0 0 0 53966 40 0 0 25 0 1 0 901075446 72495104 14837 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17699 14837 1111 63 0 17636 0
vsize: 70796
[startup+550.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 15187 0 0 0 54966 40 0 0 25 0 1 0 901075446 73621504 15107 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17974 15107 1111 63 0 17911 0
vsize: 71896
[startup+560.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 15463 0 0 0 55966 40 0 0 25 0 1 0 901075446 74747904 15383 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18249 15383 1111 63 0 18186 0
vsize: 72996
[startup+570.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 15738 0 0 0 56965 41 0 0 25 0 1 0 901075446 75874304 15658 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18524 15658 1111 63 0 18461 0
vsize: 74096
[startup+580.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 16014 0 0 0 57965 42 0 0 25 0 1 0 901075446 77000704 15934 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18799 15934 1111 63 0 18736 0
vsize: 75196
[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 16297 0 0 0 58964 42 0 0 25 0 1 0 901075446 78127104 16217 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19074 16217 1111 63 0 19011 0
vsize: 76296
[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 16573 0 0 0 59964 42 0 0 25 0 1 0 901075446 79253504 16493 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 16493 1111 63 0 19286 0
vsize: 77396
[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 16855 0 0 0 60964 43 0 0 25 0 1 0 901075446 80519168 16775 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19658 16775 1111 63 0 19595 0
vsize: 78632
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 17131 0 0 0 61964 43 0 0 25 0 1 0 901075446 81645568 17051 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19933 17051 1111 63 0 19870 0
vsize: 79732
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 17407 0 0 0 62964 44 0 0 25 0 1 0 901075446 82776064 17327 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20209 17327 1111 63 0 20146 0
vsize: 80836
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 17690 0 0 0 63964 44 0 0 25 0 1 0 901075446 83902464 17610 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20484 17610 1111 63 0 20421 0
vsize: 81936
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 17973 0 0 0 64964 44 0 0 25 0 1 0 901075446 85028864 17893 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20759 17893 1111 63 0 20696 0
vsize: 83036
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 18250 0 0 0 65963 45 0 0 25 0 1 0 901075446 86147072 18170 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21032 18170 1111 63 0 20969 0
vsize: 84128
[startup+670.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 18537 0 0 0 66962 46 0 0 25 0 1 0 901075446 87273472 18457 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21307 18457 1111 63 0 21244 0
vsize: 85228
[startup+680.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 18813 0 0 0 67962 46 0 0 25 0 1 0 901075446 88403968 18733 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21583 18733 1111 63 0 21520 0
vsize: 86332
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 19102 0 0 0 68961 47 0 0 25 0 1 0 901075446 89669632 19022 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21892 19022 1111 63 0 21829 0
vsize: 87568
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 19385 0 0 0 69961 48 0 0 25 0 1 0 901075446 90796032 19305 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22167 19305 1111 63 0 22104 0
vsize: 88668
[startup+710.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 19668 0 0 0 70961 48 0 0 25 0 1 0 901075446 91922432 19588 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22442 19588 1111 63 0 22379 0
vsize: 89768
[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 19956 0 0 0 71960 49 0 0 25 0 1 0 901075446 93188096 19876 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22751 19876 1111 63 0 22688 0
vsize: 91004
[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 20240 0 0 0 72960 49 0 0 25 0 1 0 901075446 94314496 20160 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23026 20160 1111 63 0 22963 0
vsize: 92104
[startup+740.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 20523 0 0 0 73960 50 0 0 25 0 1 0 901075446 95444992 20443 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 20443 1111 63 0 23239 0
vsize: 93208
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 20813 0 0 0 74960 50 0 0 25 0 1 0 901075446 96571392 20733 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23577 20733 1111 63 0 23514 0
vsize: 94308
[startup+760.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 21102 0 0 0 75960 50 0 0 25 0 1 0 901075446 97837056 21022 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23886 21022 1111 63 0 23823 0
vsize: 95544
[startup+770.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 21391 0 0 0 76960 51 0 0 25 0 1 0 901075446 98963456 21311 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24161 21311 1111 63 0 24098 0
vsize: 96644
[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 21682 0 0 0 77960 51 0 0 25 0 1 0 901075446 100229120 21602 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24470 21602 1111 63 0 24407 0
vsize: 97880
[startup+790.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 21971 0 0 0 78960 51 0 0 25 0 1 0 901075446 101355520 21891 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24745 21891 1111 63 0 24682 0
vsize: 98980
[startup+800.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 22261 0 0 0 79960 51 0 0 25 0 1 0 901075446 102481920 22181 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25020 22181 1111 63 0 24957 0
vsize: 100080
[startup+810.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 22550 0 0 0 80959 52 0 0 25 0 1 0 901075446 103751680 22470 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25330 22470 1111 63 0 25267 0
vsize: 101320
[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 22845 0 0 0 81959 52 0 0 25 0 1 0 901075446 104878080 22765 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25605 22765 1111 63 0 25542 0
vsize: 102420
[startup+830.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 23174 0 0 0 82959 53 0 0 25 0 1 0 901075446 106504192 23094 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26002 23094 1111 63 0 25939 0
vsize: 104008
[startup+840.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 23463 0 0 0 83958 53 0 0 25 0 1 0 901075446 107769856 23383 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26311 23383 1111 63 0 26248 0
vsize: 105244
[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 23754 0 0 0 84958 54 0 0 25 0 1 0 901075446 108896256 23674 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26586 23674 1111 63 0 26523 0
vsize: 106344
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 24050 0 0 0 85958 54 0 0 25 0 1 0 901075446 110166016 23970 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26896 23970 1111 63 0 26833 0
vsize: 107584
[startup+870.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 24346 0 0 0 86958 54 0 0 25 0 1 0 901075446 111292416 24266 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27171 24266 1111 63 0 27108 0
vsize: 108684
[startup+880.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 24642 0 0 0 87958 54 0 0 25 0 1 0 901075446 112558080 24562 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27480 24562 1111 63 0 27417 0
vsize: 109920
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 24938 0 0 0 88958 55 0 0 25 0 1 0 901075446 113684480 24858 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27755 24858 1111 63 0 27692 0
vsize: 111020
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 25236 0 0 0 89958 55 0 0 25 0 1 0 901075446 114954240 25156 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28065 25156 1111 63 0 28002 0
vsize: 112260
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 25532 0 0 0 90957 55 0 0 25 0 1 0 901075446 116219904 25452 4294967295 134512640 134716908 3221224576 3221222664 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28374 25452 1111 63 0 28311 0
vsize: 113496
[startup+920.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 25836 0 0 0 91957 56 0 0 25 0 1 0 901075446 117346304 25756 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 25756 1111 63 0 28586 0
vsize: 114596
[startup+930.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 26131 0 0 0 92957 57 0 0 25 0 1 0 901075446 118616064 26051 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28959 26051 1111 63 0 28896 0
vsize: 115836
[startup+940.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 26429 0 0 0 93957 57 0 0 25 0 1 0 901075446 119881728 26349 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29268 26349 1111 63 0 29205 0
vsize: 117072
[startup+950.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 26732 0 0 0 94956 57 0 0 25 0 1 0 901075446 121008128 26652 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29543 26652 1111 63 0 29480 0
vsize: 118172
[startup+960.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 27034 0 0 0 95956 58 0 0 25 0 1 0 901075446 122273792 26954 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29852 26954 1111 63 0 29789 0
vsize: 119408
[startup+970.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 27338 0 0 0 96956 58 0 0 25 0 1 0 901075446 123539456 27258 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30161 27258 1111 63 0 30098 0
vsize: 120644
[startup+980.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 27641 0 0 0 97955 59 0 0 25 0 1 0 901075446 124809216 27561 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30471 27561 1111 63 0 30408 0
vsize: 121884
[startup+990.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 27946 0 0 0 98955 60 0 0 25 0 1 0 901075446 126074880 27866 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30780 27866 1111 63 0 30717 0
vsize: 123120
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 28248 0 0 0 99954 61 0 0 25 0 1 0 901075446 127201280 28168 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31055 28168 1111 63 0 30992 0
vsize: 124220
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 28559 0 0 0 100954 61 0 0 25 0 1 0 901075446 128466944 28479 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31364 28479 1111 63 0 31301 0
vsize: 125456
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 28869 0 0 0 101954 62 0 0 25 0 1 0 901075446 129732608 28789 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31673 28789 1111 63 0 31610 0
vsize: 126692
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 29172 0 0 0 102953 62 0 0 25 0 1 0 901075446 131002368 29092 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31983 29092 1111 63 0 31920 0
vsize: 127932
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 29477 0 0 0 103953 63 0 0 25 0 1 0 901075446 132276224 29397 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32294 29397 1111 63 0 32231 0
vsize: 129176
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 29786 0 0 0 104953 63 0 0 25 0 1 0 901075446 133541888 29706 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32603 29706 1111 63 0 32540 0
vsize: 130412
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 30096 0 0 0 105952 63 0 0 25 0 1 0 901075446 134807552 30016 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32912 30016 1111 63 0 32849 0
vsize: 131648
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 30406 0 0 0 106952 64 0 0 25 0 1 0 901075446 136077312 30326 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33222 30326 1111 63 0 33159 0
vsize: 132888
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 30717 0 0 0 107952 64 0 0 25 0 1 0 901075446 137342976 30637 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33531 30637 1111 63 0 33468 0
vsize: 134124
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 31033 0 0 0 108951 65 0 0 25 0 1 0 901075446 138608640 30953 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33840 30953 1111 63 0 33777 0
vsize: 135360
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 31344 0 0 0 109951 66 0 0 25 0 1 0 901075446 139874304 31264 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34149 31264 1111 63 0 34086 0
vsize: 136596
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 31654 0 0 0 110951 66 0 0 25 0 1 0 901075446 141144064 31574 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34459 31574 1111 63 0 34396 0
vsize: 137836
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 31970 0 0 0 111950 67 0 0 25 0 1 0 901075446 142409728 31890 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34768 31890 1111 63 0 34705 0
vsize: 139072
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 32288 0 0 0 112950 67 0 0 25 0 1 0 901075446 143814656 32208 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35111 32208 1111 63 0 35048 0
vsize: 140444
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 32604 0 0 0 113950 68 0 0 25 0 1 0 901075446 145084416 32524 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35421 32524 1111 63 0 35358 0
vsize: 141684
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 32922 0 0 0 114950 68 0 0 25 0 1 0 901075446 146350080 32842 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35730 32842 1111 63 0 35667 0
vsize: 142920
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 33238 0 0 0 115949 69 0 0 25 0 1 0 901075446 147619840 33158 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36040 33158 1111 63 0 35977 0
vsize: 144160
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 33557 0 0 0 116949 69 0 0 25 0 1 0 901075446 148885504 33477 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36349 33477 1111 63 0 36286 0
vsize: 145396
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 33874 0 0 0 117949 70 0 0 25 0 1 0 901075446 150298624 33794 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36694 33794 1111 63 0 36631 0
vsize: 146776
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 34193 0 0 0 118949 70 0 0 25 0 1 0 901075446 151564288 34113 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37003 34113 1111 63 0 36940 0
vsize: 148012
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) R 24922 20224 20223 0 -1 0 34509 0 0 0 119948 70 0 0 25 0 1 0 901075446 152829952 34429 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37312 34429 1111 63 0 37249 0
vsize: 149248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 24980
Raw data (stat): 24923 (bsolo_lpr-v2) Z 24922 20224 20223 0 -1 1036 34509 0 0 0 119948 77 0 0 25 0 1 0 901075446 0 0 4294967295 0 0 0 0 0 0 0 7 0 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 ended because it received signal 15 (SIGTERM)
Real time (s): 1200.11
CPU time (s): 1200.26
CPU user time (s): 1199.49
CPU system time (s): 0.770882
CPU usage (%): 100.012
Max. virtual memory (Kb): 149248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####