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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM2d8f46b77d84c45a7178d4a463744176
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 7560
Biggest coefficient in the objective function 2097152
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 876993750
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 2097152
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 876993750
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.128979
Number of variables14760
Total number of constraints1110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints750
Minimum length of a constraint1
Maximum length of a constraint252

Trace number 40374

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 08:28:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28437 boxname=wulflinc5 idbench=1393 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  2d8f46b77d84c45a7178d4a463744176  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-tr12-30.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-tr12-30.opb
IDLAUNCH: 28437
/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:        914344 kB
Buffers:          7176 kB
Cached:          90936 kB
SwapCached:        692 kB
Active:          20368 kB
Inactive:        79816 kB
HighTotal:      131008 kB
HighFree:        49532 kB
LowTotal:       903652 kB
LowFree:        864812 kB
SwapTotal:     2097136 kB
SwapFree:      2095476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14400 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:48:32 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 28437 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14760 variables and 1110 constraints.
c After prepocess the problem consists of 13992 variables and 1183 constraints.
c preprocess terminated 13.434 s
c Initial Lower Bound: 2319895
c Lower Bound Elapsed time: 1.93675
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.82 0.94 0.90 1/54 17052
Raw data (stat): 17052 (runsolver) R 17051 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900198247 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.0007 s]
Raw data (loadavg): 0.84 0.94 0.90 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 16060 0 0 0 955 42 0 0 25 0 1 0 900198247 68837376 15890 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16806 15890 1111 63 0 16743 0
vsize: 67224
[startup+20.0009 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 20997 0 0 0 1945 52 0 0 25 0 1 0 900198247 71770112 16718 4294967295 134512640 134716908 3221224576 3221222924 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17522 16718 1111 63 0 17459 0
vsize: 70088
[startup+30.0016 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24969 0 0 0 2937 60 0 0 25 0 1 0 900198247 71884800 16747 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16747 1111 63 0 17487 0
vsize: 70200
[startup+40.0016 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24970 0 0 0 3937 60 0 0 25 0 1 0 900198247 71884800 16748 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16748 1111 63 0 17487 0
vsize: 70200
[startup+50.002 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24970 0 0 0 4937 60 0 0 25 0 1 0 900198247 71884800 16748 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16748 1111 63 0 17487 0
vsize: 70200
[startup+60.0018 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24970 0 0 0 5937 60 0 0 25 0 1 0 900198247 71884800 16748 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16748 1111 63 0 17487 0
vsize: 70200
[startup+70.0018 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24970 0 0 0 6937 61 0 0 25 0 1 0 900198247 71884800 16748 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16748 1111 63 0 17487 0
vsize: 70200
[startup+80.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24970 0 0 0 7937 61 0 0 25 0 1 0 900198247 71884800 16748 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16748 1111 63 0 17487 0
vsize: 70200
[startup+90.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24972 0 0 0 8937 61 0 0 25 0 1 0 900198247 72019968 16750 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17583 16750 1111 63 0 17520 0
vsize: 70332
[startup+100.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24972 0 0 0 9937 61 0 0 25 0 1 0 900198247 72019968 16750 4294967295 134512640 134716908 3221224576 3221222888 1077377239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17583 16750 1111 63 0 17520 0
vsize: 70332
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24983 0 0 0 10937 61 0 0 25 0 1 0 900198247 72019968 16761 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17583 16761 1111 63 0 17520 0
vsize: 70332
[startup+120.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24986 0 0 0 11937 61 0 0 25 0 1 0 900198247 72019968 16764 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17583 16764 1111 63 0 17520 0
vsize: 70332
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 24998 0 0 0 12937 61 0 0 25 0 1 0 900198247 72019968 16776 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17583 16776 1111 63 0 17520 0
vsize: 70332
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25013 0 0 0 13937 62 0 0 25 0 1 0 900198247 72155136 16791 4294967295 134512640 134716908 3221224576 3221223260 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17616 16791 1111 63 0 17553 0
vsize: 70464
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25013 0 0 0 14937 62 0 0 25 0 1 0 900198247 72155136 16791 4294967295 134512640 134716908 3221224576 3221223340 134613516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17616 16791 1111 63 0 17553 0
vsize: 70464
[startup+160.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25013 0 0 0 15937 62 0 0 25 0 1 0 900198247 72155136 16791 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17616 16791 1111 63 0 17553 0
vsize: 70464
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25018 0 0 0 16937 62 0 0 25 0 1 0 900198247 72155136 16796 4294967295 134512640 134716908 3221224576 3221223264 134543724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17616 16796 1111 63 0 17553 0
vsize: 70464
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25027 0 0 0 17937 63 0 0 25 0 1 0 900198247 72155136 16805 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17616 16805 1111 63 0 17553 0
vsize: 70464
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25040 0 0 0 18936 63 0 0 25 0 1 0 900198247 72290304 16818 4294967295 134512640 134716908 3221224576 3221223216 134613438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16818 1111 63 0 17586 0
vsize: 70596
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25046 0 0 0 19937 63 0 0 25 0 1 0 900198247 72290304 16824 4294967295 134512640 134716908 3221224576 3221223216 134613438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16824 1111 63 0 17586 0
vsize: 70596
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25046 0 0 0 20937 63 0 0 25 0 1 0 900198247 72290304 16824 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16824 1111 63 0 17586 0
vsize: 70596
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25063 0 0 0 21937 63 0 0 25 0 1 0 900198247 72290304 16841 4294967295 134512640 134716908 3221224576 3221223360 134584858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16841 1111 63 0 17586 0
vsize: 70596
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25065 0 0 0 22937 63 0 0 25 0 1 0 900198247 72290304 16843 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16843 1111 63 0 17586 0
vsize: 70596
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25077 0 0 0 23937 63 0 0 25 0 1 0 900198247 72425472 16855 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16855 1111 63 0 17619 0
vsize: 70728
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25088 0 0 0 24937 64 0 0 25 0 1 0 900198247 72425472 16866 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16866 1111 63 0 17619 0
vsize: 70728
[startup+260.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25088 0 0 0 25937 64 0 0 25 0 1 0 900198247 72425472 16866 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16866 1111 63 0 17619 0
vsize: 70728
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25088 0 0 0 26937 64 0 0 25 0 1 0 900198247 72425472 16866 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16866 1111 63 0 17619 0
vsize: 70728
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25095 0 0 0 27937 64 0 0 25 0 1 0 900198247 72425472 16873 4294967295 134512640 134716908 3221224576 3221223288 134524391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16873 1111 63 0 17619 0
vsize: 70728
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25103 0 0 0 28937 64 0 0 25 0 1 0 900198247 72560640 16881 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17715 16881 1111 63 0 17652 0
vsize: 70860
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25119 0 0 0 29937 64 0 0 25 0 1 0 900198247 72560640 16897 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17715 16897 1111 63 0 17652 0
vsize: 70860
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25119 0 0 0 30937 65 0 0 25 0 1 0 900198247 72560640 16897 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17715 16897 1111 63 0 17652 0
vsize: 70860
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25127 0 0 0 31937 65 0 0 25 0 1 0 900198247 72560640 16905 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17715 16905 1111 63 0 17652 0
vsize: 70860
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25138 0 0 0 32937 65 0 0 25 0 1 0 900198247 72695808 16916 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17748 16916 1111 63 0 17685 0
vsize: 70992
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25145 0 0 0 33937 65 0 0 25 0 1 0 900198247 72695808 16923 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17748 16923 1111 63 0 17685 0
vsize: 70992
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25151 0 0 0 34937 66 0 0 25 0 1 0 900198247 72695808 16929 4294967295 134512640 134716908 3221224576 3221223264 134524417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17748 16929 1111 63 0 17685 0
vsize: 70992
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25156 0 0 0 35937 66 0 0 25 0 1 0 900198247 72695808 16934 4294967295 134512640 134716908 3221224576 3221223216 134698481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17748 16934 1111 63 0 17685 0
vsize: 70992
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25156 0 0 0 36937 66 0 0 25 0 1 0 900198247 72695808 16934 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17748 16934 1111 63 0 17685 0
vsize: 70992
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25167 0 0 0 37937 66 0 0 25 0 1 0 900198247 72695808 16945 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17748 16945 1111 63 0 17685 0
vsize: 70992
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25168 0 0 0 38937 66 0 0 25 0 1 0 900198247 72695808 16946 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17748 16946 1111 63 0 17685 0
vsize: 70992
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25180 0 0 0 39937 67 0 0 25 0 1 0 900198247 72830976 16958 4294967295 134512640 134716908 3221224576 3221223224 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17781 16958 1111 63 0 17718 0
vsize: 71124
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25191 0 0 0 40937 67 0 0 25 0 1 0 900198247 72830976 16969 4294967295 134512640 134716908 3221224576 3221223340 134613516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17781 16969 1111 63 0 17718 0
vsize: 71124
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25193 0 0 0 41937 67 0 0 25 0 1 0 900198247 72830976 16971 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17781 16971 1111 63 0 17718 0
vsize: 71124
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25198 0 0 0 42937 67 0 0 25 0 1 0 900198247 72830976 16976 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17781 16976 1111 63 0 17718 0
vsize: 71124
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25205 0 0 0 43937 67 0 0 25 0 1 0 900198247 72966144 16983 4294967295 134512640 134716908 3221224576 3221223264 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17814 16983 1111 63 0 17751 0
vsize: 71256
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25213 0 0 0 44937 67 0 0 25 0 1 0 900198247 72966144 16991 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17814 16991 1111 63 0 17751 0
vsize: 71256
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25231 0 0 0 45937 67 0 0 25 0 1 0 900198247 72966144 17009 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17814 17009 1111 63 0 17751 0
vsize: 71256
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25231 0 0 0 46938 67 0 0 25 0 1 0 900198247 72966144 17009 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17814 17009 1111 63 0 17751 0
vsize: 71256
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25231 0 0 0 47938 67 0 0 25 0 1 0 900198247 72966144 17009 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17814 17009 1111 63 0 17751 0
vsize: 71256
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25231 0 0 0 48938 67 0 0 25 0 1 0 900198247 72966144 17009 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17814 17009 1111 63 0 17751 0
vsize: 71256
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25231 0 0 0 49938 67 0 0 25 0 1 0 900198247 72966144 17009 4294967295 134512640 134716908 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17814 17009 1111 63 0 17751 0
vsize: 71256
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25243 0 0 0 50938 67 0 0 25 0 1 0 900198247 73084928 17021 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17843 17021 1111 63 0 17780 0
vsize: 71372
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25251 0 0 0 51938 67 0 0 25 0 1 0 900198247 73084928 17029 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17843 17029 1111 63 0 17780 0
vsize: 71372
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25253 0 0 0 52938 68 0 0 25 0 1 0 900198247 73084928 17031 4294967295 134512640 134716908 3221224576 3221223220 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17843 17031 1111 63 0 17780 0
vsize: 71372
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25263 0 0 0 53938 68 0 0 25 0 1 0 900198247 73084928 17041 4294967295 134512640 134716908 3221224576 3221223192 134613769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17843 17041 1111 63 0 17780 0
vsize: 71372
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25265 0 0 0 54938 68 0 0 25 0 1 0 900198247 73220096 17043 4294967295 134512640 134716908 3221224576 3221223340 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17876 17043 1111 63 0 17813 0
vsize: 71504
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25278 0 0 0 55938 68 0 0 25 0 1 0 900198247 73220096 17056 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17876 17056 1111 63 0 17813 0
vsize: 71504
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25289 0 0 0 56938 69 0 0 25 0 1 0 900198247 73220096 17067 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17876 17067 1111 63 0 17813 0
vsize: 71504
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25289 0 0 0 57938 69 0 0 25 0 1 0 900198247 73220096 17067 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17876 17067 1111 63 0 17813 0
vsize: 71504
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25291 0 0 0 58937 69 0 0 25 0 1 0 900198247 73220096 17069 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17876 17069 1111 63 0 17813 0
vsize: 71504
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25299 0 0 0 59937 70 0 0 25 0 1 0 900198247 73355264 17077 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17909 17077 1111 63 0 17846 0
vsize: 71636
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25308 0 0 0 60937 70 0 0 25 0 1 0 900198247 73355264 17086 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17909 17086 1111 63 0 17846 0
vsize: 71636
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25321 0 0 0 61937 70 0 0 25 0 1 0 900198247 73355264 17099 4294967295 134512640 134716908 3221224576 3221223144 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17909 17099 1111 63 0 17846 0
vsize: 71636
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25321 0 0 0 62937 70 0 0 25 0 1 0 900198247 73355264 17099 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17909 17099 1111 63 0 17846 0
vsize: 71636
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25326 0 0 0 63937 71 0 0 25 0 1 0 900198247 73355264 17104 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17909 17104 1111 63 0 17846 0
vsize: 71636
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25332 0 0 0 64937 71 0 0 25 0 1 0 900198247 73490432 17110 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17942 17110 1111 63 0 17879 0
vsize: 71768
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25340 0 0 0 65937 71 0 0 25 0 1 0 900198247 73490432 17118 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17942 17118 1111 63 0 17879 0
vsize: 71768
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25350 0 0 0 66937 72 0 0 25 0 1 0 900198247 73490432 17128 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17942 17128 1111 63 0 17879 0
vsize: 71768
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25357 0 0 0 67936 72 0 0 25 0 1 0 900198247 73490432 17135 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17942 17135 1111 63 0 17879 0
vsize: 71768
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25357 0 0 0 68937 72 0 0 25 0 1 0 900198247 73490432 17135 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17942 17135 1111 63 0 17879 0
vsize: 71768
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25366 0 0 0 69936 72 0 0 25 0 1 0 900198247 73625600 17144 4294967295 134512640 134716908 3221224576 3221223408 134551450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17975 17144 1111 63 0 17912 0
vsize: 71900
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25366 0 0 0 70936 72 0 0 25 0 1 0 900198247 73625600 17144 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17975 17144 1111 63 0 17912 0
vsize: 71900
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25372 0 0 0 71936 73 0 0 25 0 1 0 900198247 73625600 17150 4294967295 134512640 134716908 3221224576 3221223292 134698760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17975 17150 1111 63 0 17912 0
vsize: 71900
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25386 0 0 0 72936 73 0 0 25 0 1 0 900198247 73625600 17164 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17975 17164 1111 63 0 17912 0
vsize: 71900
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25386 0 0 0 73936 73 0 0 25 0 1 0 900198247 73625600 17164 4294967295 134512640 134716908 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17975 17164 1111 63 0 17912 0
vsize: 71900
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25395 0 0 0 74936 73 0 0 25 0 1 0 900198247 73625600 17173 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17975 17173 1111 63 0 17912 0
vsize: 71900
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25405 0 0 0 75936 74 0 0 25 0 1 0 900198247 73760768 17183 4294967295 134512640 134716908 3221224576 3221223376 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 17183 1111 63 0 17945 0
vsize: 72032
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25413 0 0 0 76936 74 0 0 25 0 1 0 900198247 73760768 17191 4294967295 134512640 134716908 3221224576 3221223168 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 17191 1111 63 0 17945 0
vsize: 72032
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25422 0 0 0 77936 74 0 0 25 0 1 0 900198247 73760768 17200 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 17200 1111 63 0 17945 0
vsize: 72032
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25428 0 0 0 78936 75 0 0 25 0 1 0 900198247 73760768 17206 4294967295 134512640 134716908 3221224576 3221223280 134528527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 17206 1111 63 0 17945 0
vsize: 72032
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25428 0 0 0 79936 75 0 0 25 0 1 0 900198247 73760768 17206 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 17206 1111 63 0 17945 0
vsize: 72032
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25431 0 0 0 80935 75 0 0 25 0 1 0 900198247 73900032 17209 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 17209 1111 63 0 17979 0
vsize: 72168
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25436 0 0 0 81935 76 0 0 25 0 1 0 900198247 73900032 17214 4294967295 134512640 134716908 3221224576 3221223144 1077377722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 17214 1111 63 0 17979 0
vsize: 72168
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25447 0 0 0 82935 76 0 0 25 0 1 0 900198247 73900032 17225 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 17225 1111 63 0 17979 0
vsize: 72168
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25451 0 0 0 83935 76 0 0 25 0 1 0 900198247 73900032 17229 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 17229 1111 63 0 17979 0
vsize: 72168
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25456 0 0 0 84936 76 0 0 25 0 1 0 900198247 73900032 17234 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 17234 1111 63 0 17979 0
vsize: 72168
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25470 0 0 0 85935 76 0 0 25 0 1 0 900198247 74039296 17248 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 17248 1111 63 0 18013 0
vsize: 72304
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25475 0 0 0 86935 76 0 0 25 0 1 0 900198247 74039296 17253 4294967295 134512640 134716908 3221224576 3221223328 134592438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 17253 1111 63 0 18013 0
vsize: 72304
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25480 0 0 0 87935 77 0 0 25 0 1 0 900198247 74039296 17258 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 17258 1111 63 0 18013 0
vsize: 72304
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25492 0 0 0 88935 77 0 0 25 0 1 0 900198247 74039296 17270 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 17270 1111 63 0 18013 0
vsize: 72304
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25492 0 0 0 89935 77 0 0 25 0 1 0 900198247 74039296 17270 4294967295 134512640 134716908 3221224576 3221223364 134597610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 17270 1111 63 0 18013 0
vsize: 72304
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25492 0 0 0 90935 77 0 0 25 0 1 0 900198247 74039296 17270 4294967295 134512640 134716908 3221224576 3221223216 134536695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 17270 1111 63 0 18013 0
vsize: 72304
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25492 0 0 0 91935 78 0 0 25 0 1 0 900198247 74039296 17270 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 17270 1111 63 0 18013 0
vsize: 72304
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25492 0 0 0 92935 78 0 0 25 0 1 0 900198247 74039296 17270 4294967295 134512640 134716908 3221224576 3221222832 134699783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 17270 1111 63 0 18013 0
vsize: 72304
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25499 0 0 0 93935 78 0 0 25 0 1 0 900198247 74174464 17277 4294967295 134512640 134716908 3221224576 3221223376 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18109 17277 1111 63 0 18046 0
vsize: 72436
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25512 0 0 0 94935 78 0 0 25 0 1 0 900198247 74174464 17290 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18109 17290 1111 63 0 18046 0
vsize: 72436
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25512 0 0 0 95935 78 0 0 25 0 1 0 900198247 74174464 17290 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18109 17290 1111 63 0 18046 0
vsize: 72436
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25513 0 0 0 96935 78 0 0 25 0 1 0 900198247 74174464 17291 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18109 17291 1111 63 0 18046 0
vsize: 72436
[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25523 0 0 0 97935 79 0 0 25 0 1 0 900198247 74174464 17301 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18109 17301 1111 63 0 18046 0
vsize: 72436
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25530 0 0 0 98935 79 0 0 25 0 1 0 900198247 74309632 17308 4294967295 134512640 134716908 3221224576 3221223356 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 17308 1111 63 0 18079 0
vsize: 72568
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25537 0 0 0 99935 79 0 0 25 0 1 0 900198247 74309632 17315 4294967295 134512640 134716908 3221224576 3221222752 134699606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 17315 1111 63 0 18079 0
vsize: 72568
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25541 0 0 0 100936 79 0 0 25 0 1 0 900198247 74309632 17319 4294967295 134512640 134716908 3221224576 3221223164 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 17319 1111 63 0 18079 0
vsize: 72568
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25549 0 0 0 101936 79 0 0 25 0 1 0 900198247 74309632 17327 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 17327 1111 63 0 18079 0
vsize: 72568
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25549 0 0 0 102936 79 0 0 25 0 1 0 900198247 74309632 17327 4294967295 134512640 134716908 3221224576 3221223152 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 17327 1111 63 0 18079 0
vsize: 72568
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25551 0 0 0 103936 79 0 0 25 0 1 0 900198247 74309632 17329 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 17329 1111 63 0 18079 0
vsize: 72568
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25560 0 0 0 104936 79 0 0 25 0 1 0 900198247 74309632 17338 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 17338 1111 63 0 18079 0
vsize: 72568
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25560 0 0 0 105936 80 0 0 25 0 1 0 900198247 74309632 17338 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 17338 1111 63 0 18079 0
vsize: 72568
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25568 0 0 0 106936 80 0 0 25 0 1 0 900198247 74444800 17346 4294967295 134512640 134716908 3221224576 3221223360 134597619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18175 17346 1111 63 0 18112 0
vsize: 72700
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25584 0 0 0 107936 80 0 0 25 0 1 0 900198247 74444800 17362 4294967295 134512640 134716908 3221224576 3221223228 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18175 17362 1111 63 0 18112 0
vsize: 72700
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25584 0 0 0 108936 80 0 0 25 0 1 0 900198247 74444800 17362 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18175 17362 1111 63 0 18112 0
vsize: 72700
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25584 0 0 0 109936 80 0 0 25 0 1 0 900198247 74444800 17362 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18175 17362 1111 63 0 18112 0
vsize: 72700
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25601 0 0 0 110937 80 0 0 25 0 1 0 900198247 74579968 17379 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18208 17379 1111 63 0 18145 0
vsize: 72832
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25601 0 0 0 111937 80 0 0 25 0 1 0 900198247 74579968 17379 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18208 17379 1111 63 0 18145 0
vsize: 72832
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25610 0 0 0 112937 80 0 0 25 0 1 0 900198247 74579968 17388 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18208 17388 1111 63 0 18145 0
vsize: 72832
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25619 0 0 0 113937 80 0 0 25 0 1 0 900198247 74579968 17397 4294967295 134512640 134716908 3221224576 3221223232 1077378571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18208 17397 1111 63 0 18145 0
vsize: 72832
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25625 0 0 0 114937 80 0 0 25 0 1 0 900198247 74579968 17403 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18208 17403 1111 63 0 18145 0
vsize: 72832
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25625 0 0 0 115936 81 0 0 25 0 1 0 900198247 74579968 17403 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18208 17403 1111 63 0 18145 0
vsize: 72832
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25628 0 0 0 116936 82 0 0 25 0 1 0 900198247 74579968 17406 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18208 17406 1111 63 0 18145 0
vsize: 72832
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17052
Raw data (stat): 17052 (bsolo_lpr-v2) R 17051 7266 7265 0 -1 0 25628 0 0 0 116936 82 0 0 25 0 1 0 900198247 74579968 17406 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18208 17406 1111 63 0 18145 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.08
CPU user time (s): 1174.23
CPU system time (s): 0.85487
CPU usage (%): 100.014
Max. virtual memory (Kb): 72832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####