PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb
MD5SUM	44934b498b6e9897bcf8e950d9d30136
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	2946
Biggest coefficient in the objective function	20000
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	31442101
Number of bits of the sum of numbers in the objective function	25
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	629010691
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.11
Number of variables	5363
Total number of constraints	8734
Number of constraints which are clauses	2977
Number of constraints which are cardinality constraints (but not clauses)	5731
Number of constraints which are nor clauses,nor cardinality constraints	26
Minimum length of a constraint	1
Maximum length of a constraint	2942
Trace number 40346

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 07:34:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28406 boxname=wulflinc5 idbench=1362 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  44934b498b6e9897bcf8e950d9d30136  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mkc.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mkc.opb
IDLAUNCH: 28406
/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:        723760 kB
Buffers:         21980 kB
Cached:         266636 kB
SwapCached:        656 kB
Active:          23260 kB
Inactive:       267444 kB
HighTotal:      131008 kB
HighFree:        10612 kB
LowTotal:       903652 kB
LowFree:        713148 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5152 kB
Slab:            14696 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 07:53:56 (client local time) WITH STATUS 0 IN 1175.37 SECONDS
stats: 28406 7 1175.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5363 variables and 3281 constraints.
c After prepocess the problem consists of 5290 variables and 2935 constraints.
c preprocess terminated 70.401 s
c Initial Lower Bound: -535285
c Lower Bound Elapsed time: 3.59575
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.29 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.66 0.92 0.89 2/54 16530
Raw data (stat): 16530 (runsolver) R 16529 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899870584 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.71 0.92 0.89 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 36430 0 0 0 921 76 0 0 25 0 1 0 899870584 151580672 36137 4294967295 134512640 134716908 3221224576 3221223184 134667356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37007 36137 1111 63 0 36944 0
vsize: 148028
[startup+20.0023 s]
Raw data (loadavg): 0.76 0.92 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 36847 0 0 0 1919 77 0 0 25 0 1 0 899870584 153260032 36531 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+30.003 s]
Raw data (loadavg): 0.79 0.92 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 36847 0 0 0 2919 77 0 0 25 0 1 0 899870584 153260032 36531 4294967295 134512640 134716908 3221224576 3221223224 134558614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+40.0031 s]
Raw data (loadavg): 0.83 0.93 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 36847 0 0 0 3919 77 0 0 25 0 1 0 899870584 153260032 36531 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+50.0035 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 36847 0 0 0 4919 77 0 0 25 0 1 0 899870584 153260032 36531 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+60.0032 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 36856 0 0 0 5919 77 0 0 25 0 1 0 899870584 153260032 36540 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36540 1111 63 0 37354 0
vsize: 149668
[startup+70.0043 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 36856 0 0 0 6920 77 0 0 25 0 1 0 899870584 153260032 36540 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36540 1111 63 0 37354 0
vsize: 149668
[startup+80.0047 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 38080 0 0 0 7918 79 0 0 25 0 1 0 899870584 157671424 37603 4294967295 134512640 134716908 3221224576 3221220628 1075964433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38494 37603 1111 63 0 38431 0
vsize: 153976
[startup+90.0045 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40478 0 0 0 8912 84 0 0 25 0 1 0 899870584 155492352 37235 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37962 37235 1111 63 0 37899 0
vsize: 151848
[startup+100.004 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40478 0 0 0 9913 84 0 0 25 0 1 0 899870584 155492352 37235 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37962 37235 1111 63 0 37899 0
vsize: 151848
[startup+110.005 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40478 0 0 0 10913 84 0 0 25 0 1 0 899870584 155492352 37235 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37962 37235 1111 63 0 37899 0
vsize: 151848
[startup+120.006 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40527 0 0 0 11913 84 0 0 25 0 1 0 899870584 155762688 37284 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38028 37284 1111 63 0 37965 0
vsize: 152112
[startup+130.006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40531 0 0 0 12913 84 0 0 25 0 1 0 899870584 155762688 37288 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38028 37288 1111 63 0 37965 0
vsize: 152112
[startup+140.005 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40571 0 0 0 13913 84 0 0 25 0 1 0 899870584 155897856 37328 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38061 37328 1111 63 0 37998 0
vsize: 152244
[startup+150.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40584 0 0 0 14913 84 0 0 25 0 1 0 899870584 156037120 37341 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38095 37341 1111 63 0 38032 0
vsize: 152380
[startup+160.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40584 0 0 0 15913 85 0 0 25 0 1 0 899870584 156037120 37341 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38095 37341 1111 63 0 38032 0
vsize: 152380
[startup+170.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40584 0 0 0 16914 85 0 0 25 0 1 0 899870584 156037120 37341 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38095 37341 1111 63 0 38032 0
vsize: 152380
[startup+180.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40584 0 0 0 17914 85 0 0 25 0 1 0 899870584 156037120 37341 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38095 37341 1111 63 0 38032 0
vsize: 152380
[startup+190.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40621 0 0 0 18914 85 0 0 25 0 1 0 899870584 156172288 37378 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38128 37378 1111 63 0 38065 0
vsize: 152512
[startup+200.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40653 0 0 0 19914 85 0 0 25 0 1 0 899870584 156307456 37410 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38161 37410 1111 63 0 38098 0
vsize: 152644
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40656 0 0 0 20914 85 0 0 25 0 1 0 899870584 156213248 37410 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38138 37410 1111 63 0 38075 0
vsize: 152552
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40673 0 0 0 21914 85 0 0 25 0 1 0 899870584 156348416 37427 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38171 37427 1111 63 0 38108 0
vsize: 152684
[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40673 0 0 0 22914 85 0 0 25 0 1 0 899870584 156348416 37427 4294967295 134512640 134716908 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38171 37427 1111 63 0 38108 0
vsize: 152684
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40673 0 0 0 23914 85 0 0 25 0 1 0 899870584 156348416 37427 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38171 37427 1111 63 0 38108 0
vsize: 152684
[startup+250.04 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40688 0 0 0 24918 85 0 0 25 0 1 0 899870584 156487680 37442 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38205 37442 1111 63 0 38142 0
vsize: 152820
[startup+260.05 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40693 0 0 0 25919 85 0 0 25 0 1 0 899870584 156418048 37447 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38188 37447 1111 63 0 38125 0
vsize: 152752
[startup+270.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40695 0 0 0 26919 85 0 0 25 0 1 0 899870584 156418048 37449 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38188 37449 1111 63 0 38125 0
vsize: 152752
[startup+280.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40695 0 0 0 27919 85 0 0 25 0 1 0 899870584 156418048 37449 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38188 37449 1111 63 0 38125 0
vsize: 152752
[startup+290.05 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40695 0 0 0 28919 85 0 0 25 0 1 0 899870584 156418048 37449 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38188 37449 1111 63 0 38125 0
vsize: 152752
[startup+300.05 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40726 0 0 0 29919 85 0 0 25 0 1 0 899870584 156553216 37480 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38221 37480 1111 63 0 38158 0
vsize: 152884
[startup+310.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40774 0 0 0 30919 85 0 0 25 0 1 0 899870584 156823552 37528 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38287 37528 1111 63 0 38224 0
vsize: 153148
[startup+320.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40790 0 0 0 31920 85 0 0 25 0 1 0 899870584 156823552 37544 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38287 37544 1111 63 0 38224 0
vsize: 153148
[startup+330.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40794 0 0 0 32920 85 0 0 25 0 1 0 899870584 156823552 37548 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38287 37548 1111 63 0 38224 0
vsize: 153148
[startup+340.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40796 0 0 0 33920 85 0 0 25 0 1 0 899870584 156823552 37550 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38287 37550 1111 63 0 38224 0
vsize: 153148
[startup+350.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40820 0 0 0 34920 86 0 0 25 0 1 0 899870584 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+360.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40820 0 0 0 35920 86 0 0 25 0 1 0 899870584 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+370.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40820 0 0 0 36921 86 0 0 25 0 1 0 899870584 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+380.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40820 0 0 0 37920 86 0 0 25 0 1 0 899870584 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+390.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40820 0 0 0 38920 86 0 0 25 0 1 0 899870584 156958720 37574 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37574 1111 63 0 38257 0
vsize: 153280
[startup+400.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40829 0 0 0 39920 86 0 0 25 0 1 0 899870584 156958720 37583 4294967295 134512640 134716908 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 37583 1111 63 0 38257 0
vsize: 153280
[startup+410.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40840 0 0 0 40920 87 0 0 25 0 1 0 899870584 157106176 37594 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38356 37594 1111 63 0 38293 0
vsize: 153424
[startup+420.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40843 0 0 0 41920 87 0 0 25 0 1 0 899870584 157106176 37597 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38356 37597 1111 63 0 38293 0
vsize: 153424
[startup+430.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40855 0 0 0 42921 87 0 0 25 0 1 0 899870584 157106176 37609 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38356 37609 1111 63 0 38293 0
vsize: 153424
[startup+440.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40859 0 0 0 43921 87 0 0 25 0 1 0 899870584 157106176 37613 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38356 37613 1111 63 0 38293 0
vsize: 153424
[startup+450.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40925 0 0 0 44921 87 0 0 25 0 1 0 899870584 157388800 37679 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37679 1111 63 0 38362 0
vsize: 153700
[startup+460.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40925 0 0 0 45921 87 0 0 25 0 1 0 899870584 157388800 37679 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37679 1111 63 0 38362 0
vsize: 153700
[startup+470.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40925 0 0 0 46921 87 0 0 25 0 1 0 899870584 157388800 37679 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37679 1111 63 0 38362 0
vsize: 153700
[startup+480.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40929 0 0 0 47921 87 0 0 25 0 1 0 899870584 157388800 37683 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37683 1111 63 0 38362 0
vsize: 153700
[startup+490.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40930 0 0 0 48922 87 0 0 25 0 1 0 899870584 157388800 37684 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38425 37684 1111 63 0 38362 0
vsize: 153700
[startup+500.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40972 0 0 0 49922 87 0 0 25 0 1 0 899870584 157659136 37726 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38491 37726 1111 63 0 38428 0
vsize: 153964
[startup+510.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 40979 0 0 0 50922 87 0 0 25 0 1 0 899870584 157659136 37733 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38491 37733 1111 63 0 38428 0
vsize: 153964
[startup+520.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41020 0 0 0 51922 87 0 0 25 0 1 0 899870584 157802496 37766 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38526 37766 1111 63 0 38463 0
vsize: 154104
[startup+530.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41051 0 0 0 52922 87 0 0 25 0 1 0 899870584 157937664 37797 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38559 37797 1111 63 0 38496 0
vsize: 154236
[startup+540.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41052 0 0 0 53922 87 0 0 25 0 1 0 899870584 157732864 37776 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38509 37776 1111 63 0 38446 0
vsize: 154036
[startup+550.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41055 0 0 0 54922 87 0 0 25 0 1 0 899870584 157732864 37779 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38509 37779 1111 63 0 38446 0
vsize: 154036
[startup+560.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41080 0 0 0 55922 87 0 0 25 0 1 0 899870584 157868032 37804 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38542 37804 1111 63 0 38479 0
vsize: 154168
[startup+570.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41080 0 0 0 56922 88 0 0 25 0 1 0 899870584 157868032 37804 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38542 37804 1111 63 0 38479 0
vsize: 154168
[startup+580.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41087 0 0 0 57923 88 0 0 25 0 1 0 899870584 157868032 37811 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38542 37811 1111 63 0 38479 0
vsize: 154168
[startup+590.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41121 0 0 0 58923 88 0 0 25 0 1 0 899870584 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+600.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41121 0 0 0 59923 88 0 0 25 0 1 0 899870584 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+610.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41121 0 0 0 60923 88 0 0 25 0 1 0 899870584 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+620.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41121 0 0 0 61923 88 0 0 25 0 1 0 899870584 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+630.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41121 0 0 0 62923 88 0 0 25 0 1 0 899870584 158019584 37845 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37845 1111 63 0 38516 0
vsize: 154316
[startup+640.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41122 0 0 0 63923 88 0 0 25 0 1 0 899870584 158019584 37846 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38579 37846 1111 63 0 38516 0
vsize: 154316
[startup+650.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41141 0 0 0 64923 88 0 0 25 0 1 0 899870584 158154752 37865 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37865 1111 63 0 38549 0
vsize: 154448
[startup+660.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41141 0 0 0 65923 88 0 0 25 0 1 0 899870584 158154752 37865 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37865 1111 63 0 38549 0
vsize: 154448
[startup+670.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41141 0 0 0 66924 88 0 0 25 0 1 0 899870584 158154752 37865 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37865 1111 63 0 38549 0
vsize: 154448
[startup+680.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41145 0 0 0 67924 88 0 0 25 0 1 0 899870584 158154752 37869 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37869 1111 63 0 38549 0
vsize: 154448
[startup+690.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41177 0 0 0 68924 88 0 0 25 0 1 0 899870584 158289920 37901 4294967295 134512640 134716908 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38645 37901 1111 63 0 38582 0
vsize: 154580
[startup+700.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41223 0 0 0 69924 88 0 0 25 0 1 0 899870584 158547968 37947 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37947 1111 63 0 38645 0
vsize: 154832
[startup+710.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41228 0 0 0 70924 88 0 0 25 0 1 0 899870584 158547968 37952 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37952 1111 63 0 38645 0
vsize: 154832
[startup+720.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41241 0 0 0 71924 88 0 0 25 0 1 0 899870584 158547968 37965 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37965 1111 63 0 38645 0
vsize: 154832
[startup+730.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41245 0 0 0 72924 88 0 0 25 0 1 0 899870584 158547968 37969 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37969 1111 63 0 38645 0
vsize: 154832
[startup+740.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41252 0 0 0 73924 89 0 0 25 0 1 0 899870584 158547968 37976 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37976 1111 63 0 38645 0
vsize: 154832
[startup+750.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41259 0 0 0 74925 89 0 0 25 0 1 0 899870584 158588928 37983 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38718 37983 1111 63 0 38655 0
vsize: 154872
[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41269 0 0 0 75925 89 0 0 25 0 1 0 899870584 158658560 37993 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38735 37993 1111 63 0 38672 0
vsize: 154940
[startup+770.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41349 0 0 0 76925 89 0 0 25 0 1 0 899870584 159068160 38073 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38835 38073 1111 63 0 38772 0
vsize: 155340
[startup+780.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41356 0 0 0 77925 89 0 0 25 0 1 0 899870584 159068160 38080 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38835 38080 1111 63 0 38772 0
vsize: 155340
[startup+790.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41383 0 0 0 78925 89 0 0 25 0 1 0 899870584 159207424 38107 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38869 38107 1111 63 0 38806 0
vsize: 155476
[startup+800.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41383 0 0 0 79925 89 0 0 25 0 1 0 899870584 159207424 38107 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38869 38107 1111 63 0 38806 0
vsize: 155476
[startup+810.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41385 0 0 0 80925 89 0 0 25 0 1 0 899870584 159207424 38109 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38869 38109 1111 63 0 38806 0
vsize: 155476
[startup+820.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41385 0 0 0 81925 89 0 0 25 0 1 0 899870584 159207424 38109 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38869 38109 1111 63 0 38806 0
vsize: 155476
[startup+830.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41386 0 0 0 82926 89 0 0 25 0 1 0 899870584 159174656 38110 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 38110 1111 63 0 38798 0
vsize: 155444
[startup+840.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41386 0 0 0 83926 89 0 0 25 0 1 0 899870584 159174656 38110 4294967295 134512640 134716908 3221224576 3221223032 1077377778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 38110 1111 63 0 38798 0
vsize: 155444
[startup+850.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41386 0 0 0 84926 89 0 0 25 0 1 0 899870584 159174656 38110 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 38110 1111 63 0 38798 0
vsize: 155444
[startup+860.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41387 0 0 0 85926 89 0 0 25 0 1 0 899870584 159174656 38111 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 38111 1111 63 0 38798 0
vsize: 155444
[startup+870.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41425 0 0 0 86926 89 0 0 25 0 1 0 899870584 159309824 38149 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38894 38149 1111 63 0 38831 0
vsize: 155576
[startup+880.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41425 0 0 0 87927 89 0 0 25 0 1 0 899870584 159309824 38149 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38894 38149 1111 63 0 38831 0
vsize: 155576
[startup+890.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41444 0 0 0 88927 89 0 0 25 0 1 0 899870584 159453184 38168 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38929 38168 1111 63 0 38866 0
vsize: 155716
[startup+900.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41463 0 0 0 89927 89 0 0 25 0 1 0 899870584 159453184 38187 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38929 38187 1111 63 0 38866 0
vsize: 155716
[startup+910.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41514 0 0 0 90927 89 0 0 25 0 1 0 899870584 159731712 38238 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38997 38238 1111 63 0 38934 0
vsize: 155988
[startup+920.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41517 0 0 0 91927 89 0 0 25 0 1 0 899870584 159731712 38241 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38997 38241 1111 63 0 38934 0
vsize: 155988
[startup+930.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41520 0 0 0 92928 89 0 0 25 0 1 0 899870584 159731712 38244 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38997 38244 1111 63 0 38934 0
vsize: 155988
[startup+940.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41546 0 0 0 93928 89 0 0 25 0 1 0 899870584 159866880 38270 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39030 38270 1111 63 0 38967 0
vsize: 156120
[startup+950.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41581 0 0 0 94928 90 0 0 25 0 1 0 899870584 160002048 38305 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39063 38305 1111 63 0 39000 0
vsize: 156252
[startup+960.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41593 0 0 0 95928 90 0 0 25 0 1 0 899870584 160002048 38317 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39063 38317 1111 63 0 39000 0
vsize: 156252
[startup+970.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41623 0 0 0 96928 90 0 0 25 0 1 0 899870584 160141312 38347 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39097 38347 1111 63 0 39034 0
vsize: 156388
[startup+980.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41656 0 0 0 97928 90 0 0 25 0 1 0 899870584 160243712 38380 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39122 38380 1111 63 0 39059 0
vsize: 156488
[startup+990.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41659 0 0 0 98929 90 0 0 25 0 1 0 899870584 160243712 38383 4294967295 134512640 134716908 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39122 38383 1111 63 0 39059 0
vsize: 156488
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41659 0 0 0 99929 90 0 0 25 0 1 0 899870584 160243712 38383 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39122 38383 1111 63 0 39059 0
vsize: 156488
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41660 0 0 0 100929 90 0 0 25 0 1 0 899870584 160243712 38384 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39122 38384 1111 63 0 39059 0
vsize: 156488
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41680 0 0 0 101929 90 0 0 25 0 1 0 899870584 160378880 38404 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39155 38404 1111 63 0 39092 0
vsize: 156620
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41680 0 0 0 102929 90 0 0 25 0 1 0 899870584 160378880 38404 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39155 38404 1111 63 0 39092 0
vsize: 156620
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41680 0 0 0 103929 90 0 0 25 0 1 0 899870584 160378880 38404 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39155 38404 1111 63 0 39092 0
vsize: 156620
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41680 0 0 0 104929 90 0 0 25 0 1 0 899870584 160378880 38404 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39155 38404 1111 63 0 39092 0
vsize: 156620
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41705 0 0 0 105929 90 0 0 25 0 1 0 899870584 160514048 38429 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39188 38429 1111 63 0 39125 0
vsize: 156752
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41722 0 0 0 106930 90 0 0 25 0 1 0 899870584 160514048 38446 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39188 38446 1111 63 0 39125 0
vsize: 156752
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41732 0 0 0 107930 90 0 0 25 0 1 0 899870584 160649216 38456 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38456 1111 63 0 39158 0
vsize: 156884
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41757 0 0 0 108930 90 0 0 25 0 1 0 899870584 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41757 0 0 0 109930 90 0 0 25 0 1 0 899870584 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41757 0 0 0 110930 90 0 0 25 0 1 0 899870584 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41757 0 0 0 111930 90 0 0 25 0 1 0 899870584 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41757 0 0 0 112931 90 0 0 25 0 1 0 899870584 160649216 38481 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38481 1111 63 0 39158 0
vsize: 156884
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41758 0 0 0 113931 90 0 0 25 0 1 0 899870584 160649216 38482 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38482 1111 63 0 39158 0
vsize: 156884
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41763 0 0 0 114931 90 0 0 25 0 1 0 899870584 160649216 38487 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39221 38487 1111 63 0 39158 0
vsize: 156884
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41777 0 0 0 115931 90 0 0 25 0 1 0 899870584 160759808 38501 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39248 38501 1111 63 0 39185 0
vsize: 156992
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41777 0 0 0 116931 90 0 0 25 0 1 0 899870584 160759808 38501 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39248 38501 1111 63 0 39185 0
vsize: 156992
[startup+1175.22 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 16530
Raw data (stat): 16530 (bsolo_lpr-v2) R 16529 7266 7265 0 -1 0 41777 0 0 0 116931 90 0 0 25 0 1 0 899870584 160759808 38501 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39248 38501 1111 63 0 39185 0
vsize: 0

Child status: 0
Real time (s): 1175.22
CPU time (s): 1175.37
CPU user time (s): 1174.39
CPU system time (s): 0.98085
CPU usage (%): 100.013
Max. virtual memory (Kb): 156992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####