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/miplib2003/normalized-mps-v2-13-7-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.86
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 27211

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-24 20:11:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17928 boxname=wulflinc2 idbench=1380 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-protfold.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-protfold.opb
IDLAUNCH: 17928
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        701224 kB
Buffers:         31704 kB
Cached:         280704 kB
SwapCached:        868 kB
Active:          35244 kB
Inactive:       279728 kB
HighTotal:      131008 kB
HighFree:         4508 kB
LowTotal:       903652 kB
LowFree:        696716 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12632 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:30:42 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 17928 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1835 variables and 2149 constraints.
c After prepocess the problem consists of 1835 variables and 2368 constraints.
c preprocess terminated 88.003 s
c Initial Lower Bound: -41
c Lower Bound Elapsed time: 21.924
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.13 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.98 0.95 2/54 2444
Raw data (stat): 2444 (runsolver) R 2443 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774797629 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.0003 s]
Raw data (loadavg): 0.93 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 14058 0 0 0 964 33 0 0 25 0 1 0 774797629 60805120 13975 4294967295 134512640 134714508 3221224592 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14845 13975 1111 63 0 14782 0
vsize: 59380
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 16545 0 0 0 1958 40 0 0 25 0 1 0 774797629 70946816 16462 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17321 16462 1111 63 0 17258 0
vsize: 69284
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17742 0 0 0 2956 42 0 0 25 0 1 0 774797629 75816960 17659 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18510 17659 1111 63 0 18447 0
vsize: 74040
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17753 0 0 0 3955 43 0 0 25 0 1 0 774797629 75816960 17670 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18510 17670 1111 63 0 18447 0
vsize: 74040
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17764 0 0 0 4955 43 0 0 25 0 1 0 774797629 75952128 17681 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17681 1111 63 0 18480 0
vsize: 74172
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17778 0 0 0 5955 43 0 0 25 0 1 0 774797629 75952128 17695 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17695 1111 63 0 18480 0
vsize: 74172
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17791 0 0 0 6956 43 0 0 25 0 1 0 774797629 76087296 17708 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17708 1111 63 0 18513 0
vsize: 74304
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 17802 0 0 0 7956 43 0 0 25 0 1 0 774797629 76087296 17719 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17719 1111 63 0 18513 0
vsize: 74304
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 18767 0 0 0 8954 45 0 0 25 0 1 0 774797629 79663104 18504 4294967295 134512640 134714508 3221224592 3221220640 1075112086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19449 18504 1111 63 0 19386 0
vsize: 77796
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 18992 0 0 0 9953 45 0 0 25 0 1 0 774797629 79646720 18641 4294967295 134512640 134714508 3221224592 3221221480 1075112606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19445 18641 1111 63 0 19382 0
vsize: 77780
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 19606 0 0 0 10952 47 0 0 25 0 1 0 774797629 78045184 18331 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19054 18331 1111 63 0 18991 0
vsize: 76216
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 19741 0 0 0 11950 48 0 0 25 0 1 0 774797629 78581760 18466 4294967295 134512640 134714508 3221224592 3221223328 134535840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19185 18466 1111 63 0 19122 0
vsize: 76740
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 19872 0 0 0 12948 50 0 0 25 0 1 0 774797629 78987264 18597 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19284 18597 1111 63 0 19221 0
vsize: 77136
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20047 0 0 0 13947 51 0 0 25 0 1 0 774797629 79798272 18772 4294967295 134512640 134714508 3221224592 3221223132 134539217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19482 18772 1111 63 0 19419 0
vsize: 77928
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20260 0 0 0 14946 52 0 0 25 0 1 0 774797629 80609280 18985 4294967295 134512640 134714508 3221224592 3221223384 134597569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19680 18985 1111 63 0 19617 0
vsize: 78720
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20380 0 0 0 15944 54 0 0 25 0 1 0 774797629 81149952 19105 4294967295 134512640 134714508 3221224592 3221223360 134529115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19812 19105 1111 63 0 19749 0
vsize: 79248
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20634 0 0 0 16943 56 0 0 25 0 1 0 774797629 82227200 19359 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20075 19359 1111 63 0 20012 0
vsize: 80300
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20776 0 0 0 17942 57 0 0 25 0 1 0 774797629 82767872 19501 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20207 19501 1111 63 0 20144 0
vsize: 80828
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 20947 0 0 0 18941 58 0 0 25 0 1 0 774797629 83443712 19672 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20372 19672 1111 63 0 20309 0
vsize: 81488
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21140 0 0 0 19939 60 0 0 25 0 1 0 774797629 84254720 19865 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20570 19865 1111 63 0 20507 0
vsize: 82280
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21323 0 0 0 20938 61 0 0 25 0 1 0 774797629 84930560 20048 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20735 20048 1111 63 0 20672 0
vsize: 82940
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21468 0 0 0 21937 63 0 0 25 0 1 0 774797629 85606400 20193 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20900 20193 1111 63 0 20837 0
vsize: 83600
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21601 0 0 0 22936 64 0 0 25 0 1 0 774797629 86147072 20326 4294967295 134512640 134714508 3221224592 3221223208 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21032 20326 1111 63 0 20969 0
vsize: 84128
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21712 0 0 0 23935 65 0 0 25 0 1 0 774797629 86552576 20437 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21131 20437 1111 63 0 21068 0
vsize: 84524
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 21871 0 0 0 24934 66 0 0 25 0 1 0 774797629 87228416 20596 4294967295 134512640 134714508 3221224592 3221223328 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21296 20596 1111 63 0 21233 0
vsize: 85184
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22053 0 0 0 25933 67 0 0 25 0 1 0 774797629 88039424 20778 4294967295 134512640 134714508 3221224592 3221223176 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21494 20778 1111 63 0 21431 0
vsize: 85976
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22225 0 0 0 26932 69 0 0 25 0 1 0 774797629 88715264 20950 4294967295 134512640 134714508 3221224592 3221223316 134613700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21659 20950 1111 63 0 21596 0
vsize: 86636
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22435 0 0 0 27930 70 0 0 25 0 1 0 774797629 89526272 21160 4294967295 134512640 134714508 3221224592 3221223384 134597569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21857 21160 1111 63 0 21794 0
vsize: 87428
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22602 0 0 0 28929 72 0 0 25 0 1 0 774797629 90202112 21327 4294967295 134512640 134714508 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22022 21327 1111 63 0 21959 0
vsize: 88088
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22800 0 0 0 29927 73 0 0 25 0 1 0 774797629 91013120 21525 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22220 21525 1111 63 0 22157 0
vsize: 88880
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 22969 0 0 0 30926 75 0 0 25 0 1 0 774797629 91688960 21694 4294967295 134512640 134714508 3221224592 3221223348 134652863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22385 21694 1111 63 0 22322 0
vsize: 89540
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23193 0 0 0 31925 76 0 0 25 0 1 0 774797629 92631040 21918 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22615 21918 1111 63 0 22552 0
vsize: 90460
[startup+330.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23292 0 0 0 32924 77 0 0 25 0 1 0 774797629 93106176 22017 4294967295 134512640 134714508 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22731 22017 1111 63 0 22668 0
vsize: 90924
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23450 0 0 0 33923 79 0 0 25 0 1 0 774797629 93646848 22175 4294967295 134512640 134714508 3221224592 3221223216 134542865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22863 22175 1111 63 0 22800 0
vsize: 91452
[startup+350.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23600 0 0 0 34922 79 0 0 25 0 1 0 774797629 94322688 22325 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23028 22325 1111 63 0 22965 0
vsize: 92112
[startup+360.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23757 0 0 0 35921 81 0 0 25 0 1 0 774797629 94998528 22482 4294967295 134512640 134714508 3221224592 3221223148 134535637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23193 22482 1111 63 0 23130 0
vsize: 92772
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 23914 0 0 0 36920 82 0 0 25 0 1 0 774797629 95674368 22639 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23358 22639 1111 63 0 23295 0
vsize: 93432
[startup+380.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24098 0 0 0 37918 84 0 0 25 0 1 0 774797629 96350208 22823 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23523 22823 1111 63 0 23460 0
vsize: 94092
[startup+390.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24234 0 0 0 38917 85 0 0 25 0 1 0 774797629 96886784 22959 4294967295 134512640 134714508 3221224592 3221223376 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23654 22959 1111 63 0 23591 0
vsize: 94616
[startup+400.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24406 0 0 0 39916 87 0 0 25 0 1 0 774797629 97562624 23131 4294967295 134512640 134714508 3221224592 3221223148 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23819 23131 1111 63 0 23756 0
vsize: 95276
[startup+410.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24576 0 0 0 40915 88 0 0 25 0 1 0 774797629 98369536 23301 4294967295 134512640 134714508 3221224592 3221223232 134542356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24016 23301 1111 63 0 23953 0
vsize: 96064
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24730 0 0 0 41913 90 0 0 25 0 1 0 774797629 98910208 23455 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24148 23455 1111 63 0 24085 0
vsize: 96592
[startup+430.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 24900 0 0 0 42911 92 0 0 25 0 1 0 774797629 99586048 23625 4294967295 134512640 134714508 3221224592 3221223232 134542980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24313 23625 1111 63 0 24250 0
vsize: 97252
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25042 0 0 0 43910 93 0 0 25 0 1 0 774797629 100261888 23767 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24478 23767 1111 63 0 24415 0
vsize: 97912
[startup+450.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25181 0 0 0 44909 94 0 0 25 0 1 0 774797629 100802560 23906 4294967295 134512640 134714508 3221224592 3221223380 134597610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24610 23906 1111 63 0 24547 0
vsize: 98440
[startup+460.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25378 0 0 0 45908 96 0 0 25 0 1 0 774797629 101613568 24103 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24808 24103 1111 63 0 24745 0
vsize: 99232
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25535 0 0 0 46906 98 0 0 25 0 1 0 774797629 102289408 24260 4294967295 134512640 134714508 3221224592 3221223244 134542371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24973 24260 1111 63 0 24910 0
vsize: 99892
[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25626 0 0 0 47905 99 0 0 25 0 1 0 774797629 102559744 24351 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25039 24351 1111 63 0 24976 0
vsize: 100156
[startup+490.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25744 0 0 0 48905 100 0 0 25 0 1 0 774797629 103100416 24469 4294967295 134512640 134714508 3221224592 3221223152 134696552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25171 24469 1111 63 0 25108 0
vsize: 100684
[startup+500.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25855 0 0 0 49904 101 0 0 25 0 1 0 774797629 103505920 24580 4294967295 134512640 134714508 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25270 24580 1111 63 0 25207 0
vsize: 101080
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25964 0 0 0 50903 102 0 0 25 0 1 0 774797629 104013824 24689 4294967295 134512640 134714508 3221224592 3221223148 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25394 24689 1111 63 0 25331 0
vsize: 101576
[startup+520.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 25971 0 0 0 51902 103 0 0 25 0 1 0 774797629 104013824 24696 4294967295 134512640 134714508 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25394 24696 1111 63 0 25331 0
vsize: 101576
[startup+530.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26043 0 0 0 52902 103 0 0 25 0 1 0 774797629 104284160 24768 4294967295 134512640 134714508 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25460 24768 1111 63 0 25397 0
vsize: 101840
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26054 0 0 0 53902 104 0 0 25 0 1 0 774797629 104419328 24779 4294967295 134512640 134714508 3221224592 3221223180 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25493 24779 1111 63 0 25430 0
vsize: 101972
[startup+550.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26068 0 0 0 54902 104 0 0 25 0 1 0 774797629 104411136 24793 4294967295 134512640 134714508 3221224592 3221223244 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25491 24793 1111 63 0 25428 0
vsize: 101964
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26145 0 0 0 55901 105 0 0 25 0 1 0 774797629 104681472 24870 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25557 24870 1111 63 0 25494 0
vsize: 102228
[startup+570.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26168 0 0 0 56901 105 0 0 25 0 1 0 774797629 104812544 24893 4294967295 134512640 134714508 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24893 1111 63 0 25526 0
vsize: 102356
[startup+580.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26177 0 0 0 57900 106 0 0 25 0 1 0 774797629 104812544 24902 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24902 1111 63 0 25526 0
vsize: 102356
[startup+590.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26214 0 0 0 58900 107 0 0 25 0 1 0 774797629 105062400 24939 4294967295 134512640 134714508 3221224592 3221223108 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25650 24939 1111 63 0 25587 0
vsize: 102600
[startup+600.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26263 0 0 0 59899 108 0 0 25 0 1 0 774797629 105197568 24988 4294967295 134512640 134714508 3221224592 3221223328 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25683 24988 1111 63 0 25620 0
vsize: 102732
[startup+610.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26422 0 0 0 60898 109 0 0 25 0 1 0 774797629 105873408 25147 4294967295 134512640 134714508 3221224592 3221223132 134539309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25848 25147 1111 63 0 25785 0
vsize: 103392
[startup+620.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26576 0 0 0 61897 110 0 0 25 0 1 0 774797629 106549248 25301 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26013 25301 1111 63 0 25950 0
vsize: 104052
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26675 0 0 0 62896 111 0 0 25 0 1 0 774797629 106954752 25400 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26112 25400 1111 63 0 26049 0
vsize: 104448
[startup+640.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26809 0 0 0 63895 112 0 0 25 0 1 0 774797629 107495424 25534 4294967295 134512640 134714508 3221224592 3221223332 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26244 25534 1111 63 0 26181 0
vsize: 104976
[startup+650.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 26895 0 0 0 64895 113 0 0 25 0 1 0 774797629 107765760 25620 4294967295 134512640 134714508 3221224592 3221223132 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26310 25620 1111 63 0 26247 0
vsize: 105240
[startup+660.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27048 0 0 0 65894 114 0 0 25 0 1 0 774797629 108441600 25773 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26475 25773 1111 63 0 26412 0
vsize: 105900
[startup+670.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27198 0 0 0 66893 115 0 0 25 0 1 0 774797629 109117440 25923 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26640 25923 1111 63 0 26577 0
vsize: 106560
[startup+680.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27277 0 0 0 67893 115 0 0 25 0 1 0 774797629 109387776 26002 4294967295 134512640 134714508 3221224592 3221223232 134696123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26706 26002 1111 63 0 26643 0
vsize: 106824
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27343 0 0 0 68892 116 0 0 25 0 1 0 774797629 109658112 26068 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26772 26068 1111 63 0 26709 0
vsize: 107088
[startup+700.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27444 0 0 0 69892 117 0 0 25 0 1 0 774797629 110063616 26169 4294967295 134512640 134714508 3221224592 3221223184 134696077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26871 26169 1111 63 0 26808 0
vsize: 107484
[startup+710.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27562 0 0 0 70890 118 0 0 25 0 1 0 774797629 110604288 26287 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27003 26287 1111 63 0 26940 0
vsize: 108012
[startup+720.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27601 0 0 0 71889 119 0 0 25 0 1 0 774797629 110739456 26326 4294967295 134512640 134714508 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27036 26326 1111 63 0 26973 0
vsize: 108144
[startup+730.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27718 0 0 0 72888 121 0 0 25 0 1 0 774797629 111140864 26443 4294967295 134512640 134714508 3221224592 3221223264 134535760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27134 26443 1111 63 0 27071 0
vsize: 108536
[startup+740.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27874 0 0 0 73887 122 0 0 25 0 1 0 774797629 111816704 26599 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27299 26599 1111 63 0 27236 0
vsize: 109196
[startup+750.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 27983 0 0 0 74886 124 0 0 25 0 1 0 774797629 112218112 26708 4294967295 134512640 134714508 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27397 26708 1111 63 0 27334 0
vsize: 109588
[startup+760.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28069 0 0 0 75885 125 0 0 25 0 1 0 774797629 112623616 26794 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27496 26794 1111 63 0 27433 0
vsize: 109984
[startup+770.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28180 0 0 0 76884 126 0 0 25 0 1 0 774797629 113029120 26905 4294967295 134512640 134714508 3221224592 3221223232 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27595 26905 1111 63 0 27532 0
vsize: 110380
[startup+780.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28332 0 0 0 77882 128 0 0 25 0 1 0 774797629 113704960 27057 4294967295 134512640 134714508 3221224592 3221223360 134587964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27760 27057 1111 63 0 27697 0
vsize: 111040
[startup+790.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28401 0 0 0 78880 130 0 0 25 0 1 0 774797629 113975296 27126 4294967295 134512640 134714508 3221224592 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27826 27126 1111 63 0 27763 0
vsize: 111304
[startup+800.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28451 0 0 0 79880 131 0 0 25 0 1 0 774797629 114245632 27176 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27892 27176 1111 63 0 27829 0
vsize: 111568
[startup+810.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28541 0 0 0 80879 131 0 0 25 0 1 0 774797629 114515968 27266 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27958 27266 1111 63 0 27895 0
vsize: 111832
[startup+820.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28671 0 0 0 81878 132 0 0 25 0 1 0 774797629 115052544 27396 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28089 27396 1111 63 0 28026 0
vsize: 112356
[startup+830.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28754 0 0 0 82878 133 0 0 25 0 1 0 774797629 115458048 27479 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28188 27479 1111 63 0 28125 0
vsize: 112752
[startup+840.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28825 0 0 0 83876 135 0 0 25 0 1 0 774797629 115728384 27550 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28254 27550 1111 63 0 28191 0
vsize: 113016
[startup+850.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28899 0 0 0 84875 136 0 0 25 0 1 0 774797629 115994624 27624 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28319 27624 1111 63 0 28256 0
vsize: 113276
[startup+860.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 28964 0 0 0 85875 137 0 0 25 0 1 0 774797629 116264960 27689 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28385 27689 1111 63 0 28322 0
vsize: 113540
[startup+870.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29038 0 0 0 86873 138 0 0 25 0 1 0 774797629 116535296 27763 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28451 27763 1111 63 0 28388 0
vsize: 113804
[startup+880.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29124 0 0 0 87873 139 0 0 25 0 1 0 774797629 116940800 27849 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28550 27849 1111 63 0 28487 0
vsize: 114200
[startup+890.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29230 0 0 0 88872 140 0 0 25 0 1 0 774797629 117346304 27955 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27955 1111 63 0 28586 0
vsize: 114596
[startup+900.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29370 0 0 0 89871 141 0 0 25 0 1 0 774797629 118022144 28095 4294967295 134512640 134714508 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28814 28095 1111 63 0 28751 0
vsize: 115256
[startup+910.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29467 0 0 0 90870 142 0 0 25 0 1 0 774797629 118292480 28192 4294967295 134512640 134714508 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28880 28192 1111 63 0 28817 0
vsize: 115520
[startup+920.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29548 0 0 0 91869 144 0 0 25 0 1 0 774797629 118693888 28273 4294967295 134512640 134714508 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28978 28273 1111 63 0 28915 0
vsize: 115912
[startup+930.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29686 0 0 0 92867 145 0 0 25 0 1 0 774797629 119234560 28411 4294967295 134512640 134714508 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29110 28411 1111 63 0 29047 0
vsize: 116440
[startup+940.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29828 0 0 0 93867 146 0 0 25 0 1 0 774797629 119775232 28553 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29242 28553 1111 63 0 29179 0
vsize: 116968
[startup+950.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 29955 0 0 0 94866 147 0 0 25 0 1 0 774797629 120315904 28680 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29374 28680 1111 63 0 29311 0
vsize: 117496
[startup+960.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30088 0 0 0 95866 148 0 0 25 0 1 0 774797629 120852480 28813 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29505 28813 1111 63 0 29442 0
vsize: 118020
[startup+970.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30148 0 0 0 96865 149 0 0 25 0 1 0 774797629 121122816 28873 4294967295 134512640 134714508 3221224592 3221223220 134696264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29571 28873 1111 63 0 29508 0
vsize: 118284
[startup+980.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30237 0 0 0 97863 150 0 0 25 0 1 0 774797629 121528320 28962 4294967295 134512640 134714508 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29670 28962 1111 63 0 29607 0
vsize: 118680
[startup+990.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30284 0 0 0 98863 151 0 0 25 0 1 0 774797629 121663488 29009 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29703 29009 1111 63 0 29640 0
vsize: 118812
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30380 0 0 0 99862 152 0 0 25 0 1 0 774797629 122068992 29105 4294967295 134512640 134714508 3221224592 3221223208 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29802 29105 1111 63 0 29739 0
vsize: 119208
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30453 0 0 0 100861 153 0 0 25 0 1 0 774797629 122339328 29178 4294967295 134512640 134714508 3221224592 3221223328 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29868 29178 1111 63 0 29805 0
vsize: 119472
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30516 0 0 0 101861 154 0 0 25 0 1 0 774797629 122609664 29241 4294967295 134512640 134714508 3221224592 3221223352 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29934 29241 1111 63 0 29871 0
vsize: 119736
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30578 0 0 0 102860 154 0 0 25 0 1 0 774797629 122880000 29303 4294967295 134512640 134714508 3221224592 3221222688 134697255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30000 29303 1111 63 0 29937 0
vsize: 120000
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30634 0 0 0 103860 155 0 0 25 0 1 0 774797629 123150336 29359 4294967295 134512640 134714508 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30066 29359 1111 63 0 30003 0
vsize: 120264
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30667 0 0 0 104860 155 0 0 25 0 1 0 774797629 123285504 29392 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30099 29392 1111 63 0 30036 0
vsize: 120396
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30701 0 0 0 105860 156 0 0 25 0 1 0 774797629 123420672 29426 4294967295 134512640 134714508 3221224592 3221223244 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30132 29426 1111 63 0 30069 0
vsize: 120528
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30763 0 0 0 106859 157 0 0 25 0 1 0 774797629 123691008 29488 4294967295 134512640 134714508 3221224592 3221223296 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30198 29488 1111 63 0 30135 0
vsize: 120792
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30787 0 0 0 107859 157 0 0 25 0 1 0 774797629 123822080 29512 4294967295 134512640 134714508 3221224592 3221223244 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30230 29512 1111 63 0 30167 0
vsize: 120920
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30815 0 0 0 108858 158 0 0 25 0 1 0 774797629 123822080 29540 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30230 29540 1111 63 0 30167 0
vsize: 120920
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30832 0 0 0 109858 158 0 0 25 0 1 0 774797629 123936768 29557 4294967295 134512640 134714508 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30258 29557 1111 63 0 30195 0
vsize: 121032
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30849 0 0 0 110858 158 0 0 25 0 1 0 774797629 124063744 29574 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29574 1111 63 0 30226 0
vsize: 121156
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30858 0 0 0 111858 159 0 0 25 0 1 0 774797629 124063744 29583 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29583 1111 63 0 30226 0
vsize: 121156
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30877 0 0 0 112857 160 0 0 25 0 1 0 774797629 124063744 29602 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29602 1111 63 0 30226 0
vsize: 121156
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30911 0 0 0 113857 160 0 0 25 0 1 0 774797629 124334080 29636 4294967295 134512640 134714508 3221224592 3221223216 134696231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 29636 1111 63 0 30292 0
vsize: 121420
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30923 0 0 0 114857 161 0 0 25 0 1 0 774797629 124334080 29648 4294967295 134512640 134714508 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 29648 1111 63 0 30292 0
vsize: 121420
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30938 0 0 0 115856 161 0 0 25 0 1 0 774797629 124334080 29663 4294967295 134512640 134714508 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 29663 1111 63 0 30292 0
vsize: 121420
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30946 0 0 0 116856 162 0 0 25 0 1 0 774797629 124444672 29671 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29671 1111 63 0 30319 0
vsize: 121528
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.98 0.95 1/53 2444
Raw data (stat): 2444 (bsolo_lpr) R 2443 31399 31398 0 -1 0 30946 0 0 0 116856 162 0 0 25 0 1 0 774797629 124444672 29671 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29671 1111 63 0 30319 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.19
CPU user time (s): 1173.51
CPU system time (s): 1.67674
CPU usage (%): 100.014
Max. virtual memory (Kb): 121528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####