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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
MD5SUM	77c89bda49ebcdc0428e1292512864a9
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3080
Optimality of the best value was proved	NO
Number of terms in the objective function	2792
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	1385986
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1000
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	1385986
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07184
Number of variables	3300
Total number of constraints	5284
Number of constraints which are clauses	1364
Number of constraints which are cardinality constraints (but not clauses)	3920
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	220
Trace number 39733

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 18:39:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27799 boxname=wulflinc2 idbench=357 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  77c89bda49ebcdc0428e1292512864a9  /oldhome/oroussel/tmp/wulflinc2/normalized-ws97-3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ws97-3.opb
IDLAUNCH: 27799
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        913212 kB
Buffers:         33996 kB
Cached:          64816 kB
SwapCached:       1488 kB
Active:          27860 kB
Inactive:        73072 kB
HighTotal:      131008 kB
HighFree:        88256 kB
LowTotal:       903652 kB
LowFree:        824956 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            14944 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 18:58:43 (client local time) WITH STATUS 0 IN 1175.22 SECONDS
stats: 27799 7 1175.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3300 variables and 2573 constraints.
c After prepocess the problem consists of 3299 variables and 2135 constraints.
c preprocess terminated 20.278 s
c Initial Lower Bound: 3017
c Lower Bound Elapsed time: 0.80475
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.2 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.84 0.95 0.90 1/54 29005
Raw data (stat): 29005 (runsolver) R 29004 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895222318 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+9.99976 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 1806 0 0 0 992 5 0 0 25 0 1 0 895222318 10555392 1718 4294967295 134512640 134716908 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2577 1718 1111 63 0 2514 0
vsize: 10308
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 1866 0 0 0 1992 6 0 0 25 0 1 0 895222318 10829824 1778 4294967295 134512640 134716908 3221224592 3221223252 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2644 1778 1111 63 0 2581 0
vsize: 10576
[startup+30.0005 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 4141 0 0 0 2986 11 0 0 25 0 1 0 895222318 14270464 2562 4294967295 134512640 134716908 3221224592 3221220496 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2562 1111 63 0 3421 0
vsize: 13936
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 5520 0 0 0 3983 14 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+50.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 6835 0 0 0 4980 17 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222808 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+60.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 8065 0 0 0 5977 21 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+70.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 9481 0 0 0 6973 24 0 0 25 0 1 0 895222318 14159872 2553 4294967295 134512640 134716908 3221224592 3221220812 1075116569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2553 1111 63 0 3394 0
vsize: 13828
[startup+80.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 10770 0 0 0 7970 28 0 0 25 0 1 0 895222318 14303232 2569 4294967295 134512640 134716908 3221224592 3221220928 1075113493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3492 2569 1111 63 0 3429 0
vsize: 13968
[startup+90.0007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 12111 0 0 0 8966 32 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+100 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 13596 0 0 0 9962 36 0 0 25 0 1 0 895222318 14266368 2544 4294967295 134512640 134716908 3221224592 3221221424 1075115340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2544 1111 63 0 3420 0
vsize: 13932
[startup+110 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 14843 0 0 0 10959 40 0 0 25 0 1 0 895222318 14262272 2559 4294967295 134512640 134716908 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3482 2559 1111 63 0 3419 0
vsize: 13928
[startup+120.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 16160 0 0 0 11955 43 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+130 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 17676 0 0 0 12951 47 0 0 25 0 1 0 895222318 14249984 2558 4294967295 134512640 134716908 3221224592 3221220812 1075116471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3479 2558 1111 63 0 3416 0
vsize: 13916
[startup+140 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 18941 0 0 0 13949 50 0 0 25 0 1 0 895222318 12697600 2382 4294967295 134512640 134716908 3221224592 3221223136 1073989433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3100 2382 1111 63 0 3037 0
vsize: 12400
[startup+150 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 20328 0 0 0 14946 54 0 0 25 0 1 0 895222318 13221888 2429 4294967295 134512640 134716908 3221224592 3221222320 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3228 2429 1111 63 0 3165 0
vsize: 12912
[startup+159.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 21612 0 0 0 15943 57 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 22597 0 0 0 16940 59 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222696 1077374638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 23818 0 0 0 17937 62 0 0 25 0 1 0 895222318 14213120 2542 4294967295 134512640 134716908 3221224592 3221220928 1075113472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3470 2542 1111 63 0 3407 0
vsize: 13880
[startup+190 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 24881 0 0 0 18934 66 0 0 25 0 1 0 895222318 12693504 2381 4294967295 134512640 134716908 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2381 1111 63 0 3036 0
vsize: 12396
[startup+199.999 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 26031 0 0 0 19932 68 0 0 25 0 1 0 895222318 14045184 2529 4294967295 134512640 134716908 3221224592 3221220960 1076117127 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2529 1111 63 0 3366 0
vsize: 13716
[startup+209.999 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 27034 0 0 0 20928 72 0 0 25 0 1 0 895222318 14213120 2542 4294967295 134512640 134716908 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3470 2542 1111 63 0 3407 0
vsize: 13880
[startup+220 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 28076 0 0 0 21926 75 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+229.999 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 29205 0 0 0 22923 78 0 0 25 0 1 0 895222318 14045184 2542 4294967295 134512640 134716908 3221224592 3221220812 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3429 2542 1111 63 0 3366 0
vsize: 13716
[startup+239.999 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 30175 0 0 0 23921 79 0 0 25 0 1 0 895222318 14209024 2547 4294967295 134512640 134716908 3221224592 3221221248 1075967779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3469 2547 1111 63 0 3406 0
vsize: 13876
[startup+249.999 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 31383 0 0 0 24918 83 0 0 25 0 1 0 895222318 14041088 2526 4294967295 134512640 134716908 3221224592 3221220812 1075116836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3428 2526 1111 63 0 3365 0
vsize: 13712
[startup+259.998 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 32449 0 0 0 25916 85 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+269.998 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 33613 0 0 0 26912 89 0 0 25 0 1 0 895222318 14090240 2542 4294967295 134512640 134716908 3221224592 3221221616 1074810494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2542 1111 63 0 3377 0
vsize: 13760
[startup+279.998 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 34682 0 0 0 27909 92 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222896 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+289.998 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 35931 0 0 0 28907 95 0 0 25 0 1 0 895222318 14229504 2552 4294967295 134512640 134716908 3221224592 3221220616 1074860217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3474 2552 1111 63 0 3411 0
vsize: 13896
[startup+299.998 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 37047 0 0 0 29905 97 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222992 1074153783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+309.998 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 38290 0 0 0 30902 100 0 0 25 0 1 0 895222318 14266368 2549 4294967295 134512640 134716908 3221224592 3221220800 1076111660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2549 1111 63 0 3420 0
vsize: 13932
[startup+319.997 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 39415 0 0 0 31899 103 0 0 25 0 1 0 895222318 12808192 2377 4294967295 134512640 134716908 3221224592 3221222552 1074138224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3127 2377 1111 63 0 3064 0
vsize: 12508
[startup+329.997 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 40705 0 0 0 32895 107 0 0 25 0 1 0 895222318 14258176 2555 4294967295 134512640 134716908 3221224592 3221220556 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3481 2555 1111 63 0 3418 0
vsize: 13924
[startup+339.998 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 41841 0 0 0 33892 110 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+349.998 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 43020 0 0 0 34889 113 0 0 25 0 1 0 895222318 14249984 2540 4294967295 134512640 134716908 3221224592 3221220928 1075113650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3479 2540 1111 63 0 3416 0
vsize: 13916
[startup+359.997 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 44275 0 0 0 35885 117 0 0 25 0 1 0 895222318 14245888 2542 4294967295 134512640 134716908 3221224592 3221221712 1074835534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3478 2542 1111 63 0 3415 0
vsize: 13912
[startup+369.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 45526 0 0 0 36882 121 0 0 25 0 1 0 895222318 14245888 2541 4294967295 134512640 134716908 3221224592 3221221120 1075119993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3478 2541 1111 63 0 3415 0
vsize: 13912
[startup+379.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 46604 0 0 0 37880 123 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+389.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 47953 0 0 0 38876 127 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+399.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 49104 0 0 0 39873 130 0 0 25 0 1 0 895222318 14082048 2524 4294967295 134512640 134716908 3221224592 3221220460 1074787813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2524 1111 63 0 3375 0
vsize: 13752
[startup+409.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 50161 0 0 0 40870 134 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+419.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 51500 0 0 0 41866 138 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222888 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+429.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 52671 0 0 0 42863 141 0 0 25 0 1 0 895222318 14241792 2538 4294967295 134512640 134716908 3221224592 3221220864 1074805957 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2538 1111 63 0 3414 0
vsize: 13908
[startup+439.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 53696 0 0 0 43860 144 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+449.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 54939 0 0 0 44857 147 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+459.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 56229 0 0 0 45854 150 0 0 25 0 1 0 895222318 13717504 2429 4294967295 134512640 134716908 3221224592 3221221248 1075969182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2429 1111 63 0 3286 0
vsize: 13396
[startup+469.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 57411 0 0 0 46851 153 0 0 25 0 1 0 895222318 14077952 2534 4294967295 134512640 134716908 3221224592 3221221632 1075971441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2534 1111 63 0 3374 0
vsize: 13748
[startup+479.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 58646 0 0 0 47848 156 0 0 25 0 1 0 895222318 14077952 2530 4294967295 134512640 134716908 3221224592 3221221360 1076083602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2530 1111 63 0 3374 0
vsize: 13748
[startup+489.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 59682 0 0 0 48846 159 0 0 25 0 1 0 895222318 12804096 2376 4294967295 134512640 134716908 3221224592 3221222552 1074138327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3126 2376 1111 63 0 3063 0
vsize: 12504
[startup+499.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 61108 0 0 0 49842 163 0 0 25 0 1 0 895222318 14077952 2512 4294967295 134512640 134716908 3221224592 3221220736 1074969746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2512 1111 63 0 3374 0
vsize: 13748
[startup+509.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 62172 0 0 0 50839 166 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+519.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 63477 0 0 0 51835 170 0 0 25 0 1 0 895222318 12955648 2377 4294967295 134512640 134716908 3221224592 3221222240 1075818355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3163 2377 1111 63 0 3100 0
vsize: 12652
[startup+529.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 64686 0 0 0 52832 174 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+539.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 65912 0 0 0 53828 178 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222992 1074153823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+549.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 67154 0 0 0 54825 181 0 0 25 0 1 0 895222318 12955648 2377 4294967295 134512640 134716908 3221224592 3221222432 1075798461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3163 2377 1111 63 0 3100 0
vsize: 12652
[startup+559.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 68430 0 0 0 55821 185 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+569.998 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 69710 0 0 0 56819 188 0 0 25 0 1 0 895222318 13152256 2397 4294967295 134512640 134716908 3221224592 3221222240 1075818228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3211 2397 1111 63 0 3148 0
vsize: 12844
[startup+579.998 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 71059 0 0 0 57815 192 0 0 25 0 1 0 895222318 14163968 2535 4294967295 134512640 134716908 3221224592 3221220812 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2535 1111 63 0 3395 0
vsize: 13832
[startup+589.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 72253 0 0 0 58811 196 0 0 25 0 1 0 895222318 14229504 2530 4294967295 134512640 134716908 3221224592 3221220460 1074787576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3474 2530 1111 63 0 3411 0
vsize: 13896
[startup+599.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 73441 0 0 0 59808 199 0 0 25 0 1 0 895222318 14032896 2528 4294967295 134512640 134716908 3221224592 3221220556 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3426 2528 1111 63 0 3363 0
vsize: 13704
[startup+609.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 74646 0 0 0 60806 202 0 0 25 0 1 0 895222318 14225408 2530 4294967295 134512640 134716908 3221224592 3221221248 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3473 2530 1111 63 0 3410 0
vsize: 13892
[startup+619.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 75795 0 0 0 61803 205 0 0 25 0 1 0 895222318 14225408 2530 4294967295 134512640 134716908 3221224592 3221220616 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3473 2530 1111 63 0 3410 0
vsize: 13892
[startup+629.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 77042 0 0 0 62799 208 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+639.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 78216 0 0 0 63796 211 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222972 1074153354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+649.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 79539 0 0 0 64793 215 0 0 25 0 1 0 895222318 14196736 2531 4294967295 134512640 134716908 3221224592 3221220556 1074860632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3466 2531 1111 63 0 3403 0
vsize: 13864
[startup+659.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 80680 0 0 0 65789 219 0 0 25 0 1 0 895222318 14151680 2538 4294967295 134512640 134716908 3221224592 3221221560 1075112600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3455 2538 1111 63 0 3392 0
vsize: 13820
[startup+669.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 81853 0 0 0 66786 222 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+679.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 82999 0 0 0 67784 224 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221220768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+689.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 84331 0 0 0 68781 228 0 0 25 0 1 0 895222318 14204928 2531 4294967295 134512640 134716908 3221224592 3221220736 1074971530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3468 2531 1111 63 0 3405 0
vsize: 13872
[startup+699.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 85533 0 0 0 69777 231 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222924 1074206848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+709.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 86667 0 0 0 70775 234 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+719.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 87935 0 0 0 71771 238 0 0 25 0 1 0 895222318 14188544 2529 4294967295 134512640 134716908 3221224592 3221221712 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3464 2529 1111 63 0 3401 0
vsize: 13856
[startup+729.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 89067 0 0 0 72769 241 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+739.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 90361 0 0 0 73765 245 0 0 25 0 1 0 895222318 14184448 2542 4294967295 134512640 134716908 3221224592 3221220728 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3463 2542 1111 63 0 3400 0
vsize: 13852
[startup+749.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 91506 0 0 0 74762 248 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+759.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 92794 0 0 0 75759 251 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+769.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 94024 0 0 0 76757 253 0 0 25 0 1 0 895222318 14172160 2525 4294967295 134512640 134716908 3221224592 3221221248 1075968391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3460 2525 1111 63 0 3397 0
vsize: 13840
[startup+779.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 95165 0 0 0 77754 256 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+789.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 96460 0 0 0 78750 260 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+799.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 97692 0 0 0 79747 263 0 0 25 0 1 0 895222318 14180352 2525 4294967295 134512640 134716908 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3462 2525 1111 63 0 3399 0
vsize: 13848
[startup+809.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 98834 0 0 0 80744 267 0 0 25 0 1 0 895222318 12955648 2376 4294967295 134512640 134716908 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3163 2376 1111 63 0 3100 0
vsize: 12652
[startup+819.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 100101 0 0 0 81741 270 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+829.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 101374 0 0 0 82737 274 0 0 25 0 1 0 895222318 13717504 2424 4294967295 134512640 134716908 3221224592 3221221536 1074620182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2424 1111 63 0 3286 0
vsize: 13396
[startup+839.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 102605 0 0 0 83734 277 0 0 25 0 1 0 895222318 14163968 2517 4294967295 134512640 134716908 3221224592 3221220456 1074789457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2517 1111 63 0 3395 0
vsize: 13832
[startup+849.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 103882 0 0 0 84732 280 0 0 25 0 1 0 895222318 14172160 2518 4294967295 134512640 134716908 3221224592 3221221664 1074867352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3460 2518 1111 63 0 3397 0
vsize: 13840
[startup+859.995 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 105143 0 0 0 85729 282 0 0 25 0 1 0 895222318 14004224 2506 4294967295 134512640 134716908 3221224592 3221220812 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 2506 1111 63 0 3356 0
vsize: 13676
[startup+869.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 106272 0 0 0 86725 286 0 0 25 0 1 0 895222318 12955648 2372 4294967295 134512640 134716908 3221224592 3221222240 1075817683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3163 2372 1111 63 0 3100 0
vsize: 12652
[startup+879.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 107537 0 0 0 87722 290 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221223232 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+889.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 108744 0 0 0 88719 293 0 0 25 0 1 0 895222318 14155776 2519 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2519 1111 63 0 3393 0
vsize: 13824
[startup+899.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 109991 0 0 0 89716 297 0 0 25 0 1 0 895222318 14159872 2511 4294967295 134512640 134716908 3221224592 3221220588 1074860944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2511 1111 63 0 3394 0
vsize: 13828
[startup+909.996 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 111222 0 0 0 90713 300 0 0 25 0 1 0 895222318 14000128 2485 4294967295 134512640 134716908 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2485 1111 63 0 3355 0
vsize: 13672
[startup+919.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 112345 0 0 0 91710 303 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+929.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 113573 0 0 0 92707 306 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+939.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 114794 0 0 0 93703 310 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+949.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 116024 0 0 0 94700 313 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+959.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 117261 0 0 0 95697 317 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+969.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 118541 0 0 0 96694 320 0 0 25 0 1 0 895222318 12873728 2417 4294967295 134512640 134716908 3221224592 3221221656 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 2417 1111 63 0 3080 0
vsize: 12572
[startup+979.997 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 119872 0 0 0 97690 323 0 0 25 0 1 0 895222318 14098432 2511 4294967295 134512640 134716908 3221224592 3221220460 1074787555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2511 1111 63 0 3379 0
vsize: 13768
[startup+989.998 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 121090 0 0 0 98687 327 0 0 25 0 1 0 895222318 12693504 2381 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3099 2381 1111 63 0 3036 0
vsize: 12396
[startup+999.998 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 122359 0 0 0 99685 329 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 123565 0 0 0 100682 333 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 124875 0 0 0 101679 336 0 0 25 0 1 0 895222318 14090240 2508 4294967295 134512640 134716908 3221224592 3221220864 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2508 1111 63 0 3377 0
vsize: 13760
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 126126 0 0 0 102676 339 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 127465 0 0 0 103674 341 0 0 25 0 1 0 895222318 14077952 2508 4294967295 134512640 134716908 3221224592 3221221248 1075967904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2508 1111 63 0 3374 0
vsize: 13748
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 128696 0 0 0 104670 345 0 0 25 0 1 0 895222318 12644352 2369 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2369 1111 63 0 3024 0
vsize: 12348
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 130072 0 0 0 105667 348 0 0 25 0 1 0 895222318 12644352 2370 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2370 1111 63 0 3024 0
vsize: 12348
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 131426 0 0 0 106663 352 0 0 25 0 1 0 895222318 12644352 2370 4294967295 134512640 134716908 3221224592 3221222808 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2370 1111 63 0 3024 0
vsize: 12348
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 132750 0 0 0 107660 356 0 0 25 0 1 0 895222318 12644352 2370 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2370 1111 63 0 3024 0
vsize: 12348
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 133993 0 0 0 108656 359 0 0 25 0 1 0 895222318 14069760 2506 4294967295 134512640 134716908 3221224592 3221221616 1074810417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3435 2506 1111 63 0 3372 0
vsize: 13740
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 135230 0 0 0 109653 363 0 0 25 0 1 0 895222318 12644352 2370 4294967295 134512640 134716908 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2370 1111 63 0 3024 0
vsize: 12348
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 136381 0 0 0 110649 367 0 0 25 0 1 0 895222318 12644352 2370 4294967295 134512640 134716908 3221224592 3221222928 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2370 1111 63 0 3024 0
vsize: 12348
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 137636 0 0 0 111646 371 0 0 25 0 1 0 895222318 13987840 2479 4294967295 134512640 134716908 3221224592 3221220812 1075116523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3415 2479 1111 63 0 3352 0
vsize: 13660
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 138845 0 0 0 112642 374 0 0 25 0 1 0 895222318 12644352 2370 4294967295 134512640 134716908 3221224592 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2370 1111 63 0 3024 0
vsize: 12348
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 140089 0 0 0 113639 378 0 0 25 0 1 0 895222318 13889536 2486 4294967295 134512640 134716908 3221224592 3221221664 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 2486 1111 63 0 3328 0
vsize: 13564
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 141254 0 0 0 114636 381 0 0 25 0 1 0 895222318 12804096 2372 4294967295 134512640 134716908 3221224592 3221222512 1075799735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3126 2372 1111 63 0 3063 0
vsize: 12504
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 142510 0 0 0 115632 385 0 0 25 0 1 0 895222318 12644352 2370 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2370 1111 63 0 3024 0
vsize: 12348
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 143805 0 0 0 116628 389 0 0 25 0 1 0 895222318 12644352 2370 4294967295 134512640 134716908 3221224592 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2370 1111 63 0 3024 0
vsize: 12348
[startup+1175.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 29005
Raw data (stat): 29005 (bsolo_lpr-v2) R 29004 31399 31398 0 -1 0 143805 0 0 0 116628 389 0 0 25 0 1 0 895222318 12644352 2370 4294967295 134512640 134716908 3221224592 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2370 1111 63 0 3024 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.22
CPU user time (s): 1171.29
CPU system time (s): 3.9224
CPU usage (%): 100.016
Max. virtual memory (Kb): 13968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####