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/miplib/normalized-mps-v2-20-10-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
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.12098
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 28763

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 03:52:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11649 boxname=wulflinc11 idbench=897 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 11649
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        919760 kB
Buffers:         11672 kB
Cached:          82020 kB
SwapCached:        692 kB
Active:          25984 kB
Inactive:        69684 kB
HighTotal:      131008 kB
HighFree:        48188 kB
LowTotal:       903652 kB
LowFree:        871572 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            13468 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:12:11 (client local time) WITH STATUS 0 IN 1175.2 SECONDS
stats: 11649 7 1175.2 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.64 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 86.866
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.91 0.95 0.95 2/54 3043
Raw data (stat): 3043 (runsolver) R 3042 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777559750 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 36214 0 0 0 923 73 0 0 25 0 1 0 777559750 161382400 36138 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39400 36138 1111 63 0 39337 0
vsize: 157600
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 55058 0 0 0 1892 104 0 0 25 0 1 0 777559750 238575616 54982 4294967295 134512640 134714508 3221224592 3221222876 1077399556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58246 54982 1111 63 0 58183 0
vsize: 232984
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 55953 0 0 0 2888 108 0 0 25 0 1 0 777559750 242225152 55877 4294967295 134512640 134714508 3221224592 3221222876 1077399556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59137 55877 1111 63 0 59074 0
vsize: 236548
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 56820 0 0 0 3884 111 0 0 25 0 1 0 777559750 245739520 56744 4294967295 134512640 134714508 3221224592 3221222876 1077049379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59995 56744 1111 63 0 59932 0
vsize: 239980
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 59089 0 0 0 4879 116 0 0 25 0 1 0 777559750 245297152 58970 4294967295 134512640 134714508 3221224592 3221223072 134539422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59887 58970 1111 63 0 59824 0
vsize: 239548
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 61891 0 0 0 5873 122 0 0 25 0 1 0 777559750 256798720 61772 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62695 61773 1111 63 0 62632 0
vsize: 250780
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 64509 0 0 0 6868 127 0 0 25 0 1 0 777559750 267505664 64390 4294967295 134512640 134714508 3221224592 3221222972 134539315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65309 64390 1111 63 0 65246 0
vsize: 261236
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 66842 0 0 0 7863 132 0 0 25 0 1 0 777559750 276987904 66723 4294967295 134512640 134714508 3221224592 3221223096 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67624 66723 1111 63 0 67561 0
vsize: 270496
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 69123 0 0 0 8860 136 0 0 25 0 1 0 777559750 286334976 69004 4294967295 134512640 134714508 3221224592 3221222956 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69906 69004 1111 63 0 69843 0
vsize: 279624
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 71314 0 0 0 9855 140 0 0 25 0 1 0 777559750 295272448 71195 4294967295 134512640 134714508 3221224592 3221223320 134672906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72088 71195 1111 63 0 72025 0
vsize: 288352
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 73450 0 0 0 10851 145 0 0 25 0 1 0 777559750 304074752 73331 4294967295 134512640 134714508 3221224592 3221223216 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74237 73331 1111 63 0 74174 0
vsize: 296948
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 75371 0 0 0 11846 150 0 0 25 0 1 0 777559750 311930880 75252 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76155 75252 1111 63 0 76092 0
vsize: 304620
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 77218 0 0 0 12843 153 0 0 25 0 1 0 777559750 319516672 77099 4294967295 134512640 134714508 3221224592 3221222976 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78007 77099 1111 63 0 77944 0
vsize: 312028
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 78925 0 0 0 13839 157 0 0 25 0 1 0 777559750 326561792 78806 4294967295 134512640 134714508 3221224592 3221223120 134528543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79727 78806 1111 63 0 79664 0
vsize: 318908
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 80641 0 0 0 14836 160 0 0 25 0 1 0 777559750 333475840 80522 4294967295 134512640 134714508 3221224592 3221223072 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81415 80522 1111 63 0 81352 0
vsize: 325660
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 82392 0 0 0 15833 164 0 0 25 0 1 0 777559750 340656128 82273 4294967295 134512640 134714508 3221224592 3221223328 134625443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83168 82275 1111 63 0 83105 0
vsize: 332672
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 83868 0 0 0 16830 167 0 0 25 0 1 0 777559750 346750976 83749 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84656 83749 1111 63 0 84593 0
vsize: 338624
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 85192 0 0 0 17828 169 0 0 25 0 1 0 777559750 352174080 85073 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85980 85073 1111 63 0 85917 0
vsize: 343920
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 86457 0 0 0 18826 171 0 0 25 0 1 0 777559750 357318656 86338 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87236 86338 1111 63 0 87173 0
vsize: 348944
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 87613 0 0 0 19823 174 0 0 25 0 1 0 777559750 362057728 87494 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88393 87494 1111 63 0 88330 0
vsize: 353572
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 88676 0 0 0 20821 176 0 0 25 0 1 0 777559750 366391296 88557 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89451 88557 1111 63 0 89388 0
vsize: 357804
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 89522 0 0 0 21821 178 0 0 25 0 1 0 777559750 369926144 89403 4294967295 134512640 134714508 3221224592 3221222972 134539246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90314 89403 1111 63 0 90251 0
vsize: 361256
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 90368 0 0 0 22820 179 0 0 25 0 1 0 777559750 373313536 90249 4294967295 134512640 134714508 3221224592 3221223140 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91141 90249 1111 63 0 91078 0
vsize: 364564
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 91092 0 0 0 23817 182 0 0 25 0 1 0 777559750 376299520 90973 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91870 90973 1111 63 0 91807 0
vsize: 367480
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 91669 0 0 0 24816 183 0 0 25 0 1 0 777559750 378748928 91550 4294967295 134512640 134714508 3221224592 3221223096 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92468 91550 1111 63 0 92405 0
vsize: 369872
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 92107 0 0 0 25815 184 0 0 25 0 1 0 777559750 380510208 91988 4294967295 134512640 134714508 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92898 91988 1111 63 0 92835 0
vsize: 371592
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 92578 0 0 0 26815 185 0 0 25 0 1 0 777559750 382414848 92459 4294967295 134512640 134714508 3221224592 3221223036 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93363 92459 1111 63 0 93300 0
vsize: 373452
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 92930 0 0 0 27814 185 0 0 25 0 1 0 777559750 383901696 92811 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93726 92811 1111 63 0 93663 0
vsize: 374904
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 92978 0 0 0 28814 186 0 0 25 0 1 0 777559750 384040960 92859 4294967295 134512640 134714508 3221224592 3221223264 134627250 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.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 92987 0 0 0 29814 186 0 0 25 0 1 0 777559750 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.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 92994 0 0 0 30814 186 0 0 25 0 1 0 777559750 384176128 92875 4294967295 134512640 134714508 3221224592 3221223264 134627250 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.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 93001 0 0 0 31815 186 0 0 25 0 1 0 777559750 384176128 92882 4294967295 134512640 134714508 3221224592 3221223264 134627252 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.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 93005 0 0 0 32815 186 0 0 25 0 1 0 777559750 384176128 92886 4294967295 134512640 134714508 3221224592 3221223252 134627197 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.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 93006 0 0 0 33815 186 0 0 25 0 1 0 777559750 384176128 92887 4294967295 134512640 134714508 3221224592 3221223264 134627187 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.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 93009 0 0 0 34815 186 0 0 25 0 1 0 777559750 384176128 92890 4294967295 134512640 134714508 3221224592 3221223264 134627184 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.014 s]
Raw data (loadavg): 0.99 0.97 0.95 3/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 93014 0 0 0 35815 186 0 0 25 0 1 0 777559750 384176128 92895 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93793 92895 1111 63 0 93730 0
vsize: 375172
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 93019 0 0 0 36816 186 0 0 25 0 1 0 777559750 384176128 92900 4294967295 134512640 134714508 3221224592 3221223252 134627197 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.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 93019 0 0 0 37816 186 0 0 25 0 1 0 777559750 384176128 92900 4294967295 134512640 134714508 3221224592 3221223252 134627197 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.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 95944 0 0 0 38807 194 0 0 25 0 1 0 777559750 391634944 94755 4294967295 134512640 134714508 3221224592 3221220556 1074873465 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.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 96094 0 0 0 39807 194 0 0 25 0 1 0 777559750 391745536 94815 4294967295 134512640 134714508 3221224592 3221220556 1074873486 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.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 96108 0 0 0 40807 195 0 0 25 0 1 0 777559750 391790592 94829 4294967295 134512640 134714508 3221224592 3221220496 1074875081 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.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 96108 0 0 0 41807 195 0 0 25 0 1 0 777559750 391790592 94829 4294967295 134512640 134714508 3221224592 3221220496 1074875065 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.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 96138 0 0 0 42807 195 0 0 25 0 1 0 777559750 391790592 94845 4294967295 134512640 134714508 3221224592 3221220368 1074871213 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.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3043
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 96138 0 0 0 43807 195 0 0 25 0 1 0 777559750 391790592 94845 4294967295 134512640 134714508 3221224592 3221220784 1074960854 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.018 s]
Raw data (loadavg): 0.99 0.97 0.95 3/57 3083
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 96138 0 0 0 44799 202 0 0 25 0 1 0 777559750 391790592 94845 4294967295 134512640 134714508 3221224592 3221220368 1074868742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+460.019 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 3096
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97550 0 0 0 45790 212 0 0 25 0 1 0 777559750 388460544 94076 4294967295 134512640 134714508 3221224592 3221223040 134647040 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.019 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 3096
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97551 0 0 0 46790 212 0 0 25 0 1 0 777559750 388460544 94077 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94077 1111 63 0 94776 0
vsize: 379356
[startup+480.018 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 3096
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97551 0 0 0 47789 213 0 0 25 0 1 0 777559750 388460544 94077 4294967295 134512640 134714508 3221224592 3221223248 134536638 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.018 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 3096
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97566 0 0 0 48788 214 0 0 25 0 1 0 777559750 388575232 94092 4294967295 134512640 134714508 3221224592 3221223392 134597777 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.019 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 3096
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97616 0 0 0 49788 214 0 0 25 0 1 0 777559750 388710400 94142 4294967295 134512640 134714508 3221224592 3221223176 134543589 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.019 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 3096
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97674 0 0 0 50786 216 0 0 25 0 1 0 777559750 388964352 94200 4294967295 134512640 134714508 3221224592 3221223232 134539462 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.019 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 3096
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97700 0 0 0 51786 217 0 0 25 0 1 0 777559750 389099520 94226 4294967295 134512640 134714508 3221224592 3221223232 134696082 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.019 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97734 0 0 0 52785 218 0 0 25 0 1 0 777559750 389222400 94260 4294967295 134512640 134714508 3221224592 3221223248 134536630 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.019 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97833 0 0 0 53783 219 0 0 25 0 1 0 777559750 389681152 94359 4294967295 134512640 134714508 3221224592 3221223200 134549463 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.019 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97884 0 0 0 54783 220 0 0 25 0 1 0 777559750 389918720 94410 4294967295 134512640 134714508 3221224592 3221223200 134549316 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.02 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97894 0 0 0 55782 221 0 0 25 0 1 0 777559750 389894144 94420 4294967295 134512640 134714508 3221224592 3221223200 134549474 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.019 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97941 0 0 0 56782 222 0 0 25 0 1 0 777559750 389935104 94441 4294967295 134512640 134714508 3221224592 3221223184 134543707 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.019 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 97948 0 0 0 57781 222 0 0 25 0 1 0 777559750 390053888 94448 4294967295 134512640 134714508 3221224592 3221223176 134543652 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.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98006 0 0 0 58781 223 0 0 25 0 1 0 777559750 390193152 94498 4294967295 134512640 134714508 3221224592 3221223160 1077377227 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.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98006 0 0 0 59780 224 0 0 25 0 1 0 777559750 390193152 94498 4294967295 134512640 134714508 3221224592 3221223292 134543760 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.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98022 0 0 0 60780 224 0 0 25 0 1 0 777559750 390221824 94495 4294967295 134512640 134714508 3221224592 3221223332 134594953 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.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98061 0 0 0 61779 225 0 0 25 0 1 0 777559750 390336512 94515 4294967295 134512640 134714508 3221224592 3221223296 134528650 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.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98075 0 0 0 62779 225 0 0 25 0 1 0 777559750 390328320 94525 4294967295 134512640 134714508 3221224592 3221223148 134539329 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.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98075 0 0 0 63779 226 0 0 25 0 1 0 777559750 390328320 94525 4294967295 134512640 134714508 3221224592 3221223184 134549689 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.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98084 0 0 0 64778 226 0 0 25 0 1 0 777559750 390328320 94534 4294967295 134512640 134714508 3221224592 3221223216 134542347 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.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98084 0 0 0 65778 227 0 0 25 0 1 0 777559750 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.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98084 0 0 0 66777 228 0 0 25 0 1 0 777559750 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+680.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98097 0 0 0 67778 228 0 0 25 0 1 0 777559750 390463488 94547 4294967295 134512640 134714508 3221224592 3221223392 134597777 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.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98160 0 0 0 68777 228 0 0 25 0 1 0 777559750 390733824 94610 4294967295 134512640 134714508 3221224592 3221223232 134542347 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.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98160 0 0 0 69777 229 0 0 25 0 1 0 777559750 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+710.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98160 0 0 0 70777 229 0 0 25 0 1 0 777559750 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+720.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98160 0 0 0 71777 229 0 0 25 0 1 0 777559750 390733824 94610 4294967295 134512640 134714508 3221224592 3221223200 134549313 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.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98160 0 0 0 72776 231 0 0 25 0 1 0 777559750 390733824 94610 4294967295 134512640 134714508 3221224592 3221223516 1077781665 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.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98160 0 0 0 73775 231 0 0 25 0 1 0 777559750 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+750.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98185 0 0 0 74774 232 0 0 25 0 1 0 777559750 390733824 94635 4294967295 134512640 134714508 3221224592 3221223200 134549316 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.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98186 0 0 0 75774 233 0 0 25 0 1 0 777559750 390733824 94636 4294967295 134512640 134714508 3221224592 3221223368 134613539 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.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98223 0 0 0 76773 234 0 0 25 0 1 0 777559750 390942720 94673 4294967295 134512640 134714508 3221224592 3221223200 134549316 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.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98241 0 0 0 77773 234 0 0 25 0 1 0 777559750 391000064 94691 4294967295 134512640 134714508 3221224592 3221223200 134549316 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.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98249 0 0 0 78772 235 0 0 25 0 1 0 777559750 391000064 94699 4294967295 134512640 134714508 3221224592 3221223248 134536638 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.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98249 0 0 0 79772 236 0 0 25 0 1 0 777559750 391000064 94699 4294967295 134512640 134714508 3221224592 3221223200 134549327 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.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98294 0 0 0 80771 236 0 0 25 0 1 0 777559750 391155712 94739 4294967295 134512640 134714508 3221224592 3221223152 134542706 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.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3098
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98294 0 0 0 81771 237 0 0 25 0 1 0 777559750 391155712 94739 4294967295 134512640 134714508 3221224592 3221223328 134535742 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.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98314 0 0 0 82770 238 0 0 25 0 1 0 777559750 391172096 94743 4294967295 134512640 134714508 3221224592 3221223200 134549444 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.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98314 0 0 0 83770 238 0 0 25 0 1 0 777559750 391172096 94743 4294967295 134512640 134714508 3221224592 3221223360 134592104 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.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98314 0 0 0 84770 239 0 0 25 0 1 0 777559750 391172096 94743 4294967295 134512640 134714508 3221224592 3221223516 1077781665 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.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98396 0 0 0 85769 239 0 0 25 0 1 0 777559750 391581696 94825 4294967295 134512640 134714508 3221224592 3221223200 134549316 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.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98396 0 0 0 86769 240 0 0 25 0 1 0 777559750 391581696 94825 4294967295 134512640 134714508 3221224592 3221223200 134549316 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.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98396 0 0 0 87769 240 0 0 25 0 1 0 777559750 391581696 94825 4294967295 134512640 134714508 3221224592 3221223176 134543614 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.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98396 0 0 0 88768 241 0 0 25 0 1 0 777559750 391581696 94825 4294967295 134512640 134714508 3221224592 3221223184 134542352 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.025 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98426 0 0 0 89768 242 0 0 25 0 1 0 777559750 391581696 94843 4294967295 134512640 134714508 3221224592 3221223200 134549480 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.026 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98426 0 0 0 90768 242 0 0 25 0 1 0 777559750 391581696 94843 4294967295 134512640 134714508 3221224592 3221223320 134536866 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.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98478 0 0 0 91767 243 0 0 25 0 1 0 777559750 391852032 94895 4294967295 134512640 134714508 3221224592 3221223148 134539237 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.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98478 0 0 0 92766 244 0 0 25 0 1 0 777559750 391852032 94895 4294967295 134512640 134714508 3221224592 3221223200 134549316 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.027 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98478 0 0 0 93766 244 0 0 25 0 1 0 777559750 391852032 94895 4294967295 134512640 134714508 3221224592 3221223196 134536771 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.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98478 0 0 0 94766 244 0 0 25 0 1 0 777559750 391852032 94895 4294967295 134512640 134714508 3221224592 3221223232 134696085 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.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98478 0 0 0 95766 244 0 0 25 0 1 0 777559750 391852032 94895 4294967295 134512640 134714508 3221224592 3221223176 134543600 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.028 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98478 0 0 0 96766 245 0 0 25 0 1 0 777559750 391852032 94895 4294967295 134512640 134714508 3221224592 3221223220 1077374077 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.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98478 0 0 0 97766 245 0 0 25 0 1 0 777559750 391806976 94895 4294967295 134512640 134714508 3221224592 3221223120 134543030 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98511 0 0 0 98766 246 0 0 25 0 1 0 777559750 391991296 94909 4294967295 134512640 134714508 3221224592 3221223200 134549313 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98511 0 0 0 99765 246 0 0 25 0 1 0 777559750 391847936 94907 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98511 0 0 0 100765 246 0 0 25 0 1 0 777559750 391847936 94907 4294967295 134512640 134714508 3221224592 3221223380 134597574 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98511 0 0 0 101765 247 0 0 25 0 1 0 777559750 391847936 94907 4294967295 134512640 134714508 3221224592 3221223212 134613966 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98511 0 0 0 102765 247 0 0 25 0 1 0 777559750 391626752 94854 4294967295 134512640 134714508 3221224592 3221223132 134539237 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98525 0 0 0 103765 247 0 0 25 0 1 0 777559750 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98574 0 0 0 104765 247 0 0 25 0 1 0 777559750 391962624 94917 4294967295 134512640 134714508 3221224592 3221223244 134536763 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98600 0 0 0 105765 248 0 0 25 0 1 0 777559750 392024064 94943 4294967295 134512640 134714508 3221224592 3221223200 134549296 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98600 0 0 0 106765 248 0 0 25 0 1 0 777559750 392024064 94943 4294967295 134512640 134714508 3221224592 3221223200 134549316 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98600 0 0 0 107765 248 0 0 25 0 1 0 777559750 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549457 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98600 0 0 0 108764 249 0 0 25 0 1 0 777559750 391946240 94932 4294967295 134512640 134714508 3221224592 3221223200 134549457 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98600 0 0 0 109764 250 0 0 25 0 1 0 777559750 391946240 94932 4294967295 134512640 134714508 3221224592 3221223280 134542845 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98600 0 0 0 110763 250 0 0 25 0 1 0 777559750 391946240 94932 4294967295 134512640 134714508 3221224592 3221223072 134697483 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98600 0 0 0 111763 251 0 0 25 0 1 0 777559750 391946240 94932 4294967295 134512640 134714508 3221224592 3221222988 1077379860 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98622 0 0 0 112763 251 0 0 25 0 1 0 777559750 392081408 94954 4294967295 134512640 134714508 3221224592 3221223516 1077781665 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98626 0 0 0 113763 251 0 0 25 0 1 0 777559750 392081408 94958 4294967295 134512640 134714508 3221224592 3221223160 1077378438 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98633 0 0 0 114762 252 0 0 25 0 1 0 777559750 392216576 94965 4294967295 134512640 134714508 3221224592 3221223200 134549316 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98633 0 0 0 115762 252 0 0 25 0 1 0 777559750 391942144 94931 4294967295 134512640 134714508 3221224592 3221223200 134549463 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.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98633 0 0 0 116762 253 0 0 25 0 1 0 777559750 391942144 94931 4294967295 134512640 134714508 3221224592 3221223516 1077781665 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.09 s]
Raw data (loadavg): 1.00 0.99 0.95 1/53 3100
Raw data (stat): 3043 (bsolo_lpr) R 3042 25830 25829 0 -1 0 98633 0 0 0 116762 253 0 0 25 0 1 0 777559750 391942144 94931 4294967295 134512640 134714508 3221224592 3221223516 1077781665 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.09
CPU time (s): 1175.2
CPU user time (s): 1172.49
CPU system time (s): 2.70959
CPU usage (%): 100.01
Max. virtual memory (Kb): 383024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####