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 40363

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 08:08:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28424 boxname=wulflinc5 idbench=1380 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-protfold.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-protfold.opb
IDLAUNCH: 28424
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        917356 kB
Buffers:          5536 kB
Cached:          89652 kB
SwapCached:        692 kB
Active:          19724 kB
Inactive:        77424 kB
HighTotal:      131008 kB
HighFree:        50904 kB
LowTotal:       903652 kB
LowFree:        866452 kB
SwapTotal:     2097136 kB
SwapFree:      2095476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14400 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:28:22 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 28424 7 1175.07 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.029 s
c Initial Lower Bound: -41
c Lower Bound Elapsed time: 4.1015
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.93 0.98 0.91 2/54 16773
Raw data (stat): 16773 (runsolver) R 16772 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900077241 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 14035 0 0 0 962 35 0 0 25 0 1 0 900077241 60669952 13948 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14812 13948 1111 63 0 14749 0
vsize: 59248
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 16511 0 0 0 1957 40 0 0 25 0 1 0 900077241 70811648 16424 4294967295 134512640 134716908 3221224576 3221223136 134588000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17288 16424 1111 63 0 17225 0
vsize: 69152
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 17744 0 0 0 2954 43 0 0 25 0 1 0 900077241 75816960 17657 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18510 17657 1111 63 0 18447 0
vsize: 74040
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 17756 0 0 0 3954 43 0 0 25 0 1 0 900077241 75816960 17669 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18510 17669 1111 63 0 18447 0
vsize: 74040
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 17767 0 0 0 4954 44 0 0 25 0 1 0 900077241 75952128 17680 4294967295 134512640 134716908 3221224576 3221223228 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17680 1111 63 0 18480 0
vsize: 74172
[startup+60.003 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 17781 0 0 0 5954 44 0 0 25 0 1 0 900077241 75952128 17694 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17694 1111 63 0 18480 0
vsize: 74172
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 17794 0 0 0 6954 44 0 0 25 0 1 0 900077241 76087296 17707 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17707 1111 63 0 18513 0
vsize: 74304
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 17805 0 0 0 7954 44 0 0 25 0 1 0 900077241 76087296 17718 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17718 1111 63 0 18513 0
vsize: 74304
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 18758 0 0 0 8952 47 0 0 25 0 1 0 900077241 79663104 18491 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19449 18491 1111 63 0 19386 0
vsize: 77796
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 18994 0 0 0 9951 47 0 0 25 0 1 0 900077241 79646720 18639 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19445 18639 1111 63 0 19382 0
vsize: 77780
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 22190 0 0 0 10943 55 0 0 25 0 1 0 900077241 77709312 18248 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18972 18248 1111 63 0 18909 0
vsize: 75888
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 22382 0 0 0 11942 57 0 0 25 0 1 0 900077241 78385152 18440 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19137 18440 1111 63 0 19074 0
vsize: 76548
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 22516 0 0 0 12941 58 0 0 25 0 1 0 900077241 79060992 18574 4294967295 134512640 134716908 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19302 18574 1111 63 0 19239 0
vsize: 77208
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 22692 0 0 0 13940 59 0 0 25 0 1 0 900077241 79736832 18750 4294967295 134512640 134716908 3221224576 3221222888 134613769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19467 18750 1111 63 0 19404 0
vsize: 77868
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 22856 0 0 0 14938 61 0 0 25 0 1 0 900077241 80412672 18914 4294967295 134512640 134716908 3221224576 3221223136 134698914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19632 18914 1111 63 0 19569 0
vsize: 78528
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 23016 0 0 0 15937 63 0 0 25 0 1 0 900077241 81084416 19074 4294967295 134512640 134716908 3221224576 3221223052 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19796 19074 1111 63 0 19733 0
vsize: 79184
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 23173 0 0 0 16935 65 0 0 25 0 1 0 900077241 81625088 19231 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19928 19231 1111 63 0 19865 0
vsize: 79712
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 23347 0 0 0 17933 67 0 0 25 0 1 0 900077241 82436096 19405 4294967295 134512640 134716908 3221224576 3221223216 134551926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20126 19405 1111 63 0 20063 0
vsize: 80504
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 23512 0 0 0 18932 68 0 0 25 0 1 0 900077241 83111936 19570 4294967295 134512640 134716908 3221224576 3221223216 134539390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20291 19570 1111 63 0 20228 0
vsize: 81164
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 23684 0 0 0 19931 69 0 0 25 0 1 0 900077241 83787776 19742 4294967295 134512640 134716908 3221224576 3221223256 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19742 1111 63 0 20393 0
vsize: 81824
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 23881 0 0 0 20929 71 0 0 25 0 1 0 900077241 84598784 19939 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20654 19939 1111 63 0 20591 0
vsize: 82616
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 24049 0 0 0 21928 72 0 0 25 0 1 0 900077241 85274624 20107 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20819 20107 1111 63 0 20756 0
vsize: 83276
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 24179 0 0 0 22927 74 0 0 25 0 1 0 900077241 85815296 20237 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20951 20237 1111 63 0 20888 0
vsize: 83804
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 24319 0 0 0 23925 76 0 0 25 0 1 0 900077241 86355968 20377 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21083 20377 1111 63 0 21020 0
vsize: 84332
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 24446 0 0 0 24924 77 0 0 25 0 1 0 900077241 86896640 20504 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21215 20504 1111 63 0 21152 0
vsize: 84860
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 24632 0 0 0 25923 78 0 0 25 0 1 0 900077241 87703552 20690 4294967295 134512640 134716908 3221224576 3221223312 134588000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21412 20690 1111 63 0 21349 0
vsize: 85648
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 24774 0 0 0 26922 79 0 0 25 0 1 0 900077241 88244224 20832 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21544 20832 1111 63 0 21481 0
vsize: 86176
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 24910 0 0 0 27921 81 0 0 25 0 1 0 900077241 88784896 20968 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21676 20968 1111 63 0 21613 0
vsize: 86704
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 25065 0 0 0 28919 83 0 0 25 0 1 0 900077241 89460736 21123 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21841 21123 1111 63 0 21778 0
vsize: 87364
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 25257 0 0 0 29916 85 0 0 25 0 1 0 900077241 90267648 21315 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22038 21315 1111 63 0 21975 0
vsize: 88152
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 25381 0 0 0 30915 87 0 0 25 0 1 0 900077241 90669056 21439 4294967295 134512640 134716908 3221224576 3221223312 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22136 21439 1111 63 0 22073 0
vsize: 88544
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 25524 0 0 0 31914 88 0 0 25 0 1 0 900077241 91344896 21582 4294967295 134512640 134716908 3221224576 3221223172 134542821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22301 21582 1111 63 0 22238 0
vsize: 89204
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 25740 0 0 0 32912 90 0 0 25 0 1 0 900077241 92155904 21798 4294967295 134512640 134716908 3221224576 3221223248 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22499 21798 1111 63 0 22436 0
vsize: 89996
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 25888 0 0 0 33911 91 0 0 25 0 1 0 900077241 92827648 21946 4294967295 134512640 134716908 3221224576 3221223336 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22663 21946 1111 63 0 22600 0
vsize: 90652
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 26061 0 0 0 34910 92 0 0 25 0 1 0 900077241 93503488 22119 4294967295 134512640 134716908 3221224576 3221223136 134698815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22828 22119 1111 63 0 22765 0
vsize: 91312
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 26199 0 0 0 35909 94 0 0 25 0 1 0 900077241 94044160 22257 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22960 22257 1111 63 0 22897 0
vsize: 91840
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 26353 0 0 0 36907 96 0 0 25 0 1 0 900077241 94720000 22411 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23125 22411 1111 63 0 23062 0
vsize: 92500
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 26507 0 0 0 37906 97 0 0 25 0 1 0 900077241 95395840 22565 4294967295 134512640 134716908 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23290 22565 1111 63 0 23227 0
vsize: 93160
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 26633 0 0 0 38905 98 0 0 25 0 1 0 900077241 95801344 22691 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23389 22691 1111 63 0 23326 0
vsize: 93556
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 26814 0 0 0 39904 100 0 0 25 0 1 0 900077241 96612352 22872 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23587 22872 1111 63 0 23524 0
vsize: 94348
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 26936 0 0 0 40903 101 0 0 25 0 1 0 900077241 97153024 22994 4294967295 134512640 134716908 3221224576 3221223052 134535942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23719 22994 1111 63 0 23656 0
vsize: 94876
[startup+420.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 27046 0 0 0 41903 101 0 0 25 0 1 0 900077241 97558528 23104 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23818 23104 1111 63 0 23755 0
vsize: 95272
[startup+430.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 27210 0 0 0 42902 102 0 0 25 0 1 0 900077241 98234368 23268 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23983 23268 1111 63 0 23920 0
vsize: 95932
[startup+440.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 27382 0 0 0 43901 103 0 0 25 0 1 0 900077241 98910208 23440 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24148 23440 1111 63 0 24085 0
vsize: 96592
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 27513 0 0 0 44901 104 0 0 25 0 1 0 900077241 99450880 23571 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24280 23571 1111 63 0 24217 0
vsize: 97120
[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 27732 0 0 0 45899 106 0 0 25 0 1 0 900077241 100392960 23790 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24510 23790 1111 63 0 24447 0
vsize: 98040
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 27872 0 0 0 46898 107 0 0 25 0 1 0 900077241 100929536 23930 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24641 23930 1111 63 0 24578 0
vsize: 98564
[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 28007 0 0 0 47897 109 0 0 25 0 1 0 900077241 101470208 24065 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24773 24065 1111 63 0 24710 0
vsize: 99092
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 28167 0 0 0 48896 109 0 0 25 0 1 0 900077241 102146048 24225 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24938 24225 1111 63 0 24875 0
vsize: 99752
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 28233 0 0 0 49896 110 0 0 25 0 1 0 900077241 102416384 24291 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25004 24291 1111 63 0 24941 0
vsize: 100016
[startup+510.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 28362 0 0 0 50895 111 0 0 25 0 1 0 900077241 102957056 24420 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25136 24420 1111 63 0 25073 0
vsize: 100544
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 28515 0 0 0 51893 113 0 0 25 0 1 0 900077241 103501824 24573 4294967295 134512640 134716908 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25269 24573 1111 63 0 25206 0
vsize: 101076
[startup+530.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 28635 0 0 0 52893 113 0 0 25 0 1 0 900077241 104034304 24693 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25399 24693 1111 63 0 25336 0
vsize: 101596
[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 28760 0 0 0 53892 115 0 0 25 0 1 0 900077241 104570880 24818 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25530 24818 1111 63 0 25467 0
vsize: 102120
[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 28882 0 0 0 54890 116 0 0 25 0 1 0 900077241 105111552 24940 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25662 24940 1111 63 0 25599 0
vsize: 102648
[startup+560.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 28977 0 0 0 55889 117 0 0 25 0 1 0 900077241 105517056 25035 4294967295 134512640 134716908 3221224576 3221223280 134528521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25761 25035 1111 63 0 25698 0
vsize: 103044
[startup+570.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 29101 0 0 0 56887 120 0 0 25 0 1 0 900077241 105922560 25159 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25860 25159 1111 63 0 25797 0
vsize: 103440
[startup+580.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 29199 0 0 0 57886 121 0 0 25 0 1 0 900077241 106328064 25257 4294967295 134512640 134716908 3221224576 3221223304 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25959 25257 1111 63 0 25896 0
vsize: 103836
[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 29370 0 0 0 58885 122 0 0 25 0 1 0 900077241 107003904 25428 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26124 25428 1111 63 0 26061 0
vsize: 104496
[startup+600.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 29530 0 0 0 59885 123 0 0 25 0 1 0 900077241 107675648 25588 4294967295 134512640 134716908 3221224576 3221223244 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26288 25588 1111 63 0 26225 0
vsize: 105152
[startup+610.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 29633 0 0 0 60884 124 0 0 25 0 1 0 900077241 108081152 25691 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26387 25691 1111 63 0 26324 0
vsize: 105548
[startup+620.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 29809 0 0 0 61882 126 0 0 25 0 1 0 900077241 108892160 25867 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26585 25867 1111 63 0 26522 0
vsize: 106340
[startup+630.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 29911 0 0 0 62882 126 0 0 25 0 1 0 900077241 109297664 25969 4294967295 134512640 134716908 3221224576 3221223164 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26684 25969 1111 63 0 26621 0
vsize: 106736
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30041 0 0 0 63881 127 0 0 25 0 1 0 900077241 109838336 26099 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26816 26099 1111 63 0 26753 0
vsize: 107264
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30156 0 0 0 64880 128 0 0 25 0 1 0 900077241 110243840 26214 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26915 26215 1111 63 0 26852 0
vsize: 107660
[startup+660.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30273 0 0 0 65880 129 0 0 25 0 1 0 900077241 110784512 26331 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27047 26331 1111 63 0 26984 0
vsize: 108188
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30367 0 0 0 66880 129 0 0 25 0 1 0 900077241 111190016 26425 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27146 26425 1111 63 0 27083 0
vsize: 108584
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30487 0 0 0 67879 130 0 0 25 0 1 0 900077241 111595520 26545 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27245 26545 1111 63 0 27182 0
vsize: 108980
[startup+690.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30592 0 0 0 68878 131 0 0 25 0 1 0 900077241 112136192 26650 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27377 26650 1111 63 0 27314 0
vsize: 109508
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30725 0 0 0 69877 132 0 0 25 0 1 0 900077241 112656384 26783 4294967295 134512640 134716908 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27504 26783 1111 63 0 27441 0
vsize: 110016
[startup+710.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30836 0 0 0 70877 134 0 0 25 0 1 0 900077241 113061888 26894 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27603 26894 1111 63 0 27540 0
vsize: 110412
[startup+720.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30897 0 0 0 71876 134 0 0 25 0 1 0 900077241 113332224 26955 4294967295 134512640 134716908 3221224576 3221223340 134552579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27669 26955 1111 63 0 27606 0
vsize: 110676
[startup+730.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 30995 0 0 0 72876 135 0 0 25 0 1 0 900077241 113737728 27053 4294967295 134512640 134716908 3221224576 3221223232 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27768 27053 1111 63 0 27705 0
vsize: 111072
[startup+740.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 31138 0 0 0 73875 135 0 0 25 0 1 0 900077241 114278400 27196 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27900 27196 1111 63 0 27837 0
vsize: 111600
[startup+750.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 31178 0 0 0 74875 136 0 0 25 0 1 0 900077241 114413568 27236 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27933 27236 1111 63 0 27870 0
vsize: 111732
[startup+760.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 31238 0 0 0 75875 136 0 0 25 0 1 0 900077241 114675712 27296 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27997 27296 1111 63 0 27934 0
vsize: 111988
[startup+770.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 31400 0 0 0 76874 138 0 0 25 0 1 0 900077241 115351552 27458 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28162 27458 1111 63 0 28099 0
vsize: 112648
[startup+780.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 31499 0 0 0 77873 138 0 0 25 0 1 0 900077241 115757056 27557 4294967295 134512640 134716908 3221224576 3221223360 134529192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28261 27557 1111 63 0 28198 0
vsize: 113044
[startup+790.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 31628 0 0 0 78873 139 0 0 25 0 1 0 900077241 116297728 27686 4294967295 134512640 134716908 3221224576 3221223240 134536851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28393 27686 1111 63 0 28330 0
vsize: 113572
[startup+800.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 31754 0 0 0 79871 141 0 0 25 0 1 0 900077241 116834304 27812 4294967295 134512640 134716908 3221224576 3221223168 134543744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28524 27812 1111 63 0 28461 0
vsize: 114096
[startup+810.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 31825 0 0 0 80871 141 0 0 25 0 1 0 900077241 117104640 27883 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28590 27883 1111 63 0 28527 0
vsize: 114360
[startup+820.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 31928 0 0 0 81870 142 0 0 25 0 1 0 900077241 117506048 27986 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28688 27986 1111 63 0 28625 0
vsize: 114752
[startup+830.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32035 0 0 0 82870 143 0 0 25 0 1 0 900077241 118046720 28093 4294967295 134512640 134716908 3221224576 3221223116 134539214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28820 28093 1111 63 0 28757 0
vsize: 115280
[startup+840.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32066 0 0 0 83870 143 0 0 25 0 1 0 900077241 118046720 28124 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28820 28124 1111 63 0 28757 0
vsize: 115280
[startup+850.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32099 0 0 0 84869 144 0 0 25 0 1 0 900077241 118181888 28157 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28853 28157 1111 63 0 28790 0
vsize: 115412
[startup+860.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32102 0 0 0 85870 144 0 0 25 0 1 0 900077241 118317056 28160 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28886 28160 1111 63 0 28823 0
vsize: 115544
[startup+870.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32107 0 0 0 86870 144 0 0 25 0 1 0 900077241 118317056 28165 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28886 28165 1111 63 0 28823 0
vsize: 115544
[startup+880.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32107 0 0 0 87870 144 0 0 25 0 1 0 900077241 118308864 28165 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28884 28165 1111 63 0 28821 0
vsize: 115536
[startup+890.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32109 0 0 0 88870 144 0 0 25 0 1 0 900077241 118308864 28167 4294967295 134512640 134716908 3221224576 3221223280 134528749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28884 28167 1111 63 0 28821 0
vsize: 115536
[startup+900.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32123 0 0 0 89869 145 0 0 25 0 1 0 900077241 118308864 28181 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28884 28181 1111 63 0 28821 0
vsize: 115536
[startup+910.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32198 0 0 0 90869 146 0 0 25 0 1 0 900077241 118714368 28256 4294967295 134512640 134716908 3221224576 3221223196 134536852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28983 28256 1111 63 0 28920 0
vsize: 115932
[startup+920.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32266 0 0 0 91868 147 0 0 25 0 1 0 900077241 118984704 28324 4294967295 134512640 134716908 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29049 28324 1111 63 0 28986 0
vsize: 116196
[startup+930.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32359 0 0 0 92867 147 0 0 25 0 1 0 900077241 119255040 28417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29115 28417 1111 63 0 29052 0
vsize: 116460
[startup+940.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32484 0 0 0 93866 149 0 0 25 0 1 0 900077241 119795712 28542 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29247 28542 1111 63 0 29184 0
vsize: 116988
[startup+950.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32506 0 0 0 94865 150 0 0 25 0 1 0 900077241 119930880 28564 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29280 28564 1111 63 0 29217 0
vsize: 117120
[startup+960.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32618 0 0 0 95865 150 0 0 25 0 1 0 900077241 120336384 28676 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29379 28676 1111 63 0 29316 0
vsize: 117516
[startup+970.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32701 0 0 0 96864 151 0 0 25 0 1 0 900077241 120733696 28759 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29476 28759 1111 63 0 29413 0
vsize: 117904
[startup+980.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32844 0 0 0 97864 152 0 0 25 0 1 0 900077241 121274368 28902 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29608 28902 1111 63 0 29545 0
vsize: 118432
[startup+990.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32875 0 0 0 98863 152 0 0 25 0 1 0 900077241 121409536 28933 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29641 28933 1111 63 0 29578 0
vsize: 118564
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 32934 0 0 0 99863 153 0 0 25 0 1 0 900077241 121679872 28992 4294967295 134512640 134716908 3221224576 3221223216 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29707 28992 1111 63 0 29644 0
vsize: 118828
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33013 0 0 0 100862 154 0 0 25 0 1 0 900077241 121950208 29071 4294967295 134512640 134716908 3221224576 3221223200 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29773 29071 1111 63 0 29710 0
vsize: 119092
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33075 0 0 0 101862 154 0 0 25 0 1 0 900077241 122216448 29133 4294967295 134512640 134716908 3221224576 3221223216 134698484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29838 29133 1111 63 0 29775 0
vsize: 119352
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33142 0 0 0 102862 155 0 0 25 0 1 0 900077241 122486784 29200 4294967295 134512640 134716908 3221224576 3221223208 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29904 29200 1111 63 0 29841 0
vsize: 119616
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33266 0 0 0 103861 156 0 0 25 0 1 0 900077241 123027456 29324 4294967295 134512640 134716908 3221224576 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30036 29324 1111 63 0 29973 0
vsize: 120144
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33335 0 0 0 104861 156 0 0 25 0 1 0 900077241 123293696 29393 4294967295 134512640 134716908 3221224576 3221223100 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30101 29393 1111 63 0 30038 0
vsize: 120404
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33432 0 0 0 105860 157 0 0 25 0 1 0 900077241 123699200 29490 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30200 29490 1111 63 0 30137 0
vsize: 120800
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33516 0 0 0 106860 157 0 0 25 0 1 0 900077241 124104704 29574 4294967295 134512640 134716908 3221224576 3221223228 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30299 29574 1111 63 0 30236 0
vsize: 121196
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33595 0 0 0 107859 158 0 0 25 0 1 0 900077241 124375040 29653 4294967295 134512640 134716908 3221224576 3221223268 134528706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30365 29653 1111 63 0 30302 0
vsize: 121460
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33702 0 0 0 108859 159 0 0 25 0 1 0 900077241 124780544 29760 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30464 29760 1111 63 0 30401 0
vsize: 121856
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33792 0 0 0 109859 159 0 0 25 0 1 0 900077241 125186048 29850 4294967295 134512640 134716908 3221224576 3221223200 134542356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30563 29850 1111 63 0 30500 0
vsize: 122252
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33852 0 0 0 110858 160 0 0 25 0 1 0 900077241 125448192 29910 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30627 29910 1111 63 0 30564 0
vsize: 122508
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 33920 0 0 0 111858 160 0 0 25 0 1 0 900077241 125718528 29978 4294967295 134512640 134716908 3221224576 3221223292 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30693 29978 1111 63 0 30630 0
vsize: 122772
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 34010 0 0 0 112858 161 0 0 25 0 1 0 900077241 126124032 30068 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30792 30068 1111 63 0 30729 0
vsize: 123168
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 34073 0 0 0 113857 162 0 0 25 0 1 0 900077241 126394368 30131 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30858 30131 1111 63 0 30795 0
vsize: 123432
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 34161 0 0 0 114856 162 0 0 25 0 1 0 900077241 126664704 30219 4294967295 134512640 134716908 3221224576 3221223148 134542371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30924 30219 1111 63 0 30861 0
vsize: 123696
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 34246 0 0 0 115856 163 0 0 25 0 1 0 900077241 127070208 30304 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31023 30304 1111 63 0 30960 0
vsize: 124092
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 34334 0 0 0 116855 165 0 0 25 0 1 0 900077241 127340544 30392 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31089 30392 1111 63 0 31026 0
vsize: 124356
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 16773
Raw data (stat): 16773 (bsolo_lpr-v2) R 16772 7266 7265 0 -1 0 34334 0 0 0 116855 165 0 0 25 0 1 0 900077241 127340544 30392 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31089 30392 1111 63 0 31026 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.07
CPU user time (s): 1173.36
CPU system time (s): 1.71474
CPU usage (%): 100.013
Max. virtual memory (Kb): 124356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####