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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb
MD5SUM	8c1b8634a2f99e9f8e579ef031d10353
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2630
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2630
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2630
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2630
Total number of constraints	6569
Number of constraints which are clauses	6569
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 39579

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 14:11:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27645 boxname=wulflinc2 idbench=203 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8c1b8634a2f99e9f8e579ef031d10353  /oldhome/oroussel/tmp/wulflinc2/normalized-par32-1-c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-1-c.opb
IDLAUNCH: 27645
/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:        263140 kB
Buffers:         34576 kB
Cached:         713144 kB
SwapCached:       1164 kB
Active:          61968 kB
Inactive:       688276 kB
HighTotal:      131008 kB
HighFree:         9856 kB
LowTotal:       903652 kB
LowFree:        253284 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15668 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:30:38 (client local time) WITH STATUS 0 IN 1175.21 SECONDS
stats: 27645 7 1175.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2630 variables and 6569 constraints.
c After prepocess the problem consists of 2565 variables and 8418 constraints.
c preprocess terminated 56.712 s
c Initial Lower Bound: 803
c Lower Bound Elapsed time: 26.69
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.15 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.92 0.97 0.91 1/54 25711
Raw data (stat): 25711 (runsolver) R 25710 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893613611 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 4565 0 0 0 985 12 0 0 25 0 1 0 893613611 18063360 3566 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3566 1111 63 0 4347 0
vsize: 17640
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 4565 0 0 0 1985 12 0 0 25 0 1 0 893613611 18063360 3566 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3566 1111 63 0 4347 0
vsize: 17640
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 4593 0 0 0 2986 12 0 0 25 0 1 0 893613611 18198528 3594 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4443 3594 1111 63 0 4380 0
vsize: 17772
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 4748 0 0 0 3985 12 0 0 25 0 1 0 893613611 18874368 3749 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4608 3749 1111 63 0 4545 0
vsize: 18432
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 4870 0 0 0 4985 13 0 0 25 0 1 0 893613611 19415040 3871 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3871 1111 63 0 4677 0
vsize: 18960
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 6052 0 0 0 5981 17 0 0 25 0 1 0 893613611 24190976 5053 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5906 5053 1111 63 0 5843 0
vsize: 23624
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7474 0 0 0 6977 21 0 0 25 0 1 0 893613611 30597120 6164 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6164 1111 63 0 7407 0
vsize: 29880
[startup+80.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7508 0 0 0 7977 21 0 0 25 0 1 0 893613611 30597120 6198 4294967295 134512640 134716908 3221224576 3221220588 1075663396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6198 1111 63 0 7407 0
vsize: 29880
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7525 0 0 0 8977 21 0 0 25 0 1 0 893613611 30597120 6215 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6215 1111 63 0 7407 0
vsize: 29880
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7531 0 0 0 9977 21 0 0 25 0 1 0 893613611 30597120 6221 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6221 1111 63 0 7407 0
vsize: 29880
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7531 0 0 0 10977 21 0 0 25 0 1 0 893613611 30597120 6221 4294967295 134512640 134716908 3221224576 3221220688 1075792792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 6221 1111 63 0 7407 0
vsize: 29880
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7762 0 0 0 11977 22 0 0 25 0 1 0 893613611 29605888 6186 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7228 6186 1111 63 0 7165 0
vsize: 28912
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7771 0 0 0 12977 22 0 0 25 0 1 0 893613611 29720576 6195 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7256 6195 1111 63 0 7193 0
vsize: 29024
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7784 0 0 0 13977 22 0 0 25 0 1 0 893613611 29720576 6208 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7256 6208 1111 63 0 7193 0
vsize: 29024
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7810 0 0 0 14977 22 0 0 25 0 1 0 893613611 29847552 6234 4294967295 134512640 134716908 3221224576 3221220364 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7287 6234 1111 63 0 7224 0
vsize: 29148
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 7887 0 0 0 15977 22 0 0 25 0 1 0 893613611 30302208 6311 4294967295 134512640 134716908 3221224576 3221221344 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 6311 1111 63 0 7335 0
vsize: 29592
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 14529 0 0 0 16961 38 0 0 25 0 1 0 893613611 25214976 5427 4294967295 134512640 134716908 3221224576 3221223216 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 5427 1111 63 0 6093 0
vsize: 24624
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 14871 0 0 0 17959 40 0 0 25 0 1 0 893613611 26701824 5769 4294967295 134512640 134716908 3221224576 3221223260 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6519 5769 1111 63 0 6456 0
vsize: 26076
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 15239 0 0 0 18956 43 0 0 25 0 1 0 893613611 28188672 6137 4294967295 134512640 134716908 3221224576 3221223244 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6882 6137 1111 63 0 6819 0
vsize: 27528
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 15612 0 0 0 19955 44 0 0 25 0 1 0 893613611 29675520 6510 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7245 6510 1111 63 0 7182 0
vsize: 28980
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 16000 0 0 0 20954 46 0 0 25 0 1 0 893613611 31297536 6898 4294967295 134512640 134716908 3221224576 3221223116 134539284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7641 6898 1111 63 0 7578 0
vsize: 30564
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 16347 0 0 0 21951 49 0 0 25 0 1 0 893613611 32649216 7245 4294967295 134512640 134716908 3221224576 3221223324 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7971 7245 1111 63 0 7908 0
vsize: 31884
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 16690 0 0 0 22950 50 0 0 25 0 1 0 893613611 34136064 7588 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8334 7588 1111 63 0 8271 0
vsize: 33336
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 17051 0 0 0 23949 51 0 0 25 0 1 0 893613611 35618816 7949 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8696 7949 1111 63 0 8633 0
vsize: 34784
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 17403 0 0 0 24948 53 0 0 25 0 1 0 893613611 36970496 8301 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9026 8301 1111 63 0 8963 0
vsize: 36104
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 17742 0 0 0 25947 53 0 0 25 0 1 0 893613611 38457344 8640 4294967295 134512640 134716908 3221224576 3221223352 134613544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9389 8640 1111 63 0 9326 0
vsize: 37556
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 18083 0 0 0 26946 55 0 0 25 0 1 0 893613611 39809024 8981 4294967295 134512640 134716908 3221224576 3221223360 134529249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9719 8981 1111 63 0 9656 0
vsize: 38876
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 18419 0 0 0 27945 56 0 0 25 0 1 0 893613611 41160704 9317 4294967295 134512640 134716908 3221224576 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10049 9317 1111 63 0 9986 0
vsize: 40196
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 18737 0 0 0 28944 57 0 0 25 0 1 0 893613611 42512384 9635 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10379 9635 1111 63 0 10316 0
vsize: 41516
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 19065 0 0 0 29943 58 0 0 25 0 1 0 893613611 43864064 9963 4294967295 134512640 134716908 3221224576 3221223304 134543830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10709 9963 1111 63 0 10646 0
vsize: 42836
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 19399 0 0 0 30941 60 0 0 25 0 1 0 893613611 45219840 10297 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11040 10297 1111 63 0 10977 0
vsize: 44160
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 19713 0 0 0 31940 62 0 0 25 0 1 0 893613611 46436352 10611 4294967295 134512640 134716908 3221224576 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11337 10611 1111 63 0 11274 0
vsize: 45348
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 20054 0 0 0 32939 63 0 0 25 0 1 0 893613611 47923200 10952 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11700 10952 1111 63 0 11637 0
vsize: 46800
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 20389 0 0 0 33938 64 0 0 25 0 1 0 893613611 49274880 11287 4294967295 134512640 134716908 3221224576 3221223208 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12030 11287 1111 63 0 11967 0
vsize: 48120
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 20731 0 0 0 34937 65 0 0 25 0 1 0 893613611 50626560 11629 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12360 11629 1111 63 0 12297 0
vsize: 49440
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 21073 0 0 0 35935 67 0 0 25 0 1 0 893613611 52109312 11971 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12722 11971 1111 63 0 12659 0
vsize: 50888
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 21399 0 0 0 36934 68 0 0 25 0 1 0 893613611 53325824 12297 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13019 12298 1111 63 0 12956 0
vsize: 52076
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 21725 0 0 0 37933 69 0 0 25 0 1 0 893613611 54677504 12623 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13349 12623 1111 63 0 13286 0
vsize: 53396
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 22052 0 0 0 38932 71 0 0 25 0 1 0 893613611 56029184 12950 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13679 12950 1111 63 0 13616 0
vsize: 54716
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 22370 0 0 0 39931 72 0 0 25 0 1 0 893613611 57380864 13268 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14009 13268 1111 63 0 13946 0
vsize: 56036
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 22699 0 0 0 40929 74 0 0 25 0 1 0 893613611 58732544 13597 4294967295 134512640 134716908 3221224576 3221223236 134524380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14339 13597 1111 63 0 14276 0
vsize: 57356
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 23035 0 0 0 41928 76 0 0 25 0 1 0 893613611 60084224 13933 4294967295 134512640 134716908 3221224576 3221223116 134539265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14669 13933 1111 63 0 14606 0
vsize: 58676
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 23346 0 0 0 42926 77 0 0 25 0 1 0 893613611 61300736 14244 4294967295 134512640 134716908 3221224576 3221223228 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 14244 1111 63 0 14903 0
vsize: 59864
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 23650 0 0 0 43925 78 0 0 25 0 1 0 893613611 62652416 14548 4294967295 134512640 134716908 3221224576 3221223288 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15296 14548 1111 63 0 15233 0
vsize: 61184
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 23961 0 0 0 44924 80 0 0 25 0 1 0 893613611 63868928 14859 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15593 14859 1111 63 0 15530 0
vsize: 62372
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 24255 0 0 0 45923 81 0 0 25 0 1 0 893613611 65085440 15153 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15890 15153 1111 63 0 15827 0
vsize: 63560
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 24547 0 0 0 46922 82 0 0 25 0 1 0 893613611 66306048 15445 4294967295 134512640 134716908 3221224576 3221223216 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16188 15445 1111 63 0 16125 0
vsize: 64752
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 24854 0 0 0 47922 83 0 0 25 0 1 0 893613611 67522560 15752 4294967295 134512640 134716908 3221224576 3221223344 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15752 1111 63 0 16422 0
vsize: 65940
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 25147 0 0 0 48920 84 0 0 25 0 1 0 893613611 68739072 16045 4294967295 134512640 134716908 3221224576 3221223244 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16782 16045 1111 63 0 16719 0
vsize: 67128
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 25453 0 0 0 49919 85 0 0 25 0 1 0 893613611 69955584 16351 4294967295 134512640 134716908 3221224576 3221223376 134597779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17079 16351 1111 63 0 17016 0
vsize: 68316
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 25665 0 0 0 50919 86 0 0 25 0 1 0 893613611 70909952 16563 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17312 16563 1111 63 0 17249 0
vsize: 69248
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 25755 0 0 0 51919 87 0 0 25 0 1 0 893613611 71315456 16653 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17411 16653 1111 63 0 17348 0
vsize: 69644
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 25850 0 0 0 52919 87 0 0 25 0 1 0 893613611 71585792 16748 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17477 16748 1111 63 0 17414 0
vsize: 69908
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 25995 0 0 0 53918 88 0 0 25 0 1 0 893613611 72261632 16893 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17642 16893 1111 63 0 17579 0
vsize: 70568
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 26282 0 0 0 54917 89 0 0 25 0 1 0 893613611 73478144 17180 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17939 17180 1111 63 0 17876 0
vsize: 71756
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 26521 0 0 0 55916 91 0 0 25 0 1 0 893613611 74424320 17419 4294967295 134512640 134716908 3221224576 3221223168 134542760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18170 17419 1111 63 0 18107 0
vsize: 72680
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 26775 0 0 0 56914 92 0 0 25 0 1 0 893613611 75505664 17673 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18434 17673 1111 63 0 18371 0
vsize: 73736
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 27024 0 0 0 57913 94 0 0 25 0 1 0 893613611 76451840 17922 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18665 17922 1111 63 0 18602 0
vsize: 74660
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 27278 0 0 0 58912 95 0 0 25 0 1 0 893613611 77533184 18176 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18929 18176 1111 63 0 18866 0
vsize: 75716
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 27513 0 0 0 59910 96 0 0 25 0 1 0 893613611 78479360 18411 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19160 18411 1111 63 0 19097 0
vsize: 76640
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 27755 0 0 0 60910 97 0 0 25 0 1 0 893613611 79429632 18653 4294967295 134512640 134716908 3221224576 3221223168 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19392 18653 1111 63 0 19329 0
vsize: 77568
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 28003 0 0 0 61908 99 0 0 25 0 1 0 893613611 80510976 18901 4294967295 134512640 134716908 3221224576 3221223264 134542952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19656 18901 1111 63 0 19593 0
vsize: 78624
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 28244 0 0 0 62908 100 0 0 25 0 1 0 893613611 81461248 19142 4294967295 134512640 134716908 3221224576 3221223320 134555031 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19888 19142 1111 63 0 19825 0
vsize: 79552
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 28470 0 0 0 63906 101 0 0 25 0 1 0 893613611 82407424 19368 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20119 19368 1111 63 0 20056 0
vsize: 80476
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 28714 0 0 0 64906 102 0 0 25 0 1 0 893613611 83353600 19612 4294967295 134512640 134716908 3221224576 3221223344 134529110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20350 19612 1111 63 0 20287 0
vsize: 81400
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 28927 0 0 0 65905 103 0 0 25 0 1 0 893613611 84303872 19825 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20582 19825 1111 63 0 20519 0
vsize: 82328
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 29109 0 0 0 66904 104 0 0 25 0 1 0 893613611 84979712 20007 4294967295 134512640 134716908 3221224576 3221222352 134699752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20747 20007 1111 63 0 20684 0
vsize: 82988
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 29322 0 0 0 67903 105 0 0 25 0 1 0 893613611 85925888 20220 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20978 20220 1111 63 0 20915 0
vsize: 83912
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 29491 0 0 0 68902 106 0 0 25 0 1 0 893613611 86601728 20389 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21143 20389 1111 63 0 21080 0
vsize: 84572
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 29696 0 0 0 69902 107 0 0 25 0 1 0 893613611 87412736 20594 4294967295 134512640 134716908 3221224576 3221223168 134549776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21341 20594 1111 63 0 21278 0
vsize: 85364
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 29899 0 0 0 70901 108 0 0 25 0 1 0 893613611 88223744 20797 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21539 20797 1111 63 0 21476 0
vsize: 86156
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 30076 0 0 0 71900 109 0 0 25 0 1 0 893613611 89034752 20974 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21737 20974 1111 63 0 21674 0
vsize: 86948
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 30245 0 0 0 72900 109 0 0 25 0 1 0 893613611 89710592 21143 4294967295 134512640 134716908 3221224576 3221223296 134535793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21902 21143 1111 63 0 21839 0
vsize: 87608
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 30448 0 0 0 73899 110 0 0 25 0 1 0 893613611 90521600 21346 4294967295 134512640 134716908 3221224576 3221223136 134699108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22100 21346 1111 63 0 22037 0
vsize: 88400
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 30622 0 0 0 74899 111 0 0 25 0 1 0 893613611 91197440 21520 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22265 21520 1111 63 0 22202 0
vsize: 89060
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 30825 0 0 0 75899 111 0 0 25 0 1 0 893613611 92143616 21723 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22496 21723 1111 63 0 22433 0
vsize: 89984
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 30994 0 0 0 76899 112 0 0 25 0 1 0 893613611 92819456 21891 4294967295 134512640 134716908 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22661 21891 1111 63 0 22598 0
vsize: 90644
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 31195 0 0 0 77898 113 0 0 25 0 1 0 893613611 93630464 22092 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22859 22092 1111 63 0 22796 0
vsize: 91436
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 31405 0 0 0 78897 114 0 0 25 0 1 0 893613611 94441472 22302 4294967295 134512640 134716908 3221224576 3221223152 134542773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23057 22302 1111 63 0 22994 0
vsize: 92228
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 31587 0 0 0 79897 114 0 0 25 0 1 0 893613611 95252480 22484 4294967295 134512640 134716908 3221224576 3221223224 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23255 22484 1111 63 0 23192 0
vsize: 93020
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 31790 0 0 0 80895 115 0 0 25 0 1 0 893613611 96063488 22687 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23453 22687 1111 63 0 23390 0
vsize: 93812
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 31980 0 0 0 81894 117 0 0 25 0 1 0 893613611 96874496 22877 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23651 22877 1111 63 0 23588 0
vsize: 94604
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 32165 0 0 0 82894 118 0 0 25 0 1 0 893613611 97550336 23062 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23816 23062 1111 63 0 23753 0
vsize: 95264
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 32366 0 0 0 83893 119 0 0 25 0 1 0 893613611 98361344 23263 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24014 23263 1111 63 0 23951 0
vsize: 96056
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 32530 0 0 0 84892 119 0 0 25 0 1 0 893613611 99037184 23427 4294967295 134512640 134716908 3221224576 3221223260 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24179 23427 1111 63 0 24116 0
vsize: 96716
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 32735 0 0 0 85892 120 0 0 25 0 1 0 893613611 99848192 23632 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24377 23632 1111 63 0 24314 0
vsize: 97508
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 32954 0 0 0 86891 121 0 0 25 0 1 0 893613611 100794368 23851 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24608 23851 1111 63 0 24545 0
vsize: 98432
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 33154 0 0 0 87890 122 0 0 25 0 1 0 893613611 101605376 24051 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24806 24051 1111 63 0 24743 0
vsize: 99224
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 33367 0 0 0 88890 123 0 0 25 0 1 0 893613611 102551552 24264 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25037 24264 1111 63 0 24974 0
vsize: 100148
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 33551 0 0 0 89889 123 0 0 25 0 1 0 893613611 103227392 24448 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25202 24448 1111 63 0 25139 0
vsize: 100808
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 33732 0 0 0 90889 124 0 0 25 0 1 0 893613611 104038400 24629 4294967295 134512640 134716908 3221224576 3221223200 134536675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25400 24629 1111 63 0 25337 0
vsize: 101600
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 33920 0 0 0 91888 125 0 0 25 0 1 0 893613611 104714240 24817 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25565 24817 1111 63 0 25502 0
vsize: 102260
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 34085 0 0 0 92888 125 0 0 25 0 1 0 893613611 105390080 24982 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25730 24982 1111 63 0 25667 0
vsize: 102920
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 34192 0 0 0 93888 126 0 0 25 0 1 0 893613611 105955328 25089 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25868 25089 1111 63 0 25805 0
vsize: 103472
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 34247 0 0 0 94888 126 0 0 25 0 1 0 893613611 106090496 25144 4294967295 134512640 134716908 3221224576 3221223184 134543724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25901 25144 1111 63 0 25838 0
vsize: 103604
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 34297 0 0 0 95888 126 0 0 25 0 1 0 893613611 106360832 25194 4294967295 134512640 134716908 3221224576 3221223296 134584759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25967 25194 1111 63 0 25904 0
vsize: 103868
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 34400 0 0 0 96888 126 0 0 25 0 1 0 893613611 106766336 25297 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26066 25297 1111 63 0 26003 0
vsize: 104264
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 34562 0 0 0 97887 127 0 0 25 0 1 0 893613611 107442176 25459 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26231 25459 1111 63 0 26168 0
vsize: 104924
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 34755 0 0 0 98886 128 0 0 25 0 1 0 893613611 108253184 25652 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26429 25652 1111 63 0 26366 0
vsize: 105716
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 34911 0 0 0 99886 129 0 0 25 0 1 0 893613611 108793856 25808 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26561 25808 1111 63 0 26498 0
vsize: 106244
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 35070 0 0 0 100885 130 0 0 25 0 1 0 893613611 109469696 25967 4294967295 134512640 134716908 3221224576 3221223272 134655149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26726 25967 1111 63 0 26663 0
vsize: 106904
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 35245 0 0 0 101885 130 0 0 25 0 1 0 893613611 110288896 26142 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26926 26142 1111 63 0 26863 0
vsize: 107704
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 35388 0 0 0 102885 131 0 0 25 0 1 0 893613611 110829568 26285 4294967295 134512640 134716908 3221224576 3221223216 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27058 26285 1111 63 0 26995 0
vsize: 108232
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 35544 0 0 0 103884 131 0 0 25 0 1 0 893613611 111505408 26441 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27223 26441 1111 63 0 27160 0
vsize: 108892
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 35697 0 0 0 104883 132 0 0 25 0 1 0 893613611 112046080 26594 4294967295 134512640 134716908 3221224576 3221223136 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27355 26594 1111 63 0 27292 0
vsize: 109420
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 35840 0 0 0 105883 133 0 0 25 0 1 0 893613611 112721920 26737 4294967295 134512640 134716908 3221224576 3221223136 134549730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27520 26737 1111 63 0 27457 0
vsize: 110080
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 36004 0 0 0 106882 134 0 0 25 0 1 0 893613611 113405952 26901 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27687 26901 1111 63 0 27624 0
vsize: 110748
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 36163 0 0 0 107881 135 0 0 25 0 1 0 893613611 113946624 27060 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27819 27060 1111 63 0 27756 0
vsize: 111276
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 36320 0 0 0 108881 135 0 0 25 0 1 0 893613611 114622464 27217 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27984 27217 1111 63 0 27921 0
vsize: 111936
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 36475 0 0 0 109880 136 0 0 25 0 1 0 893613611 115298304 27372 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28149 27372 1111 63 0 28086 0
vsize: 112596
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 36609 0 0 0 110880 137 0 0 25 0 1 0 893613611 115838976 27506 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28281 27506 1111 63 0 28218 0
vsize: 113124
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 36755 0 0 0 111879 138 0 0 25 0 1 0 893613611 116379648 27652 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28413 27652 1111 63 0 28350 0
vsize: 113652
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 36889 0 0 0 112879 139 0 0 25 0 1 0 893613611 116920320 27786 4294967295 134512640 134716908 3221224576 3221223248 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28545 27786 1111 63 0 28482 0
vsize: 114180
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 37044 0 0 0 113878 139 0 0 25 0 1 0 893613611 117596160 27941 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28710 27941 1111 63 0 28647 0
vsize: 114840
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 37203 0 0 0 114878 140 0 0 25 0 1 0 893613611 118272000 28100 4294967295 134512640 134716908 3221224576 3221223352 134587939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28875 28100 1111 63 0 28812 0
vsize: 115500
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 37366 0 0 0 115877 141 0 0 25 0 1 0 893613611 118947840 28263 4294967295 134512640 134716908 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29040 28263 1111 63 0 28977 0
vsize: 116160
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 37505 0 0 0 116877 141 0 0 25 0 1 0 893613611 119488512 28402 4294967295 134512640 134716908 3221224576 3221223232 134524069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29172 28402 1111 63 0 29109 0
vsize: 116688
[startup+1175.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25711
Raw data (stat): 25711 (bsolo_lpr-v2) R 25710 31399 31398 0 -1 0 37505 0 0 0 116877 141 0 0 25 0 1 0 893613611 119488512 28402 4294967295 134512640 134716908 3221224576 3221223232 134524069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29172 28402 1111 63 0 29109 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.21
CPU user time (s): 1173.74
CPU system time (s): 1.47378
CPU usage (%): 100.014
Max. virtual memory (Kb): 116688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####