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/miplib3/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	5efced6eaf647505ade406591fd69d4e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1216.42
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 40397

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 09:07:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28456 boxname=wulflinc2 idbench=1412 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5efced6eaf647505ade406591fd69d4e  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 28456
/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:        909740 kB
Buffers:          4400 kB
Cached:          98108 kB
SwapCached:       1328 kB
Active:          22920 kB
Inactive:        81568 kB
HighTotal:      131008 kB
HighFree:        57792 kB
LowTotal:       903652 kB
LowFree:        851948 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14628 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:26:47 (client local time) WITH STATUS 0 IN 1175.34 SECONDS
stats: 28456 7 1175.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 789 constraints.
c preprocess terminated 776.628 s
c Initial Lower Bound: 172728
c Lower Bound Elapsed time: 0.61575
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.92 1.01 0.96 2/54 7908
Raw data (stat): 7908 (runsolver) R 7907 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900431488 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.0007 s]
Raw data (loadavg): 0.93 1.01 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 8523 0 0 0 978 18 0 0 25 0 1 0 900431488 48005120 8443 4294967295 134512640 134716908 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11720 8443 1111 63 0 11657 0
vsize: 46880
[startup+20.0021 s]
Raw data (loadavg): 0.94 1.01 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 17665 0 0 0 1953 44 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223000 1077377507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+30.0033 s]
Raw data (loadavg): 0.95 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 17728 0 0 0 2952 44 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+40.0028 s]
Raw data (loadavg): 0.96 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 17791 0 0 0 3952 45 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+50.0042 s]
Raw data (loadavg): 0.96 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 17961 0 0 0 4951 45 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+60.0046 s]
Raw data (loadavg): 0.97 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 18029 0 0 0 5952 45 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+70.0059 s]
Raw data (loadavg): 0.97 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 18063 0 0 0 6952 46 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+80.007 s]
Raw data (loadavg): 0.98 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 18375 0 0 0 7951 47 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+90.0071 s]
Raw data (loadavg): 0.98 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 18583 0 0 0 8950 47 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+100.007 s]
Raw data (loadavg): 0.98 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 19704 0 0 0 9946 52 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+110.008 s]
Raw data (loadavg): 0.98 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 21520 0 0 0 10941 57 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+120.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 25898 0 0 0 11930 68 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 30276 0 0 0 12919 80 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+140.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 34741 0 0 0 13907 92 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+150.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 40507 0 0 0 14892 108 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+160.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 46297 0 0 0 15878 121 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+170.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 53346 0 0 0 16861 138 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+180.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 60990 0 0 0 17843 157 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+190.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 69637 0 0 0 18821 179 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+200.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 78455 0 0 0 19801 199 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+210.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 87284 0 0 0 20779 222 0 0 25 0 1 0 900431488 75386880 17478 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18405 17485 1111 63 0 18342 0
vsize: 73620
[startup+220.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 97430 0 0 0 21753 248 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+230.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 107643 0 0 0 22729 272 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+240.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 118652 0 0 0 23700 301 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+250.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 130371 0 0 0 24671 331 0 0 25 0 1 0 900431488 75546624 17523 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18444 17530 1111 63 0 18381 0
vsize: 73776
[startup+260.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 142146 0 0 0 25641 361 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+270.017 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 154044 0 0 0 26612 390 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+280.017 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 166746 0 0 0 27582 421 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223284 134618255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+290.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 179772 0 0 0 28551 451 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+300.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 192598 0 0 0 29521 482 0 0 25 0 1 0 900431488 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+310.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 198698 0 0 0 30506 497 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+320.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 198752 0 0 0 31506 497 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+330.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 198805 0 0 0 32505 498 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+340.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 198933 0 0 0 33505 498 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+350.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 199093 0 0 0 34505 499 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+360.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 199281 0 0 0 35505 499 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+370.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 199437 0 0 0 36505 500 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+380.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 199988 0 0 0 37503 501 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+390.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 201365 0 0 0 38498 506 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+400.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 202481 0 0 0 39494 510 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+410.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 204426 0 0 0 40489 516 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+420.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 207141 0 0 0 41482 523 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+430.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 209943 0 0 0 42474 531 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+440.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 212816 0 0 0 43467 539 0 0 25 0 1 0 900431488 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+450.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 213921 0 0 0 44464 542 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+460.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 215205 0 0 0 45458 548 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+470.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 216611 0 0 0 46453 554 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+480.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 218529 0 0 0 47445 561 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+490.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 221634 0 0 0 48436 570 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+500.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 225167 0 0 0 49426 580 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+510.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 229513 0 0 0 50416 591 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+520.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 233917 0 0 0 51403 604 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+530.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 238118 0 0 0 52392 615 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+540.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 243544 0 0 0 53378 629 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+550.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 249294 0 0 0 54362 646 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223212 134554935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+560.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 254922 0 0 0 55348 660 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+570.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 260730 0 0 0 56335 673 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+580.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 267408 0 0 0 57317 691 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223248 134606864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+590.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 274744 0 0 0 58297 711 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+600.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 281819 0 0 0 59278 731 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+610.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 288981 0 0 0 60259 749 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+620.035 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 296259 0 0 0 61243 767 0 0 25 0 1 0 900431488 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+630.036 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302644 0 0 0 62227 783 0 0 25 0 1 0 900431488 76111872 17684 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18582 17684 1111 63 0 18519 0
vsize: 74328
[startup+640.036 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 63226 783 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223296 134618181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+650.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 64227 783 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+660.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 65227 783 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+670.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 66227 783 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+680.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 67227 783 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+690.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 68227 783 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+700.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 69227 784 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+710.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 70228 784 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+720.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 71228 784 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+730.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 72228 784 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+740.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 73228 784 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+750.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 74228 784 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+760.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 75228 784 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+770.041 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 302876 0 0 0 76228 784 0 0 25 0 1 0 900431488 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+780.041 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 305283 0 0 0 77222 790 0 0 25 0 1 0 900431488 77090816 18057 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18821 18057 1111 63 0 18758 0
vsize: 75284
[startup+790.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 309120 0 0 0 78214 798 0 0 25 0 1 0 900431488 77664256 18121 4294967295 134512640 134716908 3221224576 3221220648 1074950180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18121 1111 63 0 18898 0
vsize: 75844
[startup+800.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 312979 0 0 0 79206 806 0 0 25 0 1 0 900431488 76869632 18003 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18003 1111 63 0 18704 0
vsize: 75068
[startup+810.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 316643 0 0 0 80198 814 0 0 25 0 1 0 900431488 76869632 18004 4294967295 134512640 134716908 3221224576 3221222488 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+820.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 320276 0 0 0 81191 821 0 0 25 0 1 0 900431488 76869632 18004 4294967295 134512640 134716908 3221224576 3221222432 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+830.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 323884 0 0 0 82184 829 0 0 25 0 1 0 900431488 76869632 18004 4294967295 134512640 134716908 3221224576 3221222528 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+840.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 327890 0 0 0 83175 838 0 0 25 0 1 0 900431488 77303808 18075 4294967295 134512640 134716908 3221224576 3221222320 1075646777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18873 18075 1111 63 0 18810 0
vsize: 75492
[startup+850.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 331614 0 0 0 84168 845 0 0 25 0 1 0 900431488 76869632 18004 4294967295 134512640 134716908 3221224576 3221222880 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+860.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 335221 0 0 0 85159 854 0 0 25 0 1 0 900431488 76869632 18004 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+870.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 339344 0 0 0 86151 863 0 0 25 0 1 0 900431488 76869632 18004 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+880.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 342953 0 0 0 87143 870 0 0 25 0 1 0 900431488 76869632 18004 4294967295 134512640 134716908 3221224576 3221222072 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+890.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 347074 0 0 0 88134 880 0 0 25 0 1 0 900431488 77438976 18065 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18906 18066 1111 63 0 18843 0
vsize: 75624
[startup+900.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 350639 0 0 0 89126 888 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221222784 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+910.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 354330 0 0 0 90119 895 0 0 25 0 1 0 900431488 78000128 18145 4294967295 134512640 134716908 3221224576 3221222304 1075828208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19043 18150 1111 63 0 18980 0
vsize: 76172
[startup+920.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 358255 0 0 0 91110 904 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+930.041 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 361808 0 0 0 92102 912 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221216096 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+940.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 365870 0 0 0 93093 922 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221223360 134624473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+950.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 369412 0 0 0 94085 930 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221222440 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+960.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 373459 0 0 0 95076 939 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+970.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 377503 0 0 0 96068 947 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221223040 1074121018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+980.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 381041 0 0 0 97062 954 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221222248 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+990.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 385060 0 0 0 98052 963 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 388858 0 0 0 99046 970 0 0 25 0 1 0 900431488 77639680 18122 4294967295 134512640 134716908 3221224576 3221220736 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18955 18122 1111 63 0 18892 0
vsize: 75820
[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 392527 0 0 0 100038 978 0 0 25 0 1 0 900431488 76869632 18008 4294967295 134512640 134716908 3221224576 3221222528 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 396508 0 0 0 101028 988 0 0 25 0 1 0 900431488 76869632 18009 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18009 1111 63 0 18704 0
vsize: 75068
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 400487 0 0 0 102021 996 0 0 25 0 1 0 900431488 76869632 18009 4294967295 134512640 134716908 3221224576 3221222848 1074056202 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18009 1111 63 0 18704 0
vsize: 75068
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 404286 0 0 0 103013 1003 0 0 25 0 1 0 900431488 77639680 18125 4294967295 134512640 134716908 3221224576 3221220912 1075113511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18955 18125 1111 63 0 18892 0
vsize: 75820
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 407951 0 0 0 104005 1012 0 0 25 0 1 0 900431488 76869632 18010 4294967295 134512640 134716908 3221224576 3221217880 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 411936 0 0 0 104996 1021 0 0 25 0 1 0 900431488 76869632 18010 4294967295 134512640 134716908 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 415803 0 0 0 105987 1030 0 0 25 0 1 0 900431488 76869632 18010 4294967295 134512640 134716908 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 419713 0 0 0 106977 1040 0 0 25 0 1 0 900431488 77639680 18125 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18955 18125 1111 63 0 18892 0
vsize: 75820
[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 423697 0 0 0 107968 1050 0 0 25 0 1 0 900431488 77639680 18126 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18955 18126 1111 63 0 18892 0
vsize: 75820
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 427561 0 0 0 108959 1059 0 0 25 0 1 0 900431488 77287424 18112 4294967295 134512640 134716908 3221224576 3221222576 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18869 18112 1111 63 0 18806 0
vsize: 75476
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 431342 0 0 0 109950 1068 0 0 25 0 1 0 900431488 76869632 18010 4294967295 134512640 134716908 3221224576 3221219184 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 435323 0 0 0 110942 1076 0 0 25 0 1 0 900431488 76869632 18010 4294967295 134512640 134716908 3221224576 3221215760 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 439302 0 0 0 111934 1084 0 0 25 0 1 0 900431488 76869632 18010 4294967295 134512640 134716908 3221224576 3221222408 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 443284 0 0 0 112926 1092 0 0 25 0 1 0 900431488 76869632 18010 4294967295 134512640 134716908 3221224576 3221222784 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 447207 0 0 0 113918 1101 0 0 25 0 1 0 900431488 76869632 18010 4294967295 134512640 134716908 3221224576 3221222336 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 451123 0 0 0 114910 1109 0 0 25 0 1 0 900431488 77426688 18071 4294967295 134512640 134716908 3221224576 3221221648 1075112318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18903 18071 1111 63 0 18840 0
vsize: 75612
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 454859 0 0 0 115902 1117 0 0 25 0 1 0 900431488 77631488 18123 4294967295 134512640 134716908 3221224576 3221221648 1074867275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18953 18123 1111 63 0 18890 0
vsize: 75812
[startup+1175.18 s]
Raw data (loadavg): 0.99 1.00 0.96 1/53 7908
Raw data (stat): 7908 (bsolo_lpr-v2) R 7907 31399 31398 0 -1 0 454859 0 0 0 115902 1117 0 0 25 0 1 0 900431488 77631488 18123 4294967295 134512640 134716908 3221224576 3221221648 1074867275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18953 18123 1111 63 0 18890 0
vsize: 0

Child status: 0
Real time (s): 1175.18
CPU time (s): 1175.34
CPU user time (s): 1164.08
CPU system time (s): 11.2563
CPU usage (%): 100.013
Max. virtual memory (Kb): 76172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####