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-vpm2.opb
MD5SUM	766b2fe57cb2084b069363491485612e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	97
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16000000
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	241094849
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	2754
Total number of constraints	444
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	11
Maximum length of a constraint	84
Trace number 40055

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 01:25:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28118 boxname=wulflinc3 idbench=1074 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  766b2fe57cb2084b069363491485612e  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 28118
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        901588 kB
Buffers:         30740 kB
Cached:          80304 kB
SwapCached:        680 kB
Active:          30716 kB
Inactive:        82336 kB
HighTotal:      131008 kB
HighFree:        54992 kB
LowTotal:       903652 kB
LowFree:        846596 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            14424 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:45:19 (client local time) WITH STATUS 0 IN 1175.32 SECONDS
stats: 28118 7 1175.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1842 variables and 296 constraints.
c preprocess terminated 79.103 s
c Initial Lower Bound: 39
c Lower Bound Elapsed time: 0.11775
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.3 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 18927
Raw data (stat): 18927 (runsolver) R 18926 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897650141 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 6497 0 0 0 980 17 0 0 25 0 1 0 897650141 29745152 6415 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7262 6415 1111 63 0 7199 0
vsize: 29048
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 6570 0 0 0 1980 18 0 0 25 0 1 0 897650141 30076928 6488 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 6488 1111 63 0 7280 0
vsize: 29372
[startup+30.0029 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 6570 0 0 0 2980 18 0 0 25 0 1 0 897650141 30076928 6488 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 6488 1111 63 0 7280 0
vsize: 29372
[startup+40.0037 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 6570 0 0 0 3979 18 0 0 25 0 1 0 897650141 30076928 6488 4294967295 134512640 134716908 3221224576 3221223288 134543541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 6488 1111 63 0 7280 0
vsize: 29372
[startup+50.0041 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 6570 0 0 0 4979 19 0 0 25 0 1 0 897650141 30076928 6488 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 6488 1111 63 0 7280 0
vsize: 29372
[startup+60.0054 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 6570 0 0 0 5979 19 0 0 25 0 1 0 897650141 30076928 6488 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 6488 1111 63 0 7280 0
vsize: 29372
[startup+70.0058 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 6570 0 0 0 6978 20 0 0 25 0 1 0 897650141 30076928 6488 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 6488 1111 63 0 7280 0
vsize: 29372
[startup+80.0075 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 6801 0 0 0 7976 21 0 0 25 0 1 0 897650141 30289920 6652 4294967295 134512640 134716908 3221224576 3221222304 1075828577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 6652 1111 63 0 7332 0
vsize: 29580
[startup+90.0078 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 7741 0 0 0 8972 26 0 0 25 0 1 0 897650141 30130176 6649 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 6649 1111 63 0 7293 0
vsize: 29424
[startup+100.008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 8532 0 0 0 9968 29 0 0 25 0 1 0 897650141 30470144 6667 4294967295 134512640 134716908 3221224576 3221221024 1075132497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7439 6667 1111 63 0 7376 0
vsize: 29756
[startup+110.008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 9933 0 0 0 10964 34 0 0 25 0 1 0 897650141 30453760 6672 4294967295 134512640 134716908 3221224576 3221220516 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7435 6672 1111 63 0 7372 0
vsize: 29740
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 12037 0 0 0 11955 43 0 0 25 0 1 0 897650141 30179328 6666 4294967295 134512640 134716908 3221224576 3221222976 1074118827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6666 1111 63 0 7305 0
vsize: 29472
[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 13819 0 0 0 12950 48 0 0 25 0 1 0 897650141 30130176 6654 4294967295 134512640 134716908 3221224576 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 6654 1111 63 0 7293 0
vsize: 29424
[startup+140.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 15517 0 0 0 13944 54 0 0 25 0 1 0 897650141 30445568 6657 4294967295 134512640 134716908 3221224576 3221222400 1075823501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7433 6657 1111 63 0 7370 0
vsize: 29732
[startup+150.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 17237 0 0 0 14937 61 0 0 25 0 1 0 897650141 30179328 6666 4294967295 134512640 134716908 3221224576 3221222972 1074207488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6666 1111 63 0 7305 0
vsize: 29472
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 19299 0 0 0 15930 68 0 0 25 0 1 0 897650141 30560256 6694 4294967295 134512640 134716908 3221224576 3221220572 1074873550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7461 6694 1111 63 0 7398 0
vsize: 29844
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 21548 0 0 0 16922 76 0 0 25 0 1 0 897650141 30486528 6663 4294967295 134512640 134716908 3221224576 3221222520 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6663 1111 63 0 7380 0
vsize: 29772
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 23899 0 0 0 17915 84 0 0 25 0 1 0 897650141 30175232 6665 4294967295 134512640 134716908 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6665 1111 63 0 7304 0
vsize: 29468
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 26096 0 0 0 18908 91 0 0 25 0 1 0 897650141 30130176 6654 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 6654 1111 63 0 7293 0
vsize: 29424
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 28357 0 0 0 19900 98 0 0 25 0 1 0 897650141 30130176 6654 4294967295 134512640 134716908 3221224576 3221222240 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 6654 1111 63 0 7293 0
vsize: 29424
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 30658 0 0 0 20893 106 0 0 25 0 1 0 897650141 30547968 6690 4294967295 134512640 134716908 3221224576 3221221104 1076049814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7458 6690 1111 63 0 7395 0
vsize: 29832
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 32804 0 0 0 21887 112 0 0 25 0 1 0 897650141 30179328 6666 4294967295 134512640 134716908 3221224576 3221222540 1074152784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6666 1111 63 0 7305 0
vsize: 29472
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 34811 0 0 0 22880 119 0 0 25 0 1 0 897650141 30269440 6688 4294967295 134512640 134716908 3221224576 3221222256 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7390 6688 1111 63 0 7327 0
vsize: 29560
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 37019 0 0 0 23875 125 0 0 25 0 1 0 897650141 30699520 6725 4294967295 134512640 134716908 3221224576 3221221408 1075115489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7495 6725 1111 63 0 7432 0
vsize: 29980
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 39123 0 0 0 24868 131 0 0 25 0 1 0 897650141 30322688 6701 4294967295 134512640 134716908 3221224576 3221223360 134624483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7403 6701 1111 63 0 7340 0
vsize: 29612
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 41294 0 0 0 25861 139 0 0 25 0 1 0 897650141 30367744 6712 4294967295 134512640 134716908 3221224576 3221222824 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6712 1111 63 0 7351 0
vsize: 29656
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 43340 0 0 0 26856 144 0 0 25 0 1 0 897650141 30363648 6711 4294967295 134512640 134716908 3221224576 3221222624 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7413 6711 1111 63 0 7350 0
vsize: 29652
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 45471 0 0 0 27849 151 0 0 25 0 1 0 897650141 30683136 6724 4294967295 134512640 134716908 3221224576 3221220792 1074950096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7491 6724 1111 63 0 7428 0
vsize: 29964
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 47675 0 0 0 28841 159 0 0 25 0 1 0 897650141 30363648 6711 4294967295 134512640 134716908 3221224576 3221222880 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7413 6711 1111 63 0 7350 0
vsize: 29652
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 49482 0 0 0 29835 166 0 0 25 0 1 0 897650141 30314496 6699 4294967295 134512640 134716908 3221224576 3221222392 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6699 1111 63 0 7338 0
vsize: 29604
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 51696 0 0 0 30830 171 0 0 25 0 1 0 897650141 30732288 6737 4294967295 134512640 134716908 3221224576 3221220600 1074950184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7503 6737 1111 63 0 7440 0
vsize: 30012
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 53827 0 0 0 31823 178 0 0 25 0 1 0 897650141 30781440 6745 4294967295 134512640 134716908 3221224576 3221220648 1074950213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7515 6745 1111 63 0 7452 0
vsize: 30060
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 55871 0 0 0 32817 184 0 0 25 0 1 0 897650141 30269440 6689 4294967295 134512640 134716908 3221224576 3221222512 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7390 6689 1111 63 0 7327 0
vsize: 29560
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 57944 0 0 0 33810 191 0 0 25 0 1 0 897650141 30404608 6713 4294967295 134512640 134716908 3221224576 3221222992 1074116379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7423 6713 1111 63 0 7360 0
vsize: 29692
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 60152 0 0 0 34804 198 0 0 25 0 1 0 897650141 30404608 6722 4294967295 134512640 134716908 3221224576 3221222760 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7423 6722 1111 63 0 7360 0
vsize: 29692
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 62272 0 0 0 35798 204 0 0 25 0 1 0 897650141 30367744 6714 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6714 1111 63 0 7351 0
vsize: 29656
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 64470 0 0 0 36792 210 0 0 25 0 1 0 897650141 30789632 6749 4294967295 134512640 134716908 3221224576 3221221504 1075960432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7517 6749 1111 63 0 7454 0
vsize: 30068
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 66580 0 0 0 37785 217 0 0 25 0 1 0 897650141 30785536 6746 4294967295 134512640 134716908 3221224576 3221220736 1075093060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7516 6746 1111 63 0 7453 0
vsize: 30064
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 68738 0 0 0 38781 222 0 0 25 0 1 0 897650141 30523392 6745 4294967295 134512640 134716908 3221224576 3221223056 1074039440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7452 6745 1111 63 0 7389 0
vsize: 29808
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 70903 0 0 0 39774 229 0 0 25 0 1 0 897650141 30408704 6724 4294967295 134512640 134716908 3221224576 3221222192 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7424 6724 1111 63 0 7361 0
vsize: 29696
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 72976 0 0 0 40768 235 0 0 25 0 1 0 897650141 30605312 6742 4294967295 134512640 134716908 3221224576 3221222900 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6740 1111 63 0 7385 0
vsize: 29888
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 74999 0 0 0 41762 241 0 0 25 0 1 0 897650141 30453760 6735 4294967295 134512640 134716908 3221224576 3221222696 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7435 6735 1111 63 0 7372 0
vsize: 29740
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 77022 0 0 0 42756 248 0 0 25 0 1 0 897650141 30404608 6723 4294967295 134512640 134716908 3221224576 3221222312 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7423 6723 1111 63 0 7360 0
vsize: 29692
[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 79145 0 0 0 43749 255 0 0 25 0 1 0 897650141 30605312 6751 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6747 1111 63 0 7384 0
vsize: 29888
[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 81379 0 0 0 44741 263 0 0 25 0 1 0 897650141 30822400 6759 4294967295 134512640 134716908 3221224576 3221220960 1075119219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7525 6759 1111 63 0 7462 0
vsize: 30100
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 83617 0 0 0 45734 271 0 0 25 0 1 0 897650141 30871552 6770 4294967295 134512640 134716908 3221224576 3221220744 1075560389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6770 1111 63 0 7474 0
vsize: 30148
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 85723 0 0 0 46727 278 0 0 25 0 1 0 897650141 30830592 6767 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7527 6767 1111 63 0 7464 0
vsize: 30108
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 87873 0 0 0 47721 284 0 0 25 0 1 0 897650141 30457856 6736 4294967295 134512640 134716908 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6736 1111 63 0 7373 0
vsize: 29744
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 89923 0 0 0 48715 290 0 0 25 0 1 0 897650141 30457856 6736 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6736 1111 63 0 7373 0
vsize: 29744
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 91910 0 0 0 49709 297 0 0 25 0 1 0 897650141 30781440 6741 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7515 6742 1111 63 0 7452 0
vsize: 30060
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 93697 0 0 0 50703 302 0 0 25 0 1 0 897650141 30457856 6736 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6736 1111 63 0 7373 0
vsize: 29744
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 95503 0 0 0 51698 308 0 0 25 0 1 0 897650141 30597120 6770 4294967295 134512640 134716908 3221224576 3221222864 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7470 6770 1111 63 0 7407 0
vsize: 29880
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 97459 0 0 0 52694 312 0 0 25 0 1 0 897650141 30560256 6761 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6761 1111 63 0 7398 0
vsize: 29844
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 99568 0 0 0 53687 319 0 0 25 0 1 0 897650141 30646272 6736 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7482 6736 1111 63 0 7419 0
vsize: 29928
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 101455 0 0 0 54680 326 0 0 25 0 1 0 897650141 30863360 6767 4294967295 134512640 134716908 3221224576 3221220952 1075112516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7535 6767 1111 63 0 7472 0
vsize: 30140
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 103516 0 0 0 55675 331 0 0 25 0 1 0 897650141 30867456 6754 4294967295 134512640 134716908 3221224576 3221221040 1075602817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7536 6754 1111 63 0 7473 0
vsize: 30144
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 105659 0 0 0 56668 338 0 0 25 0 1 0 897650141 30597120 6762 4294967295 134512640 134716908 3221224576 3221222528 1074916669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7470 6762 1111 63 0 7407 0
vsize: 29880
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 107862 0 0 0 57663 344 0 0 25 0 1 0 897650141 30560256 6756 4294967295 134512640 134716908 3221224576 3221222784 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6756 1111 63 0 7398 0
vsize: 29844
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 110008 0 0 0 58657 350 0 0 25 0 1 0 897650141 30801920 6753 4294967295 134512640 134716908 3221224576 3221222304 1075829517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7520 6753 1111 63 0 7457 0
vsize: 30080
[startup+600.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 112229 0 0 0 59650 357 0 0 25 0 1 0 897650141 30601216 6771 4294967295 134512640 134716908 3221224576 3221222688 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6771 1111 63 0 7408 0
vsize: 29884
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 114145 0 0 0 60644 363 0 0 25 0 1 0 897650141 30507008 6748 4294967295 134512640 134716908 3221224576 3221222448 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6748 1111 63 0 7385 0
vsize: 29792
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 116209 0 0 0 61638 369 0 0 25 0 1 0 897650141 30552064 6759 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7459 6759 1111 63 0 7396 0
vsize: 29836
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 118117 0 0 0 62631 376 0 0 25 0 1 0 897650141 30560256 6761 4294967295 134512640 134716908 3221224576 3221222648 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6761 1111 63 0 7398 0
vsize: 29844
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 120168 0 0 0 63625 383 0 0 25 0 1 0 897650141 30560256 6761 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7461 6761 1111 63 0 7398 0
vsize: 29844
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 121746 0 0 0 64619 389 0 0 25 0 1 0 897650141 30814208 6766 4294967295 134512640 134716908 3221224576 3221220640 1075895897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7523 6766 1111 63 0 7460 0
vsize: 30092
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 122657 0 0 0 65616 392 0 0 25 0 1 0 897650141 30507008 6748 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6748 1111 63 0 7385 0
vsize: 29792
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 123232 0 0 0 66613 395 0 0 25 0 1 0 897650141 30507008 6748 4294967295 134512640 134716908 3221224576 3221221696 1074865804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6748 1111 63 0 7385 0
vsize: 29792
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 123401 0 0 0 67612 397 0 0 25 0 1 0 897650141 30507008 6748 4294967295 134512640 134716908 3221224576 3221222576 1074918212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6748 1111 63 0 7385 0
vsize: 29792
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 123582 0 0 0 68610 399 0 0 25 0 1 0 897650141 30507008 6748 4294967295 134512640 134716908 3221224576 3221223048 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6748 1111 63 0 7385 0
vsize: 29792
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 123892 0 0 0 69607 401 0 0 25 0 1 0 897650141 30507008 6748 4294967295 134512640 134716908 3221224576 3221222128 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6748 1111 63 0 7385 0
vsize: 29792
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 124281 0 0 0 70605 404 0 0 25 0 1 0 897650141 30728192 6750 4294967295 134512640 134716908 3221224576 3221220736 1074815186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7502 6750 1111 63 0 7439 0
vsize: 30008
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 124585 0 0 0 71602 407 0 0 25 0 1 0 897650141 30736384 6749 4294967295 134512640 134716908 3221224576 3221220524 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7504 6749 1111 63 0 7441 0
vsize: 30016
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 125212 0 0 0 72600 409 0 0 25 0 1 0 897650141 30728192 6750 4294967295 134512640 134716908 3221224576 3221220600 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7502 6750 1111 63 0 7439 0
vsize: 30008
[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 126039 0 0 0 73597 413 0 0 25 0 1 0 897650141 30507008 6748 4294967295 134512640 134716908 3221224576 3221221928 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6748 1111 63 0 7385 0
vsize: 29792
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 128373 0 0 0 74590 420 0 0 25 0 1 0 897650141 30945280 6789 4294967295 134512640 134716908 3221224576 3221222432 1075799723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7555 6789 1111 63 0 7492 0
vsize: 30220
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 130378 0 0 0 75585 425 0 0 25 0 1 0 897650141 30658560 6779 4294967295 134512640 134716908 3221224576 3221222880 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7485 6779 1111 63 0 7422 0
vsize: 29940
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 132771 0 0 0 76578 433 0 0 25 0 1 0 897650141 30609408 6774 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 6774 1111 63 0 7410 0
vsize: 29892
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 135158 0 0 0 77571 440 0 0 25 0 1 0 897650141 30662656 6787 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 6787 1111 63 0 7423 0
vsize: 29944
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 137382 0 0 0 78565 446 0 0 25 0 1 0 897650141 30883840 6767 4294967295 134512640 134716908 3221224576 3221221560 1074831816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7540 6767 1111 63 0 7477 0
vsize: 30160
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 139665 0 0 0 79557 454 0 0 25 0 1 0 897650141 30556160 6764 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7460 6764 1111 63 0 7397 0
vsize: 29840
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 142125 0 0 0 80551 460 0 0 25 0 1 0 897650141 30556160 6764 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7460 6764 1111 63 0 7397 0
vsize: 29840
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 144683 0 0 0 81542 469 0 0 25 0 1 0 897650141 30646272 6777 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7482 6777 1111 63 0 7419 0
vsize: 29928
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 147033 0 0 0 82535 476 0 0 25 0 1 0 897650141 30674944 6793 4294967295 134512640 134716908 3221224576 3221223444 1076647544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7489 6793 1111 63 0 7426 0
vsize: 29956
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 149141 0 0 0 83530 481 0 0 25 0 1 0 897650141 30650368 6787 4294967295 134512640 134716908 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7483 6787 1111 63 0 7420 0
vsize: 29932
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 151735 0 0 0 84522 490 0 0 25 0 1 0 897650141 30650368 6787 4294967295 134512640 134716908 3221224576 3221222576 1074918536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7483 6787 1111 63 0 7420 0
vsize: 29932
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 154116 0 0 0 85515 496 0 0 25 0 1 0 897650141 30912512 6785 4294967295 134512640 134716908 3221224576 3221222624 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7547 6785 1111 63 0 7484 0
vsize: 30188
[startup+870.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 156077 0 0 0 86509 503 0 0 25 0 1 0 897650141 30507008 6752 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6752 1111 63 0 7385 0
vsize: 29792
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 158208 0 0 0 87501 511 0 0 25 0 1 0 897650141 30982144 6804 4294967295 134512640 134716908 3221224576 3221220540 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6804 1111 63 0 7501 0
vsize: 30256
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 160706 0 0 0 88495 518 0 0 25 0 1 0 897650141 30629888 6782 4294967295 134512640 134716908 3221224576 3221222432 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7478 6782 1111 63 0 7415 0
vsize: 29912
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 162819 0 0 0 89487 525 0 0 25 0 1 0 897650141 30978048 6804 4294967295 134512640 134716908 3221224576 3221221600 1074810525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7563 6804 1111 63 0 7500 0
vsize: 30252
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 165166 0 0 0 90481 531 0 0 25 0 1 0 897650141 30695424 6800 4294967295 134512640 134716908 3221224576 3221221696 1074866182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6800 1111 63 0 7431 0
vsize: 29976
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 167141 0 0 0 91475 538 0 0 25 0 1 0 897650141 30564352 6768 4294967295 134512640 134716908 3221224576 3221222384 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6768 1111 63 0 7399 0
vsize: 29848
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 169273 0 0 0 92468 545 0 0 25 0 1 0 897650141 30670848 6794 4294967295 134512640 134716908 3221224576 3221222928 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7488 6794 1111 63 0 7425 0
vsize: 29952
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 171704 0 0 0 93461 552 0 0 25 0 1 0 897650141 30556160 6766 4294967295 134512640 134716908 3221224576 3221221912 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7460 6766 1111 63 0 7397 0
vsize: 29840
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 174164 0 0 0 94453 561 0 0 25 0 1 0 897650141 30646272 6788 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7482 6788 1111 63 0 7419 0
vsize: 29928
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 176494 0 0 0 95445 568 0 0 25 0 1 0 897650141 30601216 6777 4294967295 134512640 134716908 3221224576 3221222264 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6777 1111 63 0 7408 0
vsize: 29884
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 177931 0 0 0 96440 574 0 0 25 0 1 0 897650141 30601216 6777 4294967295 134512640 134716908 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6777 1111 63 0 7408 0
vsize: 29884
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 178748 0 0 0 97437 578 0 0 25 0 1 0 897650141 30949376 6795 4294967295 134512640 134716908 3221224576 3221220960 1074972710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7556 6795 1111 63 0 7493 0
vsize: 30224
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 179535 0 0 0 98433 582 0 0 25 0 1 0 897650141 30601216 6777 4294967295 134512640 134716908 3221224576 3221221856 1074140701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6777 1111 63 0 7408 0
vsize: 29884
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 181195 0 0 0 99428 587 0 0 25 0 1 0 897650141 30601216 6777 4294967295 134512640 134716908 3221224576 3221222024 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6777 1111 63 0 7408 0
vsize: 29884
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 182667 0 0 0 100422 592 0 0 25 0 1 0 897650141 30601216 6777 4294967295 134512640 134716908 3221224576 3221222880 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6777 1111 63 0 7408 0
vsize: 29884
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 184551 0 0 0 101417 598 0 0 25 0 1 0 897650141 30781440 6815 4294967295 134512640 134716908 3221224576 3221222576 1074917032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7515 6815 1111 63 0 7452 0
vsize: 30060
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 186743 0 0 0 102408 607 0 0 25 0 1 0 897650141 30752768 6807 4294967295 134512640 134716908 3221224576 3221221976 1074838821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7508 6807 1111 63 0 7445 0
vsize: 30032
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 188842 0 0 0 103401 614 0 0 25 0 1 0 897650141 30703616 6802 4294967295 134512640 134716908 3221224576 3221222864 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7496 6802 1111 63 0 7433 0
vsize: 29984
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 190957 0 0 0 104394 621 0 0 25 0 1 0 897650141 31182848 6859 4294967295 134512640 134716908 3221224576 3221220540 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7613 6859 1111 63 0 7550 0
vsize: 30452
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 193267 0 0 0 105387 629 0 0 25 0 1 0 897650141 31100928 6835 4294967295 134512640 134716908 3221224576 3221221104 1075119993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7593 6835 1111 63 0 7530 0
vsize: 30372
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 195578 0 0 0 106379 636 0 0 25 0 1 0 897650141 30601216 6777 4294967295 134512640 134716908 3221224576 3221222216 1074138274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6777 1111 63 0 7408 0
vsize: 29884
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 197566 0 0 0 107372 644 0 0 25 0 1 0 897650141 31014912 6813 4294967295 134512640 134716908 3221224576 3221220944 1075894554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7572 6813 1111 63 0 7509 0
vsize: 30288
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 199564 0 0 0 108366 650 0 0 25 0 1 0 897650141 30601216 6777 4294967295 134512640 134716908 3221224576 3221222912 1074207681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6777 1111 63 0 7408 0
vsize: 29884
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 202009 0 0 0 109359 657 0 0 25 0 1 0 897650141 30601216 6777 4294967295 134512640 134716908 3221224576 3221222216 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6777 1111 63 0 7408 0
vsize: 29884
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 204548 0 0 0 110351 665 0 0 25 0 1 0 897650141 30740480 6811 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 6811 1111 63 0 7442 0
vsize: 30020
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 207127 0 0 0 111343 674 0 0 25 0 1 0 897650141 30646272 6788 4294967295 134512640 134716908 3221224576 3221222944 1074116396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7482 6788 1111 63 0 7419 0
vsize: 29928
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 208883 0 0 0 112338 679 0 0 25 0 1 0 897650141 30740480 6811 4294967295 134512640 134716908 3221224576 3221221768 1074138274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7554 6811 1111 63 0 7491 0
vsize: 30020
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 211130 0 0 0 113333 684 0 0 25 0 1 0 897650141 30986240 6803 4294967295 134512640 134716908 3221224576 3221222224 1075818331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7565 6803 1111 63 0 7502 0
vsize: 30260
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 213375 0 0 0 114325 692 0 0 25 0 1 0 897650141 30740480 6809 4294967295 134512640 134716908 3221224576 3221222256 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 6809 1111 63 0 7442 0
vsize: 30020
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 215506 0 1 0 115317 699 0 0 25 0 1 0 897650141 30646272 6790 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7482 6790 1111 63 0 7419 0
vsize: 29928
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 217545 0 1 0 116310 706 0 0 25 0 1 0 897650141 30642176 6789 4294967295 134512640 134716908 3221224576 3221222460 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7481 6789 1111 63 0 7418 0
vsize: 29924
[startup+1175.2 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18927
Raw data (stat): 18927 (bsolo_lpr-v2) R 18926 20224 20223 0 -1 0 217545 0 1 0 116310 706 0 0 25 0 1 0 897650141 30642176 6789 4294967295 134512640 134716908 3221224576 3221222460 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7481 6789 1111 63 0 7418 0
vsize: 0

Child status: 0
Real time (s): 1175.2
CPU time (s): 1175.32
CPU user time (s): 1168.21
CPU system time (s): 7.11792
CPU usage (%): 100.01
Max. virtual memory (Kb): 30452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####