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-10teams.opb
MD5SUM	130bea0863cb3f92addf09aabe15daa3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	912
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.97
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 40378

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        571984 kB
Buffers:          4772 kB
Cached:         436820 kB
SwapCached:        952 kB
Active:          24576 kB
Inactive:       419116 kB
HighTotal:      131008 kB
HighFree:        14112 kB
LowTotal:       903652 kB
LowFree:        557872 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4896 kB
Slab:            13480 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:56:16 (client local time) WITH STATUS 0 IN 1178.12 SECONDS
stats: 28440 7 1178.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 767 constraints.
c preprocess terminated 67.773 s
c Initial Lower Bound: 897
c Lower Bound Elapsed time: 0.88975
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1178.08 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.97 0.93 2/54 30381
Raw data (stat): 30381 (runsolver) R 30380 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900234838 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.87 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 14036 0 0 0 959 31 0 0 25 0 1 0 900234838 60592128 13948 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14793 13948 1111 63 0 14730 0
vsize: 59172
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 14068 0 0 0 1959 31 0 0 25 0 1 0 900234838 60727296 13980 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14826 13980 1111 63 0 14763 0
vsize: 59304
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 14094 0 0 0 2959 31 0 0 25 0 1 0 900234838 60862464 14006 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14859 14006 1111 63 0 14796 0
vsize: 59436
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 14126 0 0 0 3959 32 0 0 25 0 1 0 900234838 60997632 14038 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14892 14038 1111 63 0 14829 0
vsize: 59568
[startup+50.0031 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 14153 0 0 0 4959 32 0 0 25 0 1 0 900234838 61132800 14065 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14925 14065 1111 63 0 14862 0
vsize: 59700
[startup+60.004 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 14183 0 0 0 5959 32 0 0 25 0 1 0 900234838 61267968 14095 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14958 14095 1111 63 0 14895 0
vsize: 59832
[startup+70.005 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 14945 0 0 0 6958 33 0 0 25 0 1 0 900234838 63479808 14731 4294967295 134512640 134716908 3221224576 3221220336 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15498 14731 1111 63 0 15435 0
vsize: 61992
[startup+80.0058 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 17596 0 0 0 7953 38 0 0 25 0 1 0 900234838 62443520 14542 4294967295 134512640 134716908 3221224576 3221223216 134651137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15245 14542 1111 63 0 15182 0
vsize: 60980
[startup+90.0066 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 19348 0 0 0 8949 42 0 0 25 0 1 0 900234838 63291392 14700 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15452 14700 1111 63 0 15389 0
vsize: 61808
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 20905 0 0 0 9946 45 0 0 25 0 1 0 900234838 62414848 14535 4294967295 134512640 134716908 3221224576 3221222528 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14535 1111 63 0 15175 0
vsize: 60952
[startup+110.007 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 22758 0 0 0 10943 49 0 0 25 0 1 0 900234838 63315968 14702 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15458 14702 1111 63 0 15395 0
vsize: 61832
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 24378 0 0 0 11940 52 0 0 25 0 1 0 900234838 62414848 14535 4294967295 134512640 134716908 3221224576 3221222528 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14535 1111 63 0 15175 0
vsize: 60952
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 26173 0 0 0 12936 56 0 0 25 0 1 0 900234838 63315968 14711 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15458 14711 1111 63 0 15395 0
vsize: 61832
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 27988 0 0 0 13933 60 0 0 25 0 1 0 900234838 63512576 14712 4294967295 134512640 134716908 3221224576 3221220580 1074875840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15506 14712 1111 63 0 15443 0
vsize: 62024
[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 29469 0 0 0 14929 64 0 0 25 0 1 0 900234838 63303680 14698 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15455 14698 1111 63 0 15392 0
vsize: 61820
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 31347 0 0 0 15925 68 0 0 25 0 1 0 900234838 63303680 14698 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15455 14698 1111 63 0 15392 0
vsize: 61820
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 33138 0 0 0 16921 72 0 0 25 0 1 0 900234838 63512576 14667 4294967295 134512640 134716908 3221224576 3221220736 1074794571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15506 14667 1111 63 0 15443 0
vsize: 62024
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 34652 0 0 0 17917 76 0 0 25 0 1 0 900234838 63303680 14699 4294967295 134512640 134716908 3221224576 3221221664 1075661520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15455 14699 1111 63 0 15392 0
vsize: 61820
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 36462 0 0 0 18914 80 0 0 25 0 1 0 900234838 63512576 14707 4294967295 134512640 134716908 3221224576 3221220620 1074873468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15506 14707 1111 63 0 15443 0
vsize: 62024
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 38032 0 0 0 19910 84 0 0 25 0 1 0 900234838 62414848 14535 4294967295 134512640 134716908 3221224576 3221222440 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14535 1111 63 0 15175 0
vsize: 60952
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 39749 0 0 0 20907 87 0 0 25 0 1 0 900234838 63512576 14728 4294967295 134512640 134716908 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15506 14728 1111 63 0 15443 0
vsize: 62024
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 41542 0 0 0 21903 91 0 0 25 0 1 0 900234838 63512576 14744 4294967295 134512640 134716908 3221224576 3221220720 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15506 14744 1111 63 0 15443 0
vsize: 62024
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 43073 0 0 0 22900 95 0 0 25 0 1 0 900234838 62414848 14535 4294967295 134512640 134716908 3221224576 3221222528 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14535 1111 63 0 15175 0
vsize: 60952
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 44857 0 0 0 23896 98 0 0 25 0 1 0 900234838 63393792 14693 4294967295 134512640 134716908 3221224576 3221220452 1074786491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15477 14693 1111 63 0 15414 0
vsize: 61908
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 46300 0 0 0 24893 101 0 0 25 0 1 0 900234838 63381504 14692 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15474 14692 1111 63 0 15411 0
vsize: 61896
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 47781 0 0 0 25890 105 0 0 25 0 1 0 900234838 62935040 14612 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15365 14612 1111 63 0 15302 0
vsize: 61460
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 49331 0 0 0 26887 108 0 0 25 0 1 0 900234838 63377408 14696 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15473 14696 1111 63 0 15410 0
vsize: 61892
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 50633 0 0 0 27884 111 0 0 25 0 1 0 900234838 63377408 14691 4294967295 134512640 134716908 3221224576 3221220752 1074882508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15473 14691 1111 63 0 15410 0
vsize: 61892
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 52098 0 0 0 28881 114 0 0 25 0 1 0 900234838 62414848 14535 4294967295 134512640 134716908 3221224576 3221222528 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14535 1111 63 0 15175 0
vsize: 60952
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 53762 0 0 0 29878 118 0 0 25 0 1 0 900234838 63381504 14692 4294967295 134512640 134716908 3221224576 3221220544 1074872899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15474 14692 1111 63 0 15411 0
vsize: 61896
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 55213 0 0 0 30876 120 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 56877 0 0 0 31872 124 0 0 25 0 1 0 900234838 63291392 14704 4294967295 134512640 134716908 3221224576 3221220460 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15452 14704 1111 63 0 15389 0
vsize: 61808
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 58224 0 0 0 32869 127 0 0 25 0 1 0 900234838 63373312 14691 4294967295 134512640 134716908 3221224576 3221220540 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15472 14691 1111 63 0 15409 0
vsize: 61888
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 59656 0 0 0 33866 131 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222304 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 61294 0 0 0 34862 134 0 0 25 0 1 0 900234838 63369216 14692 4294967295 134512640 134716908 3221224576 3221220804 1075115092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15471 14692 1111 63 0 15408 0
vsize: 61884
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 62574 0 0 0 35860 137 0 0 25 0 1 0 900234838 63369216 14693 4294967295 134512640 134716908 3221224576 3221220676 1075964282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15471 14693 1111 63 0 15408 0
vsize: 61884
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 64270 0 0 0 36856 141 0 0 25 0 1 0 900234838 63578112 14699 4294967295 134512640 134716908 3221224576 3221220544 1074872882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15522 14699 1111 63 0 15459 0
vsize: 62088
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 65551 0 0 0 37854 143 0 0 25 0 1 0 900234838 63565824 14727 4294967295 134512640 134716908 3221224576 3221220752 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15519 14727 1111 63 0 15456 0
vsize: 62076
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 67218 0 0 0 38850 147 0 0 25 0 1 0 900234838 63565824 14709 4294967295 134512640 134716908 3221224576 3221220848 1074960765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15519 14709 1111 63 0 15456 0
vsize: 62076
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 68538 0 0 0 39848 150 0 0 25 0 1 0 900234838 63356928 14688 4294967295 134512640 134716908 3221224576 3221220576 1074790402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15468 14688 1111 63 0 15405 0
vsize: 61872
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 70167 0 0 0 40845 153 0 0 25 0 1 0 900234838 63565824 14640 4294967295 134512640 134716908 3221224576 3221221564 1074950700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15519 14640 1111 63 0 15456 0
vsize: 62076
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 71537 0 0 0 41842 156 0 0 25 0 1 0 900234838 63561728 14722 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15518 14722 1111 63 0 15455 0
vsize: 62072
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 72821 0 0 0 42840 158 0 0 25 0 1 0 900234838 63352832 14684 4294967295 134512640 134716908 3221224576 3221220752 1074882592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15467 14684 1111 63 0 15404 0
vsize: 61868
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 74219 0 0 0 43837 162 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222760 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 75754 0 0 0 44834 165 0 0 25 0 1 0 900234838 63561728 14705 4294967295 134512640 134716908 3221224576 3221220752 1074882614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15518 14705 1111 63 0 15455 0
vsize: 62072
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 77011 0 0 0 45831 168 0 0 25 0 1 0 900234838 63352832 14691 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15467 14691 1111 63 0 15404 0
vsize: 61868
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 78378 0 0 0 46829 171 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222240 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 79865 0 0 0 47826 174 0 0 25 0 1 0 900234838 63561728 14656 4294967295 134512640 134716908 3221224576 3221221496 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15518 14656 1111 63 0 15455 0
vsize: 62072
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 81157 0 0 0 48823 177 0 0 25 0 1 0 900234838 63557632 14690 4294967295 134512640 134716908 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15517 14690 1111 63 0 15454 0
vsize: 62068
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 82493 0 0 0 49820 180 0 0 25 0 1 0 900234838 63348736 14683 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 14683 1111 63 0 15403 0
vsize: 61864
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 83769 0 0 0 50817 183 0 0 25 0 1 0 900234838 63348736 14683 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 14683 1111 63 0 15403 0
vsize: 61864
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 85006 0 0 0 51815 185 0 0 25 0 1 0 900234838 63553536 14704 4294967295 134512640 134716908 3221224576 3221220544 1075965294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15516 14704 1111 63 0 15453 0
vsize: 62064
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 86270 0 0 0 52812 188 0 0 25 0 1 0 900234838 63344640 14680 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15465 14680 1111 63 0 15402 0
vsize: 61860
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 87612 0 0 0 53809 192 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 88767 0 0 0 54807 194 0 0 25 0 1 0 900234838 63344640 14687 4294967295 134512640 134716908 3221224576 3221220432 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15465 14687 1111 63 0 15402 0
vsize: 61860
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 89985 0 0 0 55804 197 0 0 25 0 1 0 900234838 63344640 14691 4294967295 134512640 134716908 3221224576 3221221344 1076084098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15465 14691 1111 63 0 15402 0
vsize: 61860
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 91142 0 0 0 56802 200 0 0 25 0 1 0 900234838 63553536 14688 4294967295 134512640 134716908 3221224576 3221220620 1074873537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15516 14688 1111 63 0 15453 0
vsize: 62064
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 92014 0 0 0 57800 201 0 0 25 0 1 0 900234838 63344640 14691 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15465 14691 1111 63 0 15402 0
vsize: 61860
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 93230 0 0 0 58798 204 0 0 25 0 1 0 900234838 63553536 14707 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15516 14707 1111 63 0 15453 0
vsize: 62064
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 94393 0 0 0 59796 206 0 0 25 0 1 0 900234838 63553536 14666 4294967295 134512640 134716908 3221224576 3221220848 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15516 14666 1111 63 0 15453 0
vsize: 62064
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 95305 0 0 0 60794 208 0 0 25 0 1 0 900234838 63553536 14738 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15516 14738 1111 63 0 15453 0
vsize: 62064
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 96103 0 0 0 61792 210 0 0 25 0 1 0 900234838 63553536 14711 4294967295 134512640 134716908 3221224576 3221220544 1074872895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15516 14711 1111 63 0 15453 0
vsize: 62064
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 97387 0 0 0 62790 213 0 0 25 0 1 0 900234838 63340544 14685 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 14685 1111 63 0 15401 0
vsize: 61856
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 98218 0 0 0 63788 215 0 0 25 0 1 0 900234838 63340544 14685 4294967295 134512640 134716908 3221224576 3221220952 1075112546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 14685 1111 63 0 15401 0
vsize: 61856
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 99439 0 0 0 64786 217 0 0 25 0 1 0 900234838 63238144 14687 4294967295 134512640 134716908 3221224576 3221220752 1074882630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15439 14687 1111 63 0 15376 0
vsize: 61756
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 100261 0 0 0 65784 219 0 0 25 0 1 0 900234838 63238144 14689 4294967295 134512640 134716908 3221224576 3221220736 1074794661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15439 14689 1111 63 0 15376 0
vsize: 61756
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 101448 0 0 0 66781 222 0 0 25 0 1 0 900234838 63541248 14722 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15513 14722 1111 63 0 15450 0
vsize: 62052
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 102583 0 0 0 67779 225 0 0 25 0 1 0 900234838 63541248 14679 4294967295 134512640 134716908 3221224576 3221221168 1074885958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15513 14679 1111 63 0 15450 0
vsize: 62052
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 103407 0 0 0 68777 227 0 0 25 0 1 0 900234838 63320064 14677 4294967295 134512640 134716908 3221224576 3221220752 1074882566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15459 14677 1111 63 0 15396 0
vsize: 61836
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 104325 0 0 0 69774 230 0 0 25 0 1 0 900234838 62836736 14577 4294967295 134512640 134716908 3221224576 3221222224 1075818287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15341 14577 1111 63 0 15278 0
vsize: 61364
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 105406 0 0 0 70773 232 0 0 25 0 1 0 900234838 63332352 14682 4294967295 134512640 134716908 3221224576 3221221232 1075968211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15462 14682 1111 63 0 15399 0
vsize: 61848
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 106368 0 0 0 71771 234 0 0 25 0 1 0 900234838 62586880 14574 4294967295 134512640 134716908 3221224576 3221222576 1074918136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15280 14574 1111 63 0 15217 0
vsize: 61120
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 107422 0 0 0 72768 237 0 0 25 0 1 0 900234838 63320064 14682 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15459 14682 1111 63 0 15396 0
vsize: 61836
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 108646 0 0 0 73767 238 0 0 25 0 1 0 900234838 63541248 14710 4294967295 134512640 134716908 3221224576 3221220780 1075564316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15513 14710 1111 63 0 15450 0
vsize: 62052
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 109566 0 0 0 74764 241 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222576 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 110647 0 0 0 75761 244 0 0 25 0 1 0 900234838 63541248 14710 4294967295 134512640 134716908 3221224576 3221220380 1074787650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15513 14710 1111 63 0 15450 0
vsize: 62052
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 111633 0 0 0 76759 246 0 0 25 0 1 0 900234838 62865408 14607 4294967295 134512640 134716908 3221224576 3221222224 1075818331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15348 14607 1111 63 0 15285 0
vsize: 61392
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 112665 0 0 0 77758 248 0 0 25 0 1 0 900234838 63311872 14676 4294967295 134512640 134716908 3221224576 3221220680 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15457 14676 1111 63 0 15394 0
vsize: 61828
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 113848 0 0 0 78755 251 0 0 25 0 1 0 900234838 63520768 14709 4294967295 134512640 134716908 3221224576 3221220392 1074788458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15508 14709 1111 63 0 15445 0
vsize: 62032
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 114735 0 0 0 79753 253 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222544 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 115818 0 0 0 80751 256 0 0 25 0 1 0 900234838 63524864 14710 4294967295 134512640 134716908 3221224576 3221221608 1077410285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15509 14710 1111 63 0 15446 0
vsize: 62036
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 117012 0 0 0 81748 258 0 0 25 0 1 0 900234838 63311872 14676 4294967295 134512640 134716908 3221224576 3221220736 1074794669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15457 14676 1111 63 0 15394 0
vsize: 61828
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 118169 0 0 0 82746 261 0 0 25 0 1 0 900234838 63516672 14711 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15507 14711 1111 63 0 15444 0
vsize: 62028
[startup+840.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 119469 0 0 0 83742 265 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222832 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 120624 0 0 0 84739 268 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222576 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 121805 0 0 0 85738 270 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222576 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 122869 0 0 0 86735 272 0 0 25 0 1 0 900234838 63303680 14671 4294967295 134512640 134716908 3221224576 3221220752 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15455 14671 1111 63 0 15392 0
vsize: 61820
[startup+880.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 124050 0 0 0 87733 275 0 0 25 0 1 0 900234838 63299584 14676 4294967295 134512640 134716908 3221224576 3221220736 1074794585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15454 14676 1111 63 0 15391 0
vsize: 61816
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 125210 0 0 0 88730 278 0 0 25 0 1 0 900234838 63508480 14711 4294967295 134512640 134716908 3221224576 3221220736 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15505 14711 1111 63 0 15442 0
vsize: 62020
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 126373 0 0 0 89728 280 0 0 25 0 1 0 900234838 63508480 14700 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15505 14700 1111 63 0 15442 0
vsize: 62020
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 127450 0 0 0 90726 283 0 0 25 0 1 0 900234838 63508480 14644 4294967295 134512640 134716908 3221224576 3221220724 1075964406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15505 14644 1111 63 0 15442 0
vsize: 62020
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 128323 0 0 0 91725 284 0 0 25 0 1 0 900234838 63213568 14680 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15433 14680 1111 63 0 15370 0
vsize: 61732
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 129493 0 0 0 92723 286 0 0 25 0 1 0 900234838 63295488 14678 4294967295 134512640 134716908 3221224576 3221220736 1074794671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15453 14678 1111 63 0 15390 0
vsize: 61812
[startup+940.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 130677 0 0 0 93721 288 0 0 25 0 1 0 900234838 63295488 14673 4294967295 134512640 134716908 3221224576 3221220588 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15453 14673 1111 63 0 15390 0
vsize: 61812
[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 131837 0 0 0 94718 291 0 0 25 0 1 0 900234838 63291392 14671 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15452 14671 1111 63 0 15389 0
vsize: 61808
[startup+960.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 132971 0 0 0 95716 294 0 0 25 0 1 0 900234838 63295488 14671 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15453 14671 1111 63 0 15390 0
vsize: 61812
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 133856 0 0 0 96713 296 0 0 25 0 1 0 900234838 62824448 14574 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15338 14574 1111 63 0 15275 0
vsize: 61352
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 134869 0 0 0 97711 298 0 0 25 0 1 0 900234838 63291392 14672 4294967295 134512640 134716908 3221224576 3221220676 1075964282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15452 14672 1111 63 0 15389 0
vsize: 61808
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 135954 0 0 0 98709 301 0 0 25 0 1 0 900234838 63500288 14698 4294967295 134512640 134716908 3221224576 3221220460 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15503 14698 1111 63 0 15440 0
vsize: 62012
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 137126 0 0 0 99708 303 0 0 25 0 1 0 900234838 63287296 14664 4294967295 134512640 134716908 3221224576 3221220952 1075112546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15451 14664 1111 63 0 15388 0
vsize: 61804
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 138076 0 0 0 100706 305 0 0 25 0 1 0 900234838 63500288 14658 4294967295 134512640 134716908 3221224576 3221221232 1075966266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15503 14658 1111 63 0 15440 0
vsize: 62012
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 138864 0 0 0 101704 307 0 0 25 0 1 0 900234838 63283200 14669 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15450 14669 1111 63 0 15387 0
vsize: 61800
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 139913 0 0 0 102702 309 0 0 25 0 1 0 900234838 63279104 14670 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15449 14670 1111 63 0 15386 0
vsize: 61796
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 140946 0 0 0 103700 311 0 0 25 0 1 0 900234838 63279104 14683 4294967295 134512640 134716908 3221224576 3221220752 1074882630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15449 14683 1111 63 0 15386 0
vsize: 61796
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 141932 0 0 0 104698 313 0 0 25 0 1 0 900234838 63279104 14666 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15449 14666 1111 63 0 15386 0
vsize: 61796
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 142934 0 0 0 105695 316 0 0 25 0 1 0 900234838 63283200 14674 4294967295 134512640 134716908 3221224576 3221220676 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15450 14674 1111 63 0 15387 0
vsize: 61800
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 143970 0 0 0 106693 319 0 0 25 0 1 0 900234838 63205376 14687 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15431 14687 1111 63 0 15368 0
vsize: 61724
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 144718 0 0 0 107692 320 0 0 25 0 1 0 900234838 62414848 14536 4294967295 134512640 134716908 3221224576 3221222880 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15238 14536 1111 63 0 15175 0
vsize: 60952
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 145637 0 0 0 108689 323 0 0 25 0 1 0 900234838 63279104 14687 4294967295 134512640 134716908 3221224576 3221220544 1075965308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15449 14687 1111 63 0 15386 0
vsize: 61796
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 146636 0 0 0 109686 326 0 0 25 0 1 0 900234838 63205376 14692 4294967295 134512640 134716908 3221224576 3221220752 1074882647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15431 14692 1111 63 0 15368 0
vsize: 61724
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 147641 0 0 0 110683 329 0 0 25 0 1 0 900234838 63275008 14677 4294967295 134512640 134716908 3221224576 3221220780 1075564316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15448 14677 1111 63 0 15385 0
vsize: 61792
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 148611 0 0 0 111681 331 0 0 25 0 1 0 900234838 63303680 14690 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15455 14690 1111 63 0 15392 0
vsize: 61820
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 149477 0 0 0 112679 334 0 0 25 0 1 0 900234838 63307776 14691 4294967295 134512640 134716908 3221224576 3221220684 1074790004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15456 14691 1111 63 0 15393 0
vsize: 61824
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 150340 0 0 0 113678 335 0 0 25 0 1 0 900234838 63197184 14688 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15429 14688 1111 63 0 15366 0
vsize: 61716
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 151153 0 0 0 114675 338 0 0 25 0 1 0 900234838 63516672 14707 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15507 14707 1111 63 0 15444 0
vsize: 62028
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 151981 0 0 0 115674 339 0 0 25 0 1 0 900234838 63197184 14689 4294967295 134512640 134716908 3221224576 3221220544 1074872741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15429 14689 1111 63 0 15366 0
vsize: 61716
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 152910 0 0 0 116672 342 0 0 25 0 1 0 900234838 63197184 14692 4294967295 134512640 134716908 3221224576 3221220736 1075093188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15429 14692 1111 63 0 15366 0
vsize: 61716
[startup+1178.02 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 30381
Raw data (stat): 30381 (bsolo_lpr-v2) R 30380 21152 21151 0 -1 0 152910 0 0 0 116672 342 0 0 25 0 1 0 900234838 63197184 14692 4294967295 134512640 134716908 3221224576 3221220736 1075093188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15429 14692 1111 63 0 15366 0
vsize: 0

Child status: 0
Real time (s): 1178.02
CPU time (s): 1178.12
CPU user time (s): 1174.65
CPU system time (s): 3.46347
CPU usage (%): 100.008
Max. virtual memory (Kb): 62088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####