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-bell3a.opb
MD5SUM	47799b7114cd9484def56bec40d7bc3d
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	1256
Biggest coefficient in the objective function	393216000000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	14511389815457650
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	393216000000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	14511389815457650
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.58885
Number of variables	1599
Total number of constraints	194
Number of constraints which are clauses	22
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	133
Minimum length of a constraint	1
Maximum length of a constraint	131
Trace number 40385

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 08:47:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28445 boxname=wulflinc1 idbench=1401 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  47799b7114cd9484def56bec40d7bc3d  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-bell3a.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-bell3a.opb
IDLAUNCH: 28445
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        907132 kB
Buffers:         15756 kB
Cached:          86712 kB
SwapCached:       1164 kB
Active:          22220 kB
Inactive:        82476 kB
HighTotal:      131008 kB
HighFree:        67760 kB
LowTotal:       903652 kB
LowFree:        839372 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16964 kB
Committed_AS:    92712 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:07:13 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28445 7 1175.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1599 variables and 147 constraints.
c After prepocess the problem consists of 1468 variables and 267 constraints.
c preprocess terminated 7.284 s
c Initial Lower Bound: 30207396
c Lower Bound Elapsed time: 0.05975
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.93 0.95 0.91 2/55 20746
Raw data (stat): 20746 (runsolver) R 20745 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 843453508 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.94 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 4796 0 0 0 985 12 0 0 25 0 1 0 843453508 13406208 2573 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3273 2573 1111 63 0 3210 0
vsize: 13092
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 8547 0 0 0 1972 24 0 0 25 0 1 0 843453508 13406208 2578 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3273 2578 1111 63 0 3210 0
vsize: 13092
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 17882 0 0 0 2942 54 0 0 25 0 1 0 843453508 13680640 2603 4294967295 134512640 134716908 3221224576 3221222400 1075823424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3340 2603 1111 63 0 3277 0
vsize: 13360
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 27511 0 0 0 3917 79 0 0 25 0 1 0 843453508 13729792 2657 4294967295 134512640 134716908 3221224576 3221222528 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3352 2657 1111 63 0 3289 0
vsize: 13408
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 36009 0 0 0 4893 104 0 0 25 0 1 0 843453508 13746176 2661 4294967295 134512640 134716908 3221224576 3221223360 134624483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3356 2661 1111 63 0 3293 0
vsize: 13424
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 44723 0 0 0 5866 131 0 0 25 0 1 0 843453508 13799424 2671 4294967295 134512640 134716908 3221224576 3221221680 1074138740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2671 1111 63 0 3306 0
vsize: 13476
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 49230 0 0 0 6852 145 0 0 25 0 1 0 843453508 13852672 2687 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3382 2687 1111 63 0 3319 0
vsize: 13528
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 53776 0 0 0 7837 161 0 0 25 0 1 0 843453508 14151680 2727 4294967295 134512640 134716908 3221224576 3221220540 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3455 2727 1111 63 0 3392 0
vsize: 13820
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 57628 0 0 0 8822 176 0 0 25 0 1 0 843453508 13996032 2720 4294967295 134512640 134716908 3221224576 3221223276 134535652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 2720 1111 63 0 3354 0
vsize: 13668
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 66380 0 0 0 9796 201 0 0 25 0 1 0 843453508 14000128 2723 4294967295 134512640 134716908 3221224576 3221222592 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3418 2723 1111 63 0 3355 0
vsize: 13672
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 74565 0 0 0 10772 226 0 0 25 0 1 0 843453508 14065664 2737 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3434 2737 1111 63 0 3371 0
vsize: 13736
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 81912 0 0 0 11751 247 0 0 25 0 1 0 843453508 14245888 2753 4294967295 134512640 134716908 3221224576 3221222496 1075799712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3478 2753 1111 63 0 3415 0
vsize: 13912
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 90925 0 0 0 12727 272 0 0 25 0 1 0 843453508 14385152 2782 4294967295 134512640 134716908 3221224576 3221221616 1075860104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3467 2768 1111 63 0 3404 0
vsize: 14048
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 99584 0 0 0 13698 300 0 0 25 0 1 0 843453508 14172160 2765 4294967295 134512640 134716908 3221224576 3221223276 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3460 2765 1111 63 0 3397 0
vsize: 13840
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 106715 0 0 0 14676 323 0 0 25 0 1 0 843453508 14258176 2786 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3481 2786 1111 63 0 3418 0
vsize: 13924
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 113039 0 0 0 15657 342 0 0 25 0 1 0 843453508 14258176 2786 4294967295 134512640 134716908 3221224576 3221222416 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3481 2786 1111 63 0 3418 0
vsize: 13924
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 119556 0 0 0 16637 362 0 0 25 0 1 0 843453508 14311424 2797 4294967295 134512640 134716908 3221224576 3221222320 1075646119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3494 2797 1111 63 0 3431 0
vsize: 13976
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 127623 0 0 0 17613 386 0 0 25 0 1 0 843453508 14295040 2795 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3490 2795 1111 63 0 3427 0
vsize: 13960
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 136344 0 0 0 18587 412 0 0 25 0 1 0 843453508 14381056 2816 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3511 2816 1111 63 0 3448 0
vsize: 14044
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 142295 0 0 0 19569 430 0 0 25 0 1 0 843453508 14467072 2837 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3532 2837 1111 63 0 3469 0
vsize: 14128
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 145867 0 0 0 20556 443 0 0 25 0 1 0 843453508 14548992 2850 4294967295 134512640 134716908 3221224576 3221223024 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3548 2850 1111 63 0 3485 0
vsize: 14208
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 147510 0 0 0 21549 451 0 0 25 0 1 0 843453508 14680064 2851 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3584 2855 1111 63 0 3521 0
vsize: 14336
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 149510 0 0 0 22540 460 0 0 25 0 1 0 843453508 14757888 2852 4294967295 134512640 134716908 3221224576 3221221068 1077410128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2852 1111 63 0 3540 0
vsize: 14412
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 152044 0 0 0 23530 470 0 0 25 0 1 0 843453508 14774272 2853 4294967295 134512640 134716908 3221224576 3221221872 1074819143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3607 2853 1111 63 0 3544 0
vsize: 14428
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 154152 0 0 0 24520 480 0 0 25 0 1 0 843453508 14532608 2851 4294967295 134512640 134716908 3221224576 3221221856 1074139944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3548 2851 1111 63 0 3485 0
vsize: 14192
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 158800 0 0 0 25504 497 0 0 25 0 1 0 843453508 14561280 2861 4294967295 134512640 134716908 3221224576 3221222056 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2861 1111 63 0 3492 0
vsize: 14220
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 163796 0 0 0 26488 513 0 0 25 0 1 0 843453508 14569472 2859 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2859 1111 63 0 3494 0
vsize: 14228
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 168693 0 0 0 27473 528 0 0 25 0 1 0 843453508 14553088 2859 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2859 1111 63 0 3490 0
vsize: 14212
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 173902 0 0 0 28456 545 0 0 25 0 1 0 843453508 14553088 2859 4294967295 134512640 134716908 3221224576 3221222872 1077374433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3553 2859 1111 63 0 3490 0
vsize: 14212
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 180590 0 0 0 29436 566 0 0 25 0 1 0 843453508 14753792 2866 4294967295 134512640 134716908 3221224576 3221221480 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2866 1111 63 0 3539 0
vsize: 14408
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 186908 0 0 0 30415 586 0 0 25 0 1 0 843453508 14888960 2863 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2863 1111 63 0 3572 0
vsize: 14540
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 191090 0 0 0 31399 603 0 0 25 0 1 0 843453508 14618624 2875 4294967295 134512640 134716908 3221224576 3221222688 1074867352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2875 1111 63 0 3506 0
vsize: 14276
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 200050 0 0 0 32372 629 0 0 25 0 1 0 843453508 15310848 2967 4294967295 134512640 134716908 3221224576 3221220736 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3738 2967 1111 63 0 3675 0
vsize: 14952
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 207385 0 0 0 33349 653 0 0 25 0 1 0 843453508 15003648 2954 4294967295 134512640 134716908 3221224576 3221222944 1074140701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3663 2954 1111 63 0 3600 0
vsize: 14652
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 213478 0 0 0 34327 675 0 0 25 0 1 0 843453508 15036416 2971 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2971 1111 63 0 3605 0
vsize: 14684
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 219052 0 0 0 35307 696 0 0 25 0 1 0 843453508 15011840 2971 4294967295 134512640 134716908 3221224576 3221222976 1074119057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3665 2971 1111 63 0 3602 0
vsize: 14660
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 226208 0 0 0 36280 722 0 0 25 0 1 0 843453508 15060992 2972 4294967295 134512640 134716908 3221224576 3221221856 1074139944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2972 1111 63 0 3614 0
vsize: 14708
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 232307 0 0 0 37255 747 0 0 25 0 1 0 843453508 15179776 2972 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3706 2972 1111 63 0 3643 0
vsize: 14824
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 238962 0 0 0 38231 772 0 0 25 0 1 0 843453508 15011840 2971 4294967295 134512640 134716908 3221224576 3221222220 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3665 2971 1111 63 0 3602 0
vsize: 14660
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 243207 0 0 0 39213 790 0 0 25 0 1 0 843453508 15011840 2971 4294967295 134512640 134716908 3221224576 3221221968 1074153719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3665 2971 1111 63 0 3602 0
vsize: 14660
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 249766 0 0 0 40190 813 0 0 25 0 1 0 843453508 15159296 3007 4294967295 134512640 134716908 3221224576 3221222640 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3701 3007 1111 63 0 3638 0
vsize: 14804
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 264006 0 0 0 41152 851 0 0 25 0 1 0 843453508 17788928 3566 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4343 3566 1111 63 0 4280 0
vsize: 17372
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 267279 0 0 0 42139 864 0 0 25 0 1 0 843453508 18235392 3759 4294967295 134512640 134716908 3221224576 3221222992 1074117096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4452 3759 1111 63 0 4389 0
vsize: 17808
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 270442 0 0 0 43126 878 0 0 25 0 1 0 843453508 18403328 3800 4294967295 134512640 134716908 3221224576 3221223168 134524203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4493 3800 1111 63 0 4430 0
vsize: 17972
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 274057 0 0 0 44110 894 0 0 25 0 1 0 843453508 18944000 3932 4294967295 134512640 134716908 3221224576 3221222992 1074116517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3932 1111 63 0 4562 0
vsize: 18500
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 277716 0 0 0 45094 910 0 0 25 0 1 0 843453508 19005440 3946 4294967295 134512640 134716908 3221224576 3221223276 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4640 3946 1111 63 0 4577 0
vsize: 18560
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 281737 0 0 0 46079 926 0 0 25 0 1 0 843453508 19038208 3955 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4648 3955 1111 63 0 4585 0
vsize: 18592
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 283806 0 0 0 47069 935 0 0 25 0 1 0 843453508 19034112 3954 4294967295 134512640 134716908 3221224576 3221222544 1075961322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4647 3954 1111 63 0 4584 0
vsize: 18588
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 286171 0 0 0 48058 947 0 0 25 0 1 0 843453508 19034112 3954 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4647 3954 1111 63 0 4584 0
vsize: 18588
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 289054 0 0 0 49045 960 0 0 25 0 1 0 843453508 19034112 3954 4294967295 134512640 134716908 3221224576 3221223136 134540040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4647 3954 1111 63 0 4584 0
vsize: 18588
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 292423 0 0 0 50032 973 0 0 25 0 1 0 843453508 19050496 3958 4294967295 134512640 134716908 3221224576 3221222992 1074116396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4651 3958 1111 63 0 4588 0
vsize: 18604
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 297782 0 0 0 51011 994 0 0 25 0 1 0 843453508 19103744 3971 4294967295 134512640 134716908 3221224576 3221222304 1075828205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4664 3971 1111 63 0 4601 0
vsize: 18656
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 301278 0 0 0 51998 1007 0 0 25 0 1 0 843453508 19472384 4061 4294967295 134512640 134716908 3221224576 3221222320 1075641903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4754 4061 1111 63 0 4691 0
vsize: 19016
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 306285 0 0 0 52979 1027 0 0 25 0 1 0 843453508 19554304 4080 4294967295 134512640 134716908 3221224576 3221223056 1074039480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4080 1111 63 0 4711 0
vsize: 19096
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 311099 0 0 0 53961 1045 0 0 25 0 1 0 843453508 19554304 4081 4294967295 134512640 134716908 3221224576 3221223256 134523851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 312401 0 0 0 54954 1052 0 0 25 0 1 0 843453508 19570688 4085 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 313977 0 0 0 55946 1060 0 0 25 0 1 0 843453508 19570688 4085 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 315684 0 0 0 56938 1068 0 0 25 0 1 0 843453508 19570688 4085 4294967295 134512640 134716908 3221224576 3221222396 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 317172 0 0 0 57926 1080 0 0 25 0 1 0 843453508 19570688 4085 4294967295 134512640 134716908 3221224576 3221223168 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 317933 0 0 0 58918 1089 0 0 25 0 1 0 843453508 19738624 4086 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4819 4086 1111 63 0 4756 0
vsize: 19276
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 318689 0 0 0 59910 1097 0 0 25 0 1 0 843453508 19570688 4085 4294967295 134512640 134716908 3221224576 3221222576 1074913443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 319599 0 0 0 60903 1104 0 0 25 0 1 0 843453508 19570688 4085 4294967295 134512640 134716908 3221224576 3221223424 134623478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4085 1111 63 0 4715 0
vsize: 19112
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 320075 0 0 0 61898 1109 0 0 25 0 1 0 843453508 19554304 4081 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 321089 0 0 0 62890 1117 0 0 25 0 1 0 843453508 19554304 4081 4294967295 134512640 134716908 3221224576 3221222576 1074056617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 322493 0 0 0 63882 1125 0 0 25 0 1 0 843453508 19554304 4081 4294967295 134512640 134716908 3221224576 3221223264 134556770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 323955 0 0 0 64873 1135 0 0 25 0 1 0 843453508 19554304 4081 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 325660 0 0 0 65861 1147 0 0 25 0 1 0 843453508 19554304 4081 4294967295 134512640 134716908 3221224576 3221222304 1075828584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 326623 0 0 0 66854 1154 0 0 25 0 1 0 843453508 19554304 4081 4294967295 134512640 134716908 3221224576 3221222672 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 328440 0 0 0 67843 1166 0 0 25 0 1 0 843453508 19779584 4082 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4829 4082 1111 63 0 4766 0
vsize: 19316
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 330760 0 0 0 68829 1180 0 0 25 0 1 0 843453508 19554304 4081 4294967295 134512640 134716908 3221224576 3221222712 1075963153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 333278 0 0 0 69816 1193 0 0 25 0 1 0 843453508 19554304 4081 4294967295 134512640 134716908 3221224576 3221222976 1074118792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4774 4081 1111 63 0 4711 0
vsize: 19096
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 336366 0 0 0 70800 1209 0 0 25 0 1 0 843453508 19701760 4083 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4810 4083 1111 63 0 4747 0
vsize: 19240
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 340619 0 0 0 71787 1222 0 0 25 0 1 0 843453508 19730432 4124 4294967295 134512640 134716908 3221224576 3221222352 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4817 4124 1111 63 0 4754 0
vsize: 19268
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20746
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 347543 0 0 0 72761 1249 0 0 25 0 1 0 843453508 19836928 4148 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4148 1111 63 0 4780 0
vsize: 19372
[startup+750.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 20799
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 352802 0 0 0 73740 1269 0 0 25 0 1 0 843453508 19881984 4157 4294967295 134512640 134716908 3221224576 3221222400 1075824360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4854 4157 1111 63 0 4791 0
vsize: 19416
[startup+760.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 20799
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 353363 0 0 0 74735 1274 0 0 25 0 1 0 843453508 19881984 4161 4294967295 134512640 134716908 3221224576 3221222992 1074117048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4854 4161 1111 63 0 4791 0
vsize: 19416
[startup+770.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 20799
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 354234 0 0 0 75728 1282 0 0 25 0 1 0 843453508 19881984 4161 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4854 4161 1111 63 0 4791 0
vsize: 19416
[startup+780.018 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 20799
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 355220 0 0 0 76721 1289 0 0 25 0 1 0 843453508 19881984 4161 4294967295 134512640 134716908 3221224576 3221223168 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4854 4161 1111 63 0 4791 0
vsize: 19416
[startup+790.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 20799
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 356220 0 0 0 77713 1297 0 0 25 0 1 0 843453508 19881984 4161 4294967295 134512640 134716908 3221224576 3221222480 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4854 4161 1111 63 0 4791 0
vsize: 19416
[startup+800.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 20799
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 357411 0 0 0 78707 1304 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222304 1075828205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+810.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 20801
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 358572 0 0 0 79697 1313 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+820.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 360484 0 0 0 80686 1324 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222648 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+830.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 362236 0 0 0 81675 1335 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222928 1074115311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+840.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 363628 0 0 0 82665 1346 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221221920 1074838997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4898 4151 1111 63 0 4835 0
vsize: 19372
[startup+850.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 365484 0 0 0 83653 1358 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222416 1074207534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+860.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 367395 0 0 0 84640 1371 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+870.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 370134 0 0 0 85625 1387 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+880.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 370864 0 0 0 86618 1394 0 0 25 0 1 0 843453508 20004864 4151 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4884 4151 1111 63 0 4821 0
vsize: 19536
[startup+890.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 372399 0 0 0 87606 1406 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222640 1075961628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+900.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 374197 0 0 0 88596 1417 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222640 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 375373 0 0 0 89586 1426 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+920.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 376981 0 0 0 90577 1436 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221221728 1077377147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+930.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 378462 0 0 0 91565 1448 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4898 4151 1111 63 0 4835 0
vsize: 19372
[startup+940.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 380533 0 0 0 92555 1459 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 382509 0 0 0 93544 1470 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222648 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+960.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 384901 0 0 0 94531 1483 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 387149 0 0 0 95521 1493 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222928 1074142993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 388925 0 0 0 96510 1504 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222424 1075007302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 391249 0 0 0 97499 1515 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 393649 0 0 0 98485 1530 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222640 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 396590 0 0 0 99472 1543 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 397219 0 0 0 100469 1546 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 397480 0 0 0 101466 1549 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 397884 0 0 0 102462 1554 0 0 25 0 1 0 843453508 20004864 4151 4294967295 134512640 134716908 3221224576 3221220516 1074786412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19536
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 398307 0 0 0 103455 1560 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 398888 0 0 0 104450 1566 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222928 1074115296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20803
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 399244 0 0 0 105447 1569 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222364 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 399744 0 0 0 106440 1576 0 0 25 0 1 0 843453508 19894272 4151 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19428
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 400279 0 0 0 107434 1582 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222536 1074138256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 400909 0 0 0 108426 1591 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222832 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 401370 0 0 0 109422 1594 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 401370 0 0 0 110421 1596 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221223152 134535416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 401370 0 0 0 111420 1597 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 401370 0 0 0 112418 1599 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 401370 0 0 0 113417 1601 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 401370 0 0 0 114416 1602 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221223360 134624483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 401370 0 0 0 115414 1604 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 19372
[startup+1174.87 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 20805
Raw data (stat): 20746 (bsolo_lpr-v2) R 20745 8378 8377 0 -1 0 401370 0 0 0 115414 1604 0 0 25 0 1 0 843453508 19836928 4150 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4843 4150 1111 63 0 4780 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.02
CPU user time (s): 1158.97
CPU system time (s): 16.0576
CPU usage (%): 100.013
Max. virtual memory (Kb): 19536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####