PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.116981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 26477

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-24 15:44:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13170 boxname=wulflinc10 idbench=1014 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 13170
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        894132 kB
Buffers:         34404 kB
Cached:          84916 kB
SwapCached:        224 kB
Active:          73008 kB
Inactive:        49156 kB
HighTotal:      131008 kB
HighFree:        44632 kB
LowTotal:       903652 kB
LowFree:        849500 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              92 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            12736 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:04:29 (client local time) WITH STATUS 0 IN 1175.27 SECONDS
stats: 13170 7 1175.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 382.406 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 86.97
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.08 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.92 0.94 0.95 2/54 16985
Raw data (stat): 16985 (runsolver) R 16984 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773210049 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+9.99934 s]
Raw data (loadavg): 0.93 0.94 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 37612 0 0 0 920 76 0 0 25 0 1 0 773210049 167055360 37536 4294967295 134512640 134714508 3221224592 3221222900 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40785 37536 1111 63 0 40722 0
vsize: 163140
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.94 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 55086 0 0 0 1892 104 0 0 25 0 1 0 773210049 238710784 55010 4294967295 134512640 134714508 3221224592 3221223256 134568402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58279 55010 1111 63 0 58216 0
vsize: 233116
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.94 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 55981 0 0 0 2889 107 0 0 25 0 1 0 773210049 242360320 55905 4294967295 134512640 134714508 3221224592 3221222876 1077399560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59170 55905 1111 63 0 59107 0
vsize: 236680
[startup+40 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 56850 0 0 0 3886 110 0 0 25 0 1 0 773210049 245874688 56774 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60028 56774 1111 63 0 59965 0
vsize: 240112
[startup+50.0001 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 59197 0 0 0 4880 115 0 0 25 0 1 0 773210049 245702656 59078 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59986 59078 1111 63 0 59923 0
vsize: 239944
[startup+59.9992 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 61950 0 0 0 5874 121 0 0 25 0 1 0 773210049 256933888 61831 4294967295 134512640 134714508 3221224592 3221223360 134558537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62728 61831 1111 63 0 62665 0
vsize: 250912
[startup+69.9997 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 64567 0 0 0 6869 125 0 0 25 0 1 0 773210049 267640832 64448 4294967295 134512640 134714508 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65342 64448 1111 63 0 65279 0
vsize: 261368
[startup+79.9996 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 66887 0 0 0 7864 130 0 0 25 0 1 0 773210049 277258240 66768 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67690 66768 1111 63 0 67627 0
vsize: 270760
[startup+89.9997 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 69169 0 0 0 8861 134 0 0 25 0 1 0 773210049 286605312 69050 4294967295 134512640 134714508 3221224592 3221223068 134542371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69972 69050 1111 63 0 69909 0
vsize: 279888
[startup+99.9993 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 71345 0 0 0 9857 138 0 0 25 0 1 0 773210049 295407616 71226 4294967295 134512640 134714508 3221224592 3221223056 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72121 71226 1111 63 0 72058 0
vsize: 288484
[startup+109.999 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 73498 0 0 0 10854 141 0 0 25 0 1 0 773210049 304209920 73379 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74270 73379 1111 63 0 74207 0
vsize: 297080
[startup+119.999 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 75416 0 0 0 11852 144 0 0 25 0 1 0 773210049 312066048 75297 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76188 75297 1111 63 0 76125 0
vsize: 304752
[startup+129.999 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 77238 0 0 0 12849 147 0 0 25 0 1 0 773210049 319651840 77119 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78040 77119 1111 63 0 77977 0
vsize: 312160
[startup+140 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 78968 0 0 0 13845 151 0 0 25 0 1 0 773210049 326696960 78849 4294967295 134512640 134714508 3221224592 3221223120 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79760 78849 1111 63 0 79697 0
vsize: 319040
[startup+149.999 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 80681 0 0 0 14841 155 0 0 25 0 1 0 773210049 333746176 80562 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81481 80562 1111 63 0 81418 0
vsize: 325924
[startup+159.999 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 82417 0 0 0 15838 158 0 0 25 0 1 0 773210049 340791296 82298 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83201 82298 1111 63 0 83138 0
vsize: 332804
[startup+170 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 83900 0 0 0 16836 161 0 0 25 0 1 0 773210049 346886144 83781 4294967295 134512640 134714508 3221224592 3221223296 134587513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84689 83781 1111 63 0 84626 0
vsize: 338756
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 85223 0 0 0 17835 162 0 0 25 0 1 0 773210049 352313344 85104 4294967295 134512640 134714508 3221224592 3221223208 134536901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86014 85104 1111 63 0 85951 0
vsize: 344056
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 86488 0 0 0 18832 165 0 0 25 0 1 0 773210049 357453824 86369 4294967295 134512640 134714508 3221224592 3221223036 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87269 86369 1111 63 0 87206 0
vsize: 349076
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 87650 0 0 0 19831 167 0 0 25 0 1 0 773210049 362192896 87531 4294967295 134512640 134714508 3221224592 3221223104 134543728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88426 87531 1111 63 0 88363 0
vsize: 353704
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 88706 0 0 0 20830 168 0 0 25 0 1 0 773210049 366526464 88587 4294967295 134512640 134714508 3221224592 3221222976 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89484 88587 1111 63 0 89421 0
vsize: 357936
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 89546 0 0 0 21829 170 0 0 25 0 1 0 773210049 370061312 89427 4294967295 134512640 134714508 3221224592 3221223072 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90347 89427 1111 63 0 90284 0
vsize: 361388
[startup+230.022 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 90391 0 0 0 22828 172 0 0 25 0 1 0 773210049 373448704 90272 4294967295 134512640 134714508 3221224592 3221223104 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91174 90272 1111 63 0 91111 0
vsize: 364696
[startup+240.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 91103 0 0 0 23827 174 0 0 25 0 1 0 773210049 376438784 90984 4294967295 134512640 134714508 3221224592 3221222972 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91904 90984 1111 63 0 91841 0
vsize: 367616
[startup+250.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 91692 0 0 0 24826 175 0 0 25 0 1 0 773210049 378748928 91573 4294967295 134512640 134714508 3221224592 3221223216 134595001 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92468 91573 1111 63 0 92405 0
vsize: 369872
[startup+260.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 92114 0 0 0 25825 176 0 0 25 0 1 0 773210049 380510208 91995 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92898 91995 1111 63 0 92835 0
vsize: 371592
[startup+270.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 92603 0 0 0 26825 177 0 0 25 0 1 0 773210049 382550016 92484 4294967295 134512640 134714508 3221224592 3221222976 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93396 92484 1111 63 0 93333 0
vsize: 373584
[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 92966 0 0 0 27824 177 0 0 25 0 1 0 773210049 384040960 92847 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93760 92847 1111 63 0 93697 0
vsize: 375040
[startup+290.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 92978 0 0 0 28824 177 0 0 25 0 1 0 773210049 384040960 92859 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93760 92859 1111 63 0 93697 0
vsize: 375040
[startup+300.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 92987 0 0 0 29824 177 0 0 25 0 1 0 773210049 384040960 92868 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93760 92868 1111 63 0 93697 0
vsize: 375040
[startup+310.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 92994 0 0 0 30825 177 0 0 25 0 1 0 773210049 384176128 92875 4294967295 134512640 134714508 3221224592 3221223264 134627231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92875 1111 63 0 93730 0
vsize: 375172
[startup+320.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 93001 0 0 0 31825 177 0 0 25 0 1 0 773210049 384176128 92882 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92882 1111 63 0 93730 0
vsize: 375172
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 93005 0 0 0 32825 177 0 0 25 0 1 0 773210049 384176128 92886 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92886 1111 63 0 93730 0
vsize: 375172
[startup+340.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 93006 0 0 0 33825 177 0 0 25 0 1 0 773210049 384176128 92887 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92887 1111 63 0 93730 0
vsize: 375172
[startup+350.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 93009 0 0 0 34825 177 0 0 25 0 1 0 773210049 384176128 92890 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92890 1111 63 0 93730 0
vsize: 375172
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 93015 0 0 0 35825 177 0 0 25 0 1 0 773210049 384176128 92896 4294967295 134512640 134714508 3221224592 3221223244 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92896 1111 63 0 93730 0
vsize: 375172
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 93019 0 0 0 36826 177 0 0 25 0 1 0 773210049 384176128 92900 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92900 1111 63 0 93730 0
vsize: 375172
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 93019 0 0 0 37826 177 0 0 25 0 1 0 773210049 384176128 92900 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92900 1111 63 0 93730 0
vsize: 375172
[startup+390.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 95942 0 2 0 38793 186 0 0 25 0 1 0 773210049 391634944 94755 4294967295 134512640 134714508 3221224592 3221220556 1074873432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95614 94755 1111 63 0 95551 0
vsize: 382456
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 96092 0 2 0 39793 186 0 0 25 0 1 0 773210049 391745536 94815 4294967295 134512640 134714508 3221224592 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95641 94815 1111 63 0 95578 0
vsize: 382564
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 96106 0 2 0 40793 186 0 0 25 0 1 0 773210049 391790592 94829 4294967295 134512640 134714508 3221224592 3221220496 1074875101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94829 1111 63 0 95589 0
vsize: 382608
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 96106 0 2 0 41793 186 0 0 25 0 1 0 773210049 391790592 94829 4294967295 134512640 134714508 3221224592 3221220496 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94829 1111 63 0 95589 0
vsize: 382608
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 96136 0 2 0 42793 186 0 0 25 0 1 0 773210049 391790592 94845 4294967295 134512640 134714508 3221224592 3221220716 1075564389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 96136 0 2 0 43794 186 0 0 25 0 1 0 773210049 391790592 94845 4294967295 134512640 134714508 3221224592 3221220368 1074868872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 96136 0 2 0 44794 186 0 0 25 0 1 0 773210049 391790592 94845 4294967295 134512640 134714508 3221224592 3221220368 1074868551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97548 0 2 0 45790 189 0 0 25 0 1 0 773210049 388460544 94076 4294967295 134512640 134714508 3221224592 3221222664 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94076 1111 63 0 94776 0
vsize: 379356
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97548 0 2 0 46790 190 0 0 25 0 1 0 773210049 388460544 94076 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94076 1111 63 0 94776 0
vsize: 379356
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97549 0 2 0 47789 191 0 0 25 0 1 0 773210049 388460544 94077 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94839 94077 1111 63 0 94776 0
vsize: 379356
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97564 0 2 0 48788 192 0 0 25 0 1 0 773210049 388575232 94092 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94867 94092 1111 63 0 94804 0
vsize: 379468
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97614 0 2 0 49788 193 0 0 25 0 1 0 773210049 388710400 94142 4294967295 134512640 134714508 3221224592 3221223248 134536710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94900 94142 1111 63 0 94837 0
vsize: 379600
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97672 0 2 0 50787 194 0 0 25 0 1 0 773210049 388964352 94200 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94962 94200 1111 63 0 94899 0
vsize: 379848
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97698 0 2 0 51786 195 0 0 25 0 1 0 773210049 389099520 94226 4294967295 134512640 134714508 3221224592 3221223132 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94995 94226 1111 63 0 94932 0
vsize: 379980
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97732 0 2 0 52785 196 0 0 25 0 1 0 773210049 389222400 94260 4294967295 134512640 134714508 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95025 94260 1111 63 0 94962 0
vsize: 380100
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97831 0 2 0 53784 197 0 0 25 0 1 0 773210049 389681152 94359 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95137 94359 1111 63 0 95074 0
vsize: 380548
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97882 0 2 0 54783 198 0 0 25 0 1 0 773210049 389918720 94410 4294967295 134512640 134714508 3221224592 3221223200 134548608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95195 94410 1111 63 0 95132 0
vsize: 380780
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97892 0 2 0 55783 199 0 0 25 0 1 0 773210049 389894144 94420 4294967295 134512640 134714508 3221224592 3221223184 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95189 94420 1111 63 0 95126 0
vsize: 380756
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97939 0 2 0 56782 199 0 0 25 0 1 0 773210049 389935104 94441 4294967295 134512640 134714508 3221224592 3221223536 134598463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95199 94441 1111 63 0 95136 0
vsize: 380796
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 97946 0 2 0 57782 199 0 0 25 0 1 0 773210049 390053888 94448 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95228 94448 1111 63 0 95165 0
vsize: 380912
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98004 0 2 0 58782 200 0 0 25 0 1 0 773210049 390193152 94498 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95262 94498 1111 63 0 95199 0
vsize: 381048
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98004 0 2 0 59782 200 0 0 25 0 1 0 773210049 390193152 94498 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95262 94498 1111 63 0 95199 0
vsize: 381048
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98020 0 2 0 60782 201 0 0 25 0 1 0 773210049 390221824 94495 4294967295 134512640 134714508 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95269 94495 1111 63 0 95206 0
vsize: 381076
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98059 0 2 0 61781 202 0 0 25 0 1 0 773210049 390336512 94515 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95297 94515 1111 63 0 95234 0
vsize: 381188
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98073 0 2 0 62781 202 0 0 25 0 1 0 773210049 390328320 94525 4294967295 134512640 134714508 3221224592 3221223332 134594993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94525 1111 63 0 95232 0
vsize: 381180
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98073 0 2 0 63781 203 0 0 25 0 1 0 773210049 390328320 94525 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94525 1111 63 0 95232 0
vsize: 381180
[startup+650.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98082 0 2 0 64781 204 0 0 25 0 1 0 773210049 390328320 94534 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98082 0 2 0 65781 204 0 0 25 0 1 0 773210049 390328320 94534 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+670.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98082 0 2 0 66782 205 0 0 25 0 1 0 773210049 390328320 94534 4294967295 134512640 134714508 3221224592 3221223076 134697343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+680.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98095 0 2 0 67783 206 0 0 25 0 1 0 773210049 390463488 94547 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95328 94547 1111 63 0 95265 0
vsize: 381312
[startup+690.117 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98158 0 2 0 68786 206 0 0 25 0 1 0 773210049 390733824 94610 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+700.116 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98158 0 2 0 69786 207 0 0 25 0 1 0 773210049 390733824 94610 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+710.124 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98158 0 2 0 70787 207 0 0 25 0 1 0 773210049 390733824 94610 4294967295 134512640 134714508 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+720.133 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98158 0 2 0 71788 207 0 0 25 0 1 0 773210049 390733824 94610 4294967295 134512640 134714508 3221224592 3221223232 134539437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+730.133 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98158 0 2 0 72787 208 0 0 25 0 1 0 773210049 390733824 94610 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+740.132 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98158 0 2 0 73786 209 0 0 25 0 1 0 773210049 390733824 94610 4294967295 134512640 134714508 3221224592 3221223320 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+750.132 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98183 0 2 0 74785 210 0 0 25 0 1 0 773210049 390733824 94635 4294967295 134512640 134714508 3221224592 3221223232 134536653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94635 1111 63 0 95331 0
vsize: 381576
[startup+760.131 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98184 0 2 0 75784 211 0 0 25 0 1 0 773210049 390733824 94636 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95394 94636 1111 63 0 95331 0
vsize: 381576
[startup+770.131 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98221 0 2 0 76784 212 0 0 25 0 1 0 773210049 390942720 94673 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95445 94673 1111 63 0 95382 0
vsize: 381780
[startup+780.131 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98239 0 2 0 77784 212 0 0 25 0 1 0 773210049 391000064 94691 4294967295 134512640 134714508 3221224592 3221223272 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95459 94691 1111 63 0 95396 0
vsize: 381836
[startup+790.131 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98247 0 2 0 78783 214 0 0 25 0 1 0 773210049 391000064 94699 4294967295 134512640 134714508 3221224592 3221222996 134697199 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95459 94699 1111 63 0 95396 0
vsize: 381836
[startup+800.131 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98247 0 2 0 79782 214 0 0 25 0 1 0 773210049 391000064 94699 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95459 94699 1111 63 0 95396 0
vsize: 381836
[startup+810.13 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98292 0 2 0 80782 215 0 0 25 0 1 0 773210049 391155712 94739 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95497 94739 1111 63 0 95434 0
vsize: 381988
[startup+820.131 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98292 0 2 0 81781 216 0 0 25 0 1 0 773210049 391155712 94739 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95497 94739 1111 63 0 95434 0
vsize: 381988
[startup+830.13 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98312 0 2 0 82780 217 0 0 25 0 1 0 773210049 391172096 94743 4294967295 134512640 134714508 3221224592 3221223148 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+840.131 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98312 0 2 0 83780 217 0 0 25 0 1 0 773210049 391172096 94743 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+850.153 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98312 0 2 0 84782 218 0 0 25 0 1 0 773210049 391172096 94743 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+860.18 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98394 0 2 0 85784 218 0 0 25 0 1 0 773210049 391581696 94825 4294967295 134512640 134714508 3221224592 3221223276 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+870.18 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98394 0 2 0 86784 218 0 0 25 0 1 0 773210049 391581696 94825 4294967295 134512640 134714508 3221224592 3221223232 134696082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+880.182 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98394 0 2 0 87784 219 0 0 25 0 1 0 773210049 391581696 94825 4294967295 134512640 134714508 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+890.183 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98394 0 2 0 88784 220 0 0 25 0 1 0 773210049 391581696 94825 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+900.186 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 16985
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98424 0 2 0 89784 220 0 0 25 0 1 0 773210049 391581696 94843 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94843 1111 63 0 95538 0
vsize: 382404
[startup+910.202 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 16986
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98424 0 2 0 90785 220 0 0 25 0 1 0 773210049 391581696 94843 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95601 94843 1111 63 0 95538 0
vsize: 382404
[startup+920.215 s]
Raw data (loadavg): 1.15 1.00 0.96 4/59 17037
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98476 0 2 0 91772 234 0 0 25 0 1 0 773210049 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+930.23 s]
Raw data (loadavg): 1.12 1.00 0.96 2/54 17038
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98476 0 2 0 92773 234 0 0 25 0 1 0 773210049 391852032 94895 4294967295 134512640 134714508 3221224592 3221223208 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+940.23 s]
Raw data (loadavg): 1.10 1.00 0.96 2/54 17038
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98476 0 2 0 93773 235 0 0 25 0 1 0 773210049 391852032 94895 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+950.23 s]
Raw data (loadavg): 1.09 1.00 0.96 2/54 17038
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98476 0 2 0 94773 235 0 0 25 0 1 0 773210049 391852032 94895 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+960.23 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 17038
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98476 0 2 0 95773 235 0 0 25 0 1 0 773210049 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+970.23 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 17038
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98476 0 2 0 96772 236 0 0 25 0 1 0 773210049 391852032 94895 4294967295 134512640 134714508 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+980.23 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 17038
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98476 0 2 0 97772 236 0 0 25 0 1 0 773210049 391806976 94895 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95656 94895 1111 63 0 95593 0
vsize: 382624
[startup+990.23 s]
Raw data (loadavg): 1.12 1.02 0.97 2/54 17038
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98509 0 2 0 98772 236 0 0 25 0 1 0 773210049 391991296 94909 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95701 94909 1111 63 0 95638 0
vsize: 382804
[startup+1000.23 s]
Raw data (loadavg): 1.10 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98509 0 2 0 99772 237 0 0 25 0 1 0 773210049 391991296 94909 4294967295 134512640 134714508 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95701 94909 1111 63 0 95638 0
vsize: 382804
[startup+1010.23 s]
Raw data (loadavg): 1.09 1.01 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98509 0 2 0 100772 237 0 0 25 0 1 0 773210049 391847936 94907 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1020.23 s]
Raw data (loadavg): 1.15 1.03 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98509 0 2 0 101772 237 0 0 25 0 1 0 773210049 391847936 94907 4294967295 134512640 134714508 3221224592 3221223336 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1030.23 s]
Raw data (loadavg): 1.13 1.03 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98509 0 2 0 102772 238 0 0 25 0 1 0 773210049 391626752 94854 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95612 94854 1111 63 0 95549 0
vsize: 382448
[startup+1040.23 s]
Raw data (loadavg): 1.11 1.03 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98523 0 2 0 103771 238 0 0 25 0 1 0 773210049 391761920 94868 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95645 94868 1111 63 0 95582 0
vsize: 382580
[startup+1050.23 s]
Raw data (loadavg): 1.09 1.03 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98572 0 2 0 104771 239 0 0 25 0 1 0 773210049 391962624 94917 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95694 94917 1111 63 0 95631 0
vsize: 382776
[startup+1060.23 s]
Raw data (loadavg): 1.08 1.03 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98598 0 2 0 105771 239 0 0 25 0 1 0 773210049 392024064 94943 4294967295 134512640 134714508 3221224592 3221223256 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95709 94943 1111 63 0 95646 0
vsize: 382836
[startup+1070.23 s]
Raw data (loadavg): 1.06 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98598 0 2 0 106771 239 0 0 25 0 1 0 773210049 392024064 94943 4294967295 134512640 134714508 3221224592 3221223312 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95709 94943 1111 63 0 95646 0
vsize: 382836
[startup+1080.23 s]
Raw data (loadavg): 1.05 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98598 0 2 0 107771 239 0 0 25 0 1 0 773210049 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1090.23 s]
Raw data (loadavg): 1.05 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98598 0 2 0 108771 240 0 0 25 0 1 0 773210049 391946240 94932 4294967295 134512640 134714508 3221224592 3221223220 1077374168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1100.23 s]
Raw data (loadavg): 1.04 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98598 0 2 0 109770 240 0 0 25 0 1 0 773210049 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1110.23 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98598 0 2 0 110770 241 0 0 25 0 1 0 773210049 391946240 94932 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1120.23 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98598 0 2 0 111770 241 0 0 25 0 1 0 773210049 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1130.23 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98620 0 2 0 112770 241 0 0 25 0 1 0 773210049 392081408 94954 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95723 94954 1111 63 0 95660 0
vsize: 382892
[startup+1140.23 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98624 0 2 0 113770 241 0 0 25 0 1 0 773210049 392081408 94958 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95723 94958 1111 63 0 95660 0
vsize: 382892
[startup+1150.23 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98631 0 2 0 114770 241 0 0 25 0 1 0 773210049 392216576 94965 4294967295 134512640 134714508 3221224592 3221223148 134539337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95756 94965 1111 63 0 95693 0
vsize: 383024
[startup+1160.23 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98631 0 2 0 115770 242 0 0 25 0 1 0 773210049 391942144 94931 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 382756
[startup+1170.23 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98631 0 2 0 116769 242 0 0 25 0 1 0 773210049 391942144 94931 4294967295 134512640 134714508 3221224592 3221223220 1077374180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 382756
[startup+1175.39 s]
Raw data (loadavg): 1.01 1.01 0.97 1/53 17040
Raw data (stat): 16985 (bsolo_lpr) R 16984 15547 15546 0 -1 0 98631 0 2 0 116769 242 0 0 25 0 1 0 773210049 391942144 94931 4294967295 134512640 134714508 3221224592 3221223220 1077374180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 0

Child status: 0
Real time (s): 1175.39
CPU time (s): 1175.27
CPU user time (s): 1172.66
CPU system time (s): 2.6076
CPU usage (%): 99.9892
Max. virtual memory (Kb): 383024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####