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/miplib3/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	fae1fae180d772ad3ee6c1acfa1c8b4f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	122
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	2000000
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	30041153
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2124
Total number of constraints	444
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	444
Minimum length of a constraint	8
Maximum length of a constraint	64
Trace number 26993

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 18:34:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18942 boxname=wulflinc20 idbench=1458 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fae1fae180d772ad3ee6c1acfa1c8b4f  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 18942
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        908160 kB
Buffers:          6696 kB
Cached:          98564 kB
SwapCached:        684 kB
Active:          18696 kB
Inactive:        88640 kB
HighTotal:      131008 kB
HighFree:        42924 kB
LowTotal:       903652 kB
LowFree:        865236 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            13244 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:53:37 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 18942 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1392 variables and 289 constraints.
c preprocess terminated 47.501 s
c Initial Lower Bound: 39
c Lower Bound Elapsed time: 0.185
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 s
#### 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
Raw data (loadavg): 0.85 0.97 0.96 2/54 29174
Raw data (stat): 29174 (runsolver) R 29173 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832432850 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 5952 0 0 0 982 15 0 0 25 0 1 0 832432850 27557888 5874 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6728 5874 1111 63 0 6665 0
vsize: 26912
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 6000 0 0 0 1981 15 0 0 25 0 1 0 832432850 27803648 5922 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 5922 1111 63 0 6725 0
vsize: 27152
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 6000 0 0 0 2981 16 0 0 25 0 1 0 832432850 27803648 5922 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 5922 1111 63 0 6725 0
vsize: 27152
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 6000 0 0 0 3980 16 0 0 25 0 1 0 832432850 27803648 5922 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6788 5922 1111 63 0 6725 0
vsize: 27152
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 6659 0 9 0 4907 20 0 0 25 0 1 0 832432850 27910144 6116 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6814 6116 1111 63 0 6751 0
vsize: 27256
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 8454 0 9 0 5902 26 0 0 25 0 1 0 832432850 28020736 6093 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6841 6093 1111 63 0 6778 0
vsize: 27364
[startup+70.0017 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 9750 0 9 0 6898 30 0 0 25 0 1 0 832432850 27803648 6093 4294967295 134512640 134714508 3221224592 3221222704 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6788 6093 1111 63 0 6725 0
vsize: 27152
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 10723 0 9 0 7895 33 0 0 25 0 1 0 832432850 27951104 6101 4294967295 134512640 134714508 3221224592 3221221504 1075116184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6824 6101 1111 63 0 6761 0
vsize: 27296
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 11792 0 9 0 8890 38 0 0 25 0 1 0 832432850 27938816 6096 4294967295 134512640 134714508 3221224592 3221222320 1075829509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6821 6096 1111 63 0 6758 0
vsize: 27284
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 13543 0 9 0 9884 44 0 0 25 0 1 0 832432850 27803648 6094 4294967295 134512640 134714508 3221224592 3221222944 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 15608 0 9 0 10878 50 0 0 25 0 1 0 832432850 28188672 6122 4294967295 134512640 134714508 3221224592 3221220752 1075090657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6882 6122 1111 63 0 6819 0
vsize: 27528
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 17722 0 9 0 11871 58 0 0 25 0 1 0 832432850 27873280 6101 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6805 6101 1111 63 0 6742 0
vsize: 27220
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 19829 0 9 0 12864 65 0 0 25 0 1 0 832432850 27803648 6094 4294967295 134512640 134714508 3221224592 3221222648 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 21905 0 9 0 13857 72 0 0 25 0 1 0 832432850 28028928 6107 4294967295 134512640 134714508 3221224592 3221221192 1075850799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 6107 1111 63 0 6780 0
vsize: 27372
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 23988 0 9 0 14850 79 0 0 25 0 1 0 832432850 27803648 6094 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6788 6094 1111 63 0 6725 0
vsize: 27152
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 25715 0 9 0 15843 86 0 0 25 0 1 0 832432850 27877376 6112 4294967295 134512640 134714508 3221224592 3221221696 1074138892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6806 6112 1111 63 0 6743 0
vsize: 27224
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 27367 0 9 0 16838 91 0 0 25 0 1 0 832432850 28221440 6135 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6890 6135 1111 63 0 6827 0
vsize: 27560
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 29258 0 9 0 17832 97 0 0 25 0 1 0 832432850 27840512 6103 4294967295 134512640 134714508 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6797 6103 1111 63 0 6734 0
vsize: 27188
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 31280 0 9 0 18827 103 0 0 25 0 1 0 832432850 27840512 6103 4294967295 134512640 134714508 3221224592 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6797 6103 1111 63 0 6734 0
vsize: 27188
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 32963 0 9 0 19820 110 0 0 25 0 1 0 832432850 28069888 6122 4294967295 134512640 134714508 3221224592 3221220752 1075093340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6853 6122 1111 63 0 6790 0
vsize: 27412
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 34963 0 9 0 20814 117 0 0 25 0 1 0 832432850 27906048 6112 4294967295 134512640 134714508 3221224592 3221222592 1074916962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6813 6112 1111 63 0 6750 0
vsize: 27252
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 36702 0 9 0 21807 124 0 0 25 0 1 0 832432850 27934720 6125 4294967295 134512640 134714508 3221224592 3221222448 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6820 6125 1111 63 0 6757 0
vsize: 27280
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 38029 0 9 0 22803 128 0 0 25 0 1 0 832432850 28106752 6142 4294967295 134512640 134714508 3221224592 3221220820 1075114960 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6862 6142 1111 63 0 6799 0
vsize: 27448
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 38938 0 9 0 23797 134 0 0 25 0 1 0 832432850 28110848 6130 4294967295 134512640 134714508 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6820 6129 1111 63 0 6757 0
vsize: 27452
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 40040 0 9 0 24793 139 0 0 25 0 1 0 832432850 27934720 6129 4294967295 134512640 134714508 3221224592 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6820 6129 1111 63 0 6757 0
vsize: 27280
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 42931 0 9 0 25783 148 0 0 25 0 1 0 832432850 28385280 6170 4294967295 134512640 134714508 3221224592 3221220596 1074875760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6930 6170 1111 63 0 6867 0
vsize: 27720
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 45244 0 9 0 26776 156 0 0 25 0 1 0 832432850 28196864 6136 4294967295 134512640 134714508 3221224592 3221220588 1074788156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6884 6136 1111 63 0 6821 0
vsize: 27536
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 47661 0 9 0 27768 165 0 0 25 0 1 0 832432850 28127232 6176 4294967295 134512640 134714508 3221224592 3221222992 1074118870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6867 6176 1111 63 0 6804 0
vsize: 27468
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 50946 0 9 0 28758 175 0 0 25 0 1 0 832432850 28667904 6235 4294967295 134512640 134714508 3221224592 3221220540 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6999 6235 1111 63 0 6936 0
vsize: 27996
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 54186 0 9 0 29747 185 0 0 25 0 1 0 832432850 28282880 6214 4294967295 134512640 134714508 3221224592 3221223216 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6905 6214 1111 63 0 6842 0
vsize: 27620
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 57305 0 9 0 30737 195 0 0 25 0 1 0 832432850 28614656 6295 4294967295 134512640 134714508 3221224592 3221222832 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6986 6295 1111 63 0 6923 0
vsize: 27944
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 59933 0 9 0 31730 203 0 0 25 0 1 0 832432850 28758016 6303 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7021 6303 1111 63 0 6958 0
vsize: 28084
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 62246 0 9 0 32721 212 0 0 25 0 1 0 832432850 28745728 6323 4294967295 134512640 134714508 3221224592 3221221936 1074839067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7018 6323 1111 63 0 6955 0
vsize: 28072
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 64923 0 9 0 33712 221 0 0 25 0 1 0 832432850 29044736 6362 4294967295 134512640 134714508 3221224592 3221222256 1075828208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7091 6363 1111 63 0 7028 0
vsize: 28364
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 67754 0 9 0 34704 229 0 0 25 0 1 0 832432850 29007872 6393 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7082 6393 1111 63 0 7019 0
vsize: 28328
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 69958 0 9 0 35698 236 0 0 25 0 1 0 832432850 29040640 6401 4294967295 134512640 134714508 3221224592 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7090 6401 1111 63 0 7027 0
vsize: 28360
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 71869 0 9 0 36691 242 0 0 25 0 1 0 832432850 29351936 6411 4294967295 134512640 134714508 3221224592 3221221120 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7166 6411 1111 63 0 7103 0
vsize: 28664
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 73880 0 9 0 37685 249 0 0 25 0 1 0 832432850 29052928 6405 4294967295 134512640 134714508 3221224592 3221222992 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7093 6405 1111 63 0 7030 0
vsize: 28372
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 76196 0 9 0 38679 255 0 0 25 0 1 0 832432850 29347840 6396 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7165 6399 1111 63 0 7102 0
vsize: 28660
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 78770 0 9 0 39670 264 0 0 25 0 1 0 832432850 29163520 6403 4294967295 134512640 134714508 3221224592 3221222416 1075823521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7120 6403 1111 63 0 7057 0
vsize: 28480
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 82583 0 9 0 40661 274 0 0 25 0 1 0 832432850 29110272 6419 4294967295 134512640 134714508 3221224592 3221222824 1077377771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7107 6419 1111 63 0 7044 0
vsize: 28428
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 86574 0 9 0 41649 286 0 0 25 0 1 0 832432850 29052928 6405 4294967295 134512640 134714508 3221224592 3221222752 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7093 6405 1111 63 0 7030 0
vsize: 28372
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 90355 0 9 0 42639 296 0 0 25 0 1 0 832432850 29102080 6417 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7105 6417 1111 63 0 7042 0
vsize: 28420
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 93764 0 9 0 43628 307 0 0 25 0 1 0 832432850 29220864 6446 4294967295 134512640 134714508 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7134 6446 1111 63 0 7071 0
vsize: 28536
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 96871 0 9 0 44618 317 0 0 25 0 1 0 832432850 29220864 6446 4294967295 134512640 134714508 3221224592 3221222472 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7134 6446 1111 63 0 7071 0
vsize: 28536
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 99693 0 9 0 45610 326 0 0 25 0 1 0 832432850 29278208 6447 4294967295 134512640 134714508 3221224592 3221222592 1074916785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7148 6447 1111 63 0 7085 0
vsize: 28592
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 102255 0 9 0 46603 333 0 0 25 0 1 0 832432850 29245440 6452 4294967295 134512640 134714508 3221224592 3221222656 1075125360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7140 6452 1111 63 0 7077 0
vsize: 28560
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 104976 0 9 0 47594 342 0 0 25 0 1 0 832432850 29220864 6446 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7134 6446 1111 63 0 7071 0
vsize: 28536
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 107441 0 9 0 48587 349 0 0 25 0 1 0 832432850 29736960 6510 4294967295 134512640 134714508 3221224592 3221221248 1075966513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7260 6510 1111 63 0 7197 0
vsize: 29040
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 111217 0 9 0 49578 358 0 0 25 0 1 0 832432850 29413376 6493 4294967295 134512640 134714508 3221224592 3221221752 1074206175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7181 6493 1111 63 0 7118 0
vsize: 28724
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 113856 0 9 0 50570 367 0 0 25 0 1 0 832432850 29437952 6499 4294967295 134512640 134714508 3221224592 3221222360 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7187 6499 1111 63 0 7124 0
vsize: 28748
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 116684 0 9 0 51560 377 0 0 25 0 1 0 832432850 29556736 6528 4294967295 134512640 134714508 3221224592 3221222120 1077378451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7216 6528 1111 63 0 7153 0
vsize: 28864
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 120330 0 9 0 52549 388 0 0 25 0 1 0 832432850 30007296 6574 4294967295 134512640 134714508 3221224592 3221220736 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7326 6574 1111 63 0 7263 0
vsize: 29304
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 122936 0 9 0 53541 396 0 0 25 0 1 0 832432850 29921280 6573 4294967295 134512640 134714508 3221224592 3221222512 1075799727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6573 1111 63 0 7242 0
vsize: 29220
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 124906 0 9 0 54535 402 0 0 25 0 1 0 832432850 29843456 6598 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7286 6598 1111 63 0 7223 0
vsize: 29144
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 126836 0 9 0 55530 407 0 0 25 0 1 0 832432850 30191616 6621 4294967295 134512640 134714508 3221224592 3221221040 1075132636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7371 6621 1111 63 0 7308 0
vsize: 29484
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 129133 0 9 0 56522 415 0 0 25 0 1 0 832432850 30236672 6632 4294967295 134512640 134714508 3221224592 3221220556 1074860640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7382 6632 1111 63 0 7319 0
vsize: 29528
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 131204 0 9 0 57515 422 0 0 25 0 1 0 832432850 30003200 6637 4294967295 134512640 134714508 3221224592 3221222616 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7325 6637 1111 63 0 7262 0
vsize: 29300
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 133024 0 9 0 58509 429 0 0 25 0 1 0 832432850 30334976 6654 4294967295 134512640 134714508 3221224592 3221220720 1075561212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7406 6654 1111 63 0 7343 0
vsize: 29624
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 135456 0 9 0 59502 437 0 0 25 0 1 0 832432850 30314496 6678 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6678 1111 63 0 7338 0
vsize: 29604
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 138007 0 9 0 60494 444 0 0 25 0 1 0 832432850 30212096 6688 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7376 6688 1111 63 0 7313 0
vsize: 29504
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 139660 0 9 0 61490 449 0 0 25 0 1 0 832432850 30633984 6731 4294967295 134512640 134714508 3221224592 3221220824 1074878481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6731 1111 63 0 7416 0
vsize: 29916
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 142454 0 9 0 62483 456 0 0 25 0 1 0 832432850 30638080 6723 4294967295 134512640 134714508 3221224592 3221220596 1074875773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7480 6723 1111 63 0 7417 0
vsize: 29920
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 145061 0 9 0 63476 463 0 0 25 0 1 0 832432850 30900224 6775 4294967295 134512640 134714508 3221224592 3221220476 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7544 6775 1111 63 0 7481 0
vsize: 30176
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 147213 0 9 0 64470 469 0 0 25 0 1 0 832432850 30683136 6736 4294967295 134512640 134714508 3221224592 3221220912 1075116184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7491 6736 1111 63 0 7428 0
vsize: 29964
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 149733 0 9 0 65464 475 0 0 25 0 1 0 832432850 30310400 6712 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7400 6712 1111 63 0 7337 0
vsize: 29600
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 152341 0 9 0 66457 482 0 0 25 0 1 0 832432850 30576640 6744 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7465 6745 1111 63 0 7402 0
vsize: 29860
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 155471 0 9 0 67448 491 0 0 25 0 1 0 832432850 30498816 6758 4294967295 134512640 134714508 3221224592 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7446 6758 1111 63 0 7383 0
vsize: 29784
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 158137 0 9 0 68440 500 0 0 25 0 1 0 832432850 30834688 6789 4294967295 134512640 134714508 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7528 6789 1111 63 0 7465 0
vsize: 30112
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 159917 0 9 0 69435 505 0 0 25 0 1 0 832432850 30494720 6757 4294967295 134512640 134714508 3221224592 3221222560 1074247373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7445 6757 1111 63 0 7382 0
vsize: 29780
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 161505 0 9 0 70429 511 0 0 25 0 1 0 832432850 30494720 6757 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7445 6757 1111 63 0 7382 0
vsize: 29780
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 162751 0 9 0 71426 514 0 0 25 0 1 0 832432850 30494720 6757 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7445 6757 1111 63 0 7382 0
vsize: 29780
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 164019 0 9 0 72422 518 0 0 25 0 1 0 832432850 30830592 6769 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7527 6769 1111 63 0 7464 0
vsize: 30108
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 165545 0 9 0 73417 524 0 0 25 0 1 0 832432850 30892032 6794 4294967295 134512640 134714508 3221224592 3221220560 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7542 6794 1111 63 0 7479 0
vsize: 30168
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 166989 0 9 0 74413 528 0 0 25 0 1 0 832432850 30494720 6757 4294967295 134512640 134714508 3221224592 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7445 6757 1111 63 0 7382 0
vsize: 29780
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 168870 0 9 0 75407 534 0 0 25 0 1 0 832432850 31039488 6825 4294967295 134512640 134714508 3221224592 3221220476 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 6825 1111 63 0 7515 0
vsize: 30312
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 170598 0 9 0 76400 541 0 0 25 0 1 0 832432850 30543872 6769 4294967295 134512640 134714508 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6769 1111 63 0 7394 0
vsize: 29828
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 172283 0 9 0 77394 548 0 0 25 0 1 0 832432850 30543872 6769 4294967295 134512640 134714508 3221224592 3221223120 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6769 1111 63 0 7394 0
vsize: 29828
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 174254 0 9 0 78387 555 0 0 25 0 1 0 832432850 30937088 6797 4294967295 134512640 134714508 3221224592 3221220596 1074875812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7553 6797 1111 63 0 7490 0
vsize: 30212
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 177148 0 9 0 79377 565 0 0 25 0 1 0 832432850 30973952 6812 4294967295 134512640 134714508 3221224592 3221220752 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7562 6812 1111 63 0 7499 0
vsize: 30248
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 179743 0 9 0 80369 573 0 0 25 0 1 0 832432850 30543872 6769 4294967295 134512640 134714508 3221224592 3221222448 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6769 1111 63 0 7394 0
vsize: 29828
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 183115 0 9 0 81359 583 0 0 25 0 1 0 832432850 30543872 6769 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6769 1111 63 0 7394 0
vsize: 29828
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 186458 0 9 0 82351 591 0 0 25 0 1 0 832432850 30543872 6769 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6769 1111 63 0 7394 0
vsize: 29828
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 189684 0 9 0 83340 602 0 0 25 0 1 0 832432850 30715904 6781 4294967295 134512640 134714508 3221224592 3221222320 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7499 6781 1111 63 0 7436 0
vsize: 29996
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 193013 0 9 0 84331 612 0 0 25 0 1 0 832432850 30543872 6769 4294967295 134512640 134714508 3221224592 3221222508 1077404740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7457 6769 1111 63 0 7394 0
vsize: 29828
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 195595 0 9 0 85324 619 0 0 25 0 1 0 832432850 31318016 6880 4294967295 134512640 134714508 3221224592 3221220476 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7646 6880 1111 63 0 7583 0
vsize: 30584
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 197708 0 9 0 86317 626 0 0 25 0 1 0 832432850 30769152 6824 4294967295 134512640 134714508 3221224592 3221222592 1074056630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7512 6824 1111 63 0 7449 0
vsize: 30048
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 199836 0 9 0 87310 633 0 0 25 0 1 0 832432850 30818304 6836 4294967295 134512640 134714508 3221224592 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7524 6836 1111 63 0 7461 0
vsize: 30096
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 201997 0 9 0 88303 641 0 0 25 0 1 0 832432850 30953472 6839 4294967295 134512640 134714508 3221224592 3221222416 1075823363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7557 6839 1111 63 0 7494 0
vsize: 30228
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 204156 0 9 0 89295 649 0 0 25 0 1 0 832432850 30818304 6836 4294967295 134512640 134714508 3221224592 3221222848 1074143077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7524 6836 1111 63 0 7461 0
vsize: 30096
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 206540 0 9 0 90288 656 0 0 25 0 1 0 832432850 31444992 6928 4294967295 134512640 134714508 3221224592 3221220796 1075564304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7677 6928 1111 63 0 7614 0
vsize: 30708
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 208355 0 9 0 91281 663 0 0 25 0 1 0 832432850 30945280 6867 4294967295 134512640 134714508 3221224592 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7555 6867 1111 63 0 7492 0
vsize: 30220
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 210296 0 9 0 92276 668 0 0 25 0 1 0 832432850 30945280 6867 4294967295 134512640 134714508 3221224592 3221222592 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7555 6867 1111 63 0 7492 0
vsize: 30220
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 212370 0 9 0 93269 675 0 0 25 0 1 0 832432850 31342592 6894 4294967295 134512640 134714508 3221224592 3221220752 1075092646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7652 6894 1111 63 0 7589 0
vsize: 30608
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 214290 0 9 0 94262 682 0 0 25 0 1 0 832432850 31338496 6894 4294967295 134512640 134714508 3221224592 3221220636 1074873527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7651 6894 1111 63 0 7588 0
vsize: 30604
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 216191 0 9 0 95256 689 0 0 25 0 1 0 832432850 31342592 6895 4294967295 134512640 134714508 3221224592 3221221104 1075084539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7652 6895 1111 63 0 7589 0
vsize: 30608
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 217949 0 9 0 96252 693 0 0 25 0 1 0 832432850 31334400 6893 4294967295 134512640 134714508 3221224592 3221220532 1074786528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7650 6893 1111 63 0 7587 0
vsize: 30600
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 219818 0 9 0 97246 699 0 0 25 0 1 0 832432850 30945280 6867 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7555 6867 1111 63 0 7492 0
vsize: 30220
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 222360 0 9 0 98237 708 0 0 25 0 1 0 832432850 31043584 6891 4294967295 134512640 134714508 3221224592 3221222928 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7579 6891 1111 63 0 7516 0
vsize: 30316
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 224862 0 9 0 99231 715 0 0 25 0 1 0 832432850 31522816 6950 4294967295 134512640 134714508 3221224592 3221220752 1075093374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7696 6950 1111 63 0 7633 0
vsize: 30784
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 226876 0 9 0 100225 720 0 0 25 0 1 0 832432850 31096832 6904 4294967295 134512640 134714508 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7592 6904 1111 63 0 7529 0
vsize: 30368
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 229774 0 9 0 101217 728 0 0 25 0 1 0 832432850 31698944 6973 4294967295 134512640 134714508 3221224592 3221220752 1075095096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7739 6973 1111 63 0 7676 0
vsize: 30956
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 232357 0 9 0 102210 736 0 0 25 0 1 0 832432850 32047104 7038 4294967295 134512640 134714508 3221224592 3221220864 1074961264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7824 7038 1111 63 0 7761 0
vsize: 31296
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.96 3/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 234264 0 9 0 103205 741 0 0 25 0 1 0 832432850 31256576 6938 4294967295 134512640 134714508 3221224592 3221222592 1074918479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7631 6938 1111 63 0 7568 0
vsize: 30524
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 236210 0 9 0 104200 746 0 0 25 0 1 0 832432850 31285248 6950 4294967295 134512640 134714508 3221224592 3221222752 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7638 6950 1111 63 0 7575 0
vsize: 30552
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 237804 0 9 0 105195 752 0 0 25 0 1 0 832432850 31641600 6969 4294967295 134512640 134714508 3221224592 3221220832 1075115768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 6969 1111 63 0 7662 0
vsize: 30900
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.96 3/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 239092 0 9 0 106190 757 0 0 25 0 1 0 832432850 31449088 6961 4294967295 134512640 134714508 3221224592 3221222560 1075810666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7678 6961 1111 63 0 7615 0
vsize: 30712
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 241073 0 9 0 107184 763 0 0 25 0 1 0 832432850 31641600 6958 4294967295 134512640 134714508 3221224592 3221221360 1076083421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 6958 1111 63 0 7662 0
vsize: 30900
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 242731 0 9 0 108180 768 0 0 25 0 1 0 832432850 31285248 6950 4294967295 134512640 134714508 3221224592 3221222016 1074056269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7638 6950 1111 63 0 7575 0
vsize: 30552
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 244202 0 9 0 109175 773 0 0 25 0 1 0 832432850 31285248 6950 4294967295 134512640 134714508 3221224592 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7638 6950 1111 63 0 7575 0
vsize: 30552
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 245647 0 9 0 110169 779 0 0 25 0 1 0 832432850 31285248 6950 4294967295 134512640 134714508 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7638 6950 1111 63 0 7575 0
vsize: 30552
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 247278 0 9 0 111163 785 0 0 25 0 1 0 832432850 31285248 6950 4294967295 134512640 134714508 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7638 6950 1111 63 0 7575 0
vsize: 30552
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 248803 0 9 0 112158 791 0 0 25 0 1 0 832432850 31285248 6950 4294967295 134512640 134714508 3221224592 3221222040 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7638 6950 1111 63 0 7575 0
vsize: 30552
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 250551 0 9 0 113152 796 0 0 25 0 1 0 832432850 31285248 6950 4294967295 134512640 134714508 3221224592 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7638 6950 1111 63 0 7575 0
vsize: 30552
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 252517 0 9 0 114146 803 0 0 25 0 1 0 832432850 31285248 6950 4294967295 134512640 134714508 3221224592 3221222712 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7638 6950 1111 63 0 7575 0
vsize: 30552
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 254614 0 9 0 115140 809 0 0 25 0 1 0 832432850 31334400 6962 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7650 6962 1111 63 0 7587 0
vsize: 30600
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 256992 0 9 0 116133 816 0 0 25 0 1 0 832432850 31584256 6993 4294967295 134512640 134714508 3221224592 3221222320 1075828503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7711 6993 1111 63 0 7648 0
vsize: 30844
[startup+1175.61 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 29174
Raw data (stat): 29174 (bsolo_lpr) R 29173 25399 25398 0 -1 0 256992 0 9 0 116133 816 0 0 25 0 1 0 832432850 31584256 6993 4294967295 134512640 134714508 3221224592 3221222320 1075828503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7711 6993 1111 63 0 7648 0
vsize: 0

Child status: 0
Real time (s): 1175.61
CPU time (s): 1175.09
CPU user time (s): 1166.86
CPU system time (s): 8.22775
CPU usage (%): 99.9556
Max. virtual memory (Kb): 31296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####