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/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
MD5SUM	808390b13d2d87ec4e78f628ed3af9ba
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.021995
Number of variables	750
Total number of constraints	80
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	25
Trace number 23172

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 01:20:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=55 boxname=wulflinc31 idbench=7 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  808390b13d2d87ec4e78f628ed3af9ba  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_25_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_25_pb.cnf.cr.opb
IDLAUNCH: 55
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        932784 kB
Buffers:         35432 kB
Cached:          44624 kB
SwapCached:        864 kB
Active:          67460 kB
Inactive:        15064 kB
HighTotal:      131008 kB
HighFree:        85260 kB
LowTotal:       903652 kB
LowFree:        847524 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13840 kB
Committed_AS:    63668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 01:40:11 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 55 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 750 variables and 80 constraints.
c After prepocess the problem consists of 750 variables and 80 constraints.
c preprocess terminated 0.198 s
c Not 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
Raw data (loadavg): 0.91 0.95 0.91 2/54 6908
Raw data (stat): 6908 (runsolver) R 6907 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 627469480 1056768 100 4294967295 134512640 135381576 3221221648 3221216868 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 3670 0 0 0 981 13 0 0 25 0 1 0 627469480 18194432 3591 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3591 1111 63 0 4379 0
vsize: 17768
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 5279 0 0 0 1975 20 0 0 25 0 1 0 627469480 24821760 5199 4294967295 134512640 134714508 3221221744 3221220256 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6060 5199 1111 63 0 5997 0
vsize: 24240
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 6443 0 0 0 2970 25 0 0 25 0 1 0 627469480 29597696 6362 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7226 6362 1111 63 0 7163 0
vsize: 28904
[startup+40.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 7343 0 0 0 3968 27 0 0 25 0 1 0 627469480 33288192 7262 4294967295 134512640 134714508 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8127 7262 1111 63 0 8064 0
vsize: 32508
[startup+50.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 8904 0 0 0 4963 33 0 0 25 0 1 0 627469480 39657472 8823 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9682 8823 1111 63 0 9619 0
vsize: 38728
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 10277 0 0 0 5957 38 0 0 25 0 1 0 627469480 45350912 10196 4294967295 134512640 134714508 3221221744 3221220680 134588433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11072 10197 1111 63 0 11009 0
vsize: 44288
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 12162 0 0 0 6950 45 0 0 25 0 1 0 627469480 53063680 12081 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12955 12081 1111 63 0 12892 0
vsize: 51820
[startup+80.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 13665 0 0 0 7944 52 0 0 25 0 1 0 627469480 59297792 13583 4294967295 134512640 134714508 3221221744 3221220488 134551609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14477 13583 1111 63 0 14414 0
vsize: 57908
[startup+90.0069 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 14637 0 0 0 8940 56 0 0 25 0 1 0 627469480 63246336 14552 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15441 14552 1111 63 0 15378 0
vsize: 61764
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 15650 0 0 0 9938 58 0 0 25 0 1 0 627469480 67457024 15565 4294967295 134512640 134714508 3221221744 3221220448 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16469 15565 1111 63 0 16406 0
vsize: 65876
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 16613 0 0 0 10934 62 0 0 25 0 1 0 627469480 71380992 16527 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17427 16527 1111 63 0 17364 0
vsize: 69708
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 17371 0 0 0 11931 65 0 0 25 0 1 0 627469480 74584064 17284 4294967295 134512640 134714508 3221221744 3221220236 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18209 17284 1111 63 0 18146 0
vsize: 72836
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 18102 0 0 0 12929 68 0 0 25 0 1 0 627469480 77725696 18014 4294967295 134512640 134714508 3221221744 3221220384 134696110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18976 18014 1111 63 0 18913 0
vsize: 75904
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 18607 0 0 0 13926 71 0 0 25 0 1 0 627469480 79761408 18518 4294967295 134512640 134714508 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19473 18518 1111 63 0 19410 0
vsize: 77892
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 19009 0 0 0 14925 73 0 0 25 0 1 0 627469480 81383424 18919 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19869 18919 1111 63 0 19806 0
vsize: 79476
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 20355 0 0 0 15919 78 0 0 25 0 1 0 627469480 87011328 20261 4294967295 134512640 134714508 3221221744 3221220432 134551950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21243 20261 1111 63 0 21180 0
vsize: 84972
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 21294 0 0 0 16916 82 0 0 25 0 1 0 627469480 90796032 21200 4294967295 134512640 134714508 3221221744 3221220400 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22167 21200 1111 63 0 22104 0
vsize: 88668
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 21883 0 0 0 17913 84 0 0 25 0 1 0 627469480 93167616 21785 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22746 21785 1111 63 0 22683 0
vsize: 90984
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 22578 0 0 0 18911 87 0 0 25 0 1 0 627469480 96006144 22480 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23439 22480 1111 63 0 23376 0
vsize: 93756
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 23289 0 0 0 19908 90 0 0 25 0 1 0 627469480 98979840 23191 4294967295 134512640 134714508 3221221744 3221220336 134549660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24165 23191 1111 63 0 24102 0
vsize: 96660
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 23935 0 0 0 20906 92 0 0 25 0 1 0 627469480 101584896 23837 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24801 23837 1111 63 0 24738 0
vsize: 99204
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 24436 0 0 0 21905 94 0 0 25 0 1 0 627469480 103768064 24338 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25334 24338 1111 63 0 25271 0
vsize: 101336
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 24740 0 0 0 22904 95 0 0 25 0 1 0 627469480 105074688 24642 4294967295 134512640 134714508 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25653 24642 1111 63 0 25590 0
vsize: 102612
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 25715 0 0 0 23900 99 0 0 25 0 1 0 627469480 109064192 25616 4294967295 134512640 134714508 3221221744 3221220528 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26627 25616 1111 63 0 26564 0
vsize: 106508
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 26263 0 0 0 24899 100 0 0 25 0 1 0 627469480 111374336 26160 4294967295 134512640 134714508 3221221744 3221220336 134549852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27191 26160 1111 63 0 27128 0
vsize: 108764
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 26790 0 0 0 25897 103 0 0 25 0 1 0 627469480 113577984 26686 4294967295 134512640 134714508 3221221744 3221220528 134529410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27729 26686 1111 63 0 27666 0
vsize: 110916
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 27367 0 0 0 26895 105 0 0 25 0 1 0 627469480 115875840 27263 4294967295 134512640 134714508 3221221744 3221220384 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28290 27263 1111 63 0 28227 0
vsize: 113160
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 27898 0 0 0 27892 108 0 0 25 0 1 0 627469480 118063104 27793 4294967295 134512640 134714508 3221221744 3221220240 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28824 27793 1111 63 0 28761 0
vsize: 115296
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 28343 0 0 0 28891 109 0 0 25 0 1 0 627469480 119820288 28238 4294967295 134512640 134714508 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29253 28238 1111 63 0 29190 0
vsize: 117012
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 28826 0 0 0 29890 110 0 0 25 0 1 0 627469480 121872384 28721 4294967295 134512640 134714508 3221221744 3221220364 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29754 28721 1111 63 0 29691 0
vsize: 119016
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 29159 0 0 0 30888 112 0 0 25 0 1 0 627469480 123228160 29054 4294967295 134512640 134714508 3221221744 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30085 29054 1111 63 0 30022 0
vsize: 120340
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 29643 0 0 0 31886 114 0 0 25 0 1 0 627469480 125337600 29533 4294967295 134512640 134714508 3221221744 3221220424 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30600 29533 1111 63 0 30537 0
vsize: 122400
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 30017 0 0 0 32885 116 0 0 25 0 1 0 627469480 126844928 29905 4294967295 134512640 134714508 3221221744 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30968 29905 1111 63 0 30905 0
vsize: 123872
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 30382 0 0 0 33884 117 0 0 25 0 1 0 627469480 128368640 30265 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31340 30265 1111 63 0 31277 0
vsize: 125360
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 30697 0 0 0 34883 119 0 0 25 0 1 0 627469480 129597440 30580 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31640 30580 1111 63 0 31577 0
vsize: 126560
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 31252 0 0 0 35881 121 0 0 25 0 1 0 627469480 131956736 31133 4294967295 134512640 134714508 3221221744 3221220448 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32216 31133 1111 63 0 32153 0
vsize: 128864
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 31885 0 0 0 36879 123 0 0 25 0 1 0 627469480 134545408 31766 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32848 31766 1111 63 0 32785 0
vsize: 131392
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 32438 0 0 0 37877 125 0 0 25 0 1 0 627469480 136839168 32319 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33408 32319 1111 63 0 33345 0
vsize: 133632
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 32913 0 0 0 38876 127 0 0 25 0 1 0 627469480 138932224 32785 4294967295 134512640 134714508 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33919 32785 1111 63 0 33856 0
vsize: 135676
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 33392 0 0 0 39873 129 0 0 25 0 1 0 627469480 140824576 33264 4294967295 134512640 134714508 3221221744 3221220528 134529359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34381 33264 1111 63 0 34318 0
vsize: 137524
[startup+410.021 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 33734 0 0 0 40872 130 0 0 25 0 1 0 627469480 142204928 33606 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34718 33606 1111 63 0 34655 0
vsize: 138872
[startup+420.022 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 34005 0 0 0 41871 132 0 0 25 0 1 0 627469480 143454208 33876 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35023 33876 1111 63 0 34960 0
vsize: 140092
[startup+430.023 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 34275 0 0 0 42870 133 0 0 25 0 1 0 627469480 144535552 34146 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35287 34146 1111 63 0 35224 0
vsize: 141148
[startup+440.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 34555 0 0 0 43869 134 0 0 25 0 1 0 627469480 145616896 34426 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35551 34426 1111 63 0 35488 0
vsize: 142204
[startup+450.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 34830 0 0 0 44868 136 0 0 25 0 1 0 627469480 146751488 34699 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35828 34699 1111 63 0 35765 0
vsize: 143312
[startup+460.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 35178 0 0 0 45866 137 0 0 25 0 1 0 627469480 148234240 35047 4294967295 134512640 134714508 3221221744 3221220308 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36190 35047 1111 63 0 36127 0
vsize: 144760
[startup+470.025 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 35532 0 0 0 46865 139 0 0 25 0 1 0 627469480 149606400 35400 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36525 35400 1111 63 0 36462 0
vsize: 146100
[startup+480.025 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 35821 0 0 0 47864 140 0 0 25 0 1 0 627469480 150859776 35689 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36831 35689 1111 63 0 36768 0
vsize: 147324
[startup+490.026 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 36155 0 0 0 48862 142 0 0 25 0 1 0 627469480 152076288 36023 4294967295 134512640 134714508 3221221744 3221220316 134613764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37128 36023 1111 63 0 37065 0
vsize: 148512
[startup+500.027 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 36789 0 0 0 49859 145 0 0 25 0 1 0 627469480 154902528 36650 4294967295 134512640 134714508 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37818 36650 1111 63 0 37755 0
vsize: 151272
[startup+510.027 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 37191 0 0 0 50859 146 0 0 25 0 1 0 627469480 156524544 37052 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38214 37052 1111 63 0 38151 0
vsize: 152856
[startup+520.028 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 37534 0 0 0 51858 147 0 0 25 0 1 0 627469480 157913088 37395 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38553 37395 1111 63 0 38490 0
vsize: 154212
[startup+530.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 37790 0 0 0 52857 148 0 0 25 0 1 0 627469480 159068160 37650 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38835 37650 1111 63 0 38772 0
vsize: 155340
[startup+540.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 38133 0 0 0 53856 149 0 0 25 0 1 0 627469480 160419840 37993 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39165 37993 1111 63 0 39102 0
vsize: 156660
[startup+550.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 38421 0 0 0 54855 150 0 0 25 0 1 0 627469480 161501184 38281 4294967295 134512640 134714508 3221221744 3221220396 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39429 38281 1111 63 0 39366 0
vsize: 157716
[startup+560.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 38681 0 0 0 55855 151 0 0 25 0 1 0 627469480 162648064 38532 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39709 38532 1111 63 0 39646 0
vsize: 158836
[startup+570.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 39035 0 0 0 56854 152 0 0 25 0 1 0 627469480 164278272 38877 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40107 38877 1111 63 0 40044 0
vsize: 160428
[startup+580.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 39322 0 0 0 57853 153 0 0 25 0 1 0 627469480 165646336 39164 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40441 39164 1111 63 0 40378 0
vsize: 161764
[startup+590.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 39560 0 0 0 58852 155 0 0 25 0 1 0 627469480 166457344 39402 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40639 39402 1111 63 0 40576 0
vsize: 162556
[startup+600.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 39823 0 0 0 59851 156 0 0 25 0 1 0 627469480 167608320 39665 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40920 39665 1111 63 0 40857 0
vsize: 163680
[startup+610.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 40079 0 0 0 60850 157 0 0 25 0 1 0 627469480 168554496 39921 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41151 39921 1111 63 0 41088 0
vsize: 164604
[startup+620.033 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 40312 0 0 0 61849 158 0 0 25 0 1 0 627469480 169500672 40154 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41382 40154 1111 63 0 41319 0
vsize: 165528
[startup+630.034 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 40628 0 0 0 62848 159 0 0 25 0 1 0 627469480 170782720 40469 4294967295 134512640 134714508 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41695 40469 1111 63 0 41632 0
vsize: 166780
[startup+640.035 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 40890 0 0 0 63847 160 0 0 25 0 1 0 627469480 171982848 40722 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41988 40722 1111 63 0 41925 0
vsize: 167952
[startup+650.035 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 41127 0 0 0 64846 161 0 0 25 0 1 0 627469480 173027328 40957 4294967295 134512640 134714508 3221221744 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42243 40957 1111 63 0 42180 0
vsize: 168972
[startup+660.035 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 41383 0 0 0 65845 162 0 0 25 0 1 0 627469480 174104576 41213 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42506 41213 1111 63 0 42443 0
vsize: 170024
[startup+670.036 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 41639 0 0 0 66844 164 0 0 25 0 1 0 627469480 175104000 41469 4294967295 134512640 134714508 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42750 41469 1111 63 0 42687 0
vsize: 171000
[startup+680.036 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 41893 0 0 0 67843 165 0 0 25 0 1 0 627469480 176119808 41721 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42998 41721 1111 63 0 42935 0
vsize: 171992
[startup+690.037 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 42170 0 0 0 68843 166 0 0 25 0 1 0 627469480 177283072 41998 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43282 41998 1111 63 0 43219 0
vsize: 173128
[startup+700.038 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 42448 0 0 0 69842 167 0 0 25 0 1 0 627469480 178364416 42276 4294967295 134512640 134714508 3221221744 3221220348 134536825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43546 42276 1111 63 0 43483 0
vsize: 174184
[startup+710.038 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 42733 0 0 0 70841 168 0 0 25 0 1 0 627469480 179789824 42558 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43894 42558 1111 63 0 43831 0
vsize: 175576
[startup+720.039 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 42951 0 0 0 71841 168 0 0 25 0 1 0 627469480 180830208 42768 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44148 42768 1111 63 0 44085 0
vsize: 176592
[startup+730.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 43239 0 0 0 72840 170 0 0 25 0 1 0 627469480 182165504 43049 4294967295 134512640 134714508 3221221744 3221220300 134535512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44474 43049 1111 63 0 44411 0
vsize: 177896
[startup+740.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 43482 0 0 0 73839 170 0 0 25 0 1 0 627469480 183291904 43288 4294967295 134512640 134714508 3221221744 3221220512 134529157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44749 43288 1111 63 0 44686 0
vsize: 178996
[startup+750.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 43689 0 0 0 74839 171 0 0 25 0 1 0 627469480 184135680 43494 4294967295 134512640 134714508 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44955 43494 1111 63 0 44892 0
vsize: 179820
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 43857 0 0 0 75838 172 0 0 25 0 1 0 627469480 184872960 43657 4294967295 134512640 134714508 3221221744 3221220340 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45135 43657 1111 63 0 45072 0
vsize: 180540
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 44010 0 0 0 76838 172 0 0 25 0 1 0 627469480 185597952 43809 4294967295 134512640 134714508 3221221744 3221220400 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45312 43809 1111 63 0 45249 0
vsize: 181248
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 44181 0 0 0 77838 173 0 0 25 0 1 0 627469480 186318848 43980 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45488 43980 1111 63 0 45425 0
vsize: 181952
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 44284 0 0 0 78837 173 0 0 25 0 1 0 627469480 186650624 44081 4294967295 134512640 134714508 3221221744 3221220448 134528623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45569 44081 1111 63 0 45506 0
vsize: 182276
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 44462 0 0 0 79837 174 0 0 25 0 1 0 627469480 187461632 44259 4294967295 134512640 134714508 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45767 44259 1111 63 0 45704 0
vsize: 183068
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 44784 0 0 0 80836 175 0 0 25 0 1 0 627469480 188678144 44581 4294967295 134512640 134714508 3221221744 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46064 44581 1111 63 0 46001 0
vsize: 184256
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 46067 0 0 0 81832 179 0 0 25 0 1 0 627469480 193957888 45864 4294967295 134512640 134714508 3221221744 3221220448 134528726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47353 45864 1111 63 0 47290 0
vsize: 189412
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 46933 0 0 0 82829 183 0 0 25 0 1 0 627469480 197697536 46725 4294967295 134512640 134714508 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48266 46725 1111 63 0 48203 0
vsize: 193064
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 48248 0 0 0 83825 187 0 0 25 0 1 0 627469480 203104256 48040 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49586 48040 1111 63 0 49523 0
vsize: 198344
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 48944 0 0 0 84824 188 0 0 25 0 1 0 627469480 205942784 48736 4294967295 134512640 134714508 3221221744 3221220528 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50279 48736 1111 63 0 50216 0
vsize: 201116
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 49903 0 0 0 85821 191 0 0 25 0 1 0 627469480 209899520 49691 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51245 49691 1111 63 0 51182 0
vsize: 204980
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 50502 0 0 0 86820 193 0 0 25 0 1 0 627469480 212332544 50290 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51839 50290 1111 63 0 51776 0
vsize: 207356
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 51141 0 0 0 87818 195 0 0 25 0 1 0 627469480 214900736 50929 4294967295 134512640 134714508 3221221744 3221220480 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52466 50929 1111 63 0 52403 0
vsize: 209864
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 51908 0 0 0 88816 197 0 0 25 0 1 0 627469480 218144768 51696 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53258 51696 1111 63 0 53195 0
vsize: 213032
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 52433 0 0 0 89814 199 0 0 25 0 1 0 627469480 220172288 52221 4294967295 134512640 134714508 3221221744 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53753 52221 1111 63 0 53690 0
vsize: 215012
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 52982 0 0 0 90812 201 0 0 25 0 1 0 627469480 222470144 52770 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54314 52770 1111 63 0 54251 0
vsize: 217256
[startup+920.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 53408 0 0 0 91811 203 0 0 25 0 1 0 627469480 224239616 53196 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54746 53196 1111 63 0 54683 0
vsize: 218984
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 53925 0 0 0 92809 205 0 0 25 0 1 0 627469480 226537472 53711 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55307 53711 1111 63 0 55244 0
vsize: 221228
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 54206 0 0 0 93808 206 0 0 25 0 1 0 627469480 227631104 53991 4294967295 134512640 134714508 3221221744 3221220468 134524123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55574 53991 1111 63 0 55511 0
vsize: 222296
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 54984 0 0 0 94806 208 0 0 25 0 1 0 627469480 230768640 54767 4294967295 134512640 134714508 3221221744 3221220400 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56340 54767 1111 63 0 56277 0
vsize: 225360
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 55926 0 0 0 95803 211 0 0 25 0 1 0 627469480 234688512 55709 4294967295 134512640 134714508 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57297 55709 1111 63 0 57234 0
vsize: 229188
[startup+970.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 56574 0 0 0 96801 213 0 0 25 0 1 0 627469480 237330432 56353 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57942 56353 1111 63 0 57879 0
vsize: 231768
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 57161 0 0 0 97799 215 0 0 25 0 1 0 627469480 239763456 56940 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58536 56940 1111 63 0 58473 0
vsize: 234144
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 57644 0 0 0 98798 217 0 0 25 0 1 0 627469480 241659904 57423 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58999 57423 1111 63 0 58936 0
vsize: 235996
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 58052 0 0 0 99796 219 0 0 25 0 1 0 627469480 243425280 57831 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59430 57831 1111 63 0 59367 0
vsize: 237720
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 58804 0 0 0 100793 222 0 0 25 0 1 0 627469480 246398976 58583 4294967295 134512640 134714508 3221221744 3221220348 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60156 58583 1111 63 0 60093 0
vsize: 240624
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 59182 0 0 0 101792 224 0 0 25 0 1 0 627469480 248020992 58961 4294967295 134512640 134714508 3221221744 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60552 58961 1111 63 0 60489 0
vsize: 242208
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 59627 0 0 0 102790 225 0 0 25 0 1 0 627469480 249802752 59406 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60987 59406 1111 63 0 60924 0
vsize: 243948
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 60059 0 0 0 103788 228 0 0 25 0 1 0 627469480 251584512 59838 4294967295 134512640 134714508 3221221744 3221220300 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61422 59838 1111 63 0 61359 0
vsize: 245688
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 60481 0 0 0 104786 230 0 0 25 0 1 0 627469480 253374464 60257 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61859 60257 1111 63 0 61796 0
vsize: 247436
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 60808 0 0 0 105784 232 0 0 25 0 1 0 627469480 254722048 60584 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62188 60584 1111 63 0 62125 0
vsize: 248752
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 61013 0 0 0 106783 233 0 0 25 0 1 0 627469480 255569920 60788 4294967295 134512640 134714508 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62395 60788 1111 63 0 62332 0
vsize: 249580
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 61368 0 0 0 107782 235 0 0 25 0 1 0 627469480 256946176 61141 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62731 61141 1111 63 0 62668 0
vsize: 250924
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 62165 0 0 0 108780 236 0 0 25 0 1 0 627469480 260235264 61934 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63534 61934 1111 63 0 63471 0
vsize: 254136
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 62624 0 0 0 109779 238 0 0 25 0 1 0 627469480 262127616 62393 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63996 62393 1111 63 0 63933 0
vsize: 255984
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 63116 0 0 0 110777 240 0 0 25 0 1 0 627469480 264155136 62885 4294967295 134512640 134714508 3221221744 3221220428 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64491 62885 1111 63 0 64428 0
vsize: 257964
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 63657 0 0 0 111776 241 0 0 25 0 1 0 627469480 266346496 63425 4294967295 134512640 134714508 3221221744 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65026 63425 1111 63 0 64963 0
vsize: 260104
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 64229 0 0 0 112774 244 0 0 25 0 1 0 627469480 268845056 63988 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65636 63988 1111 63 0 65573 0
vsize: 262544
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 64702 0 0 0 113773 245 0 0 25 0 1 0 627469480 270770176 64460 4294967295 134512640 134714508 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66106 64460 1111 63 0 66043 0
vsize: 264424
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 65161 0 0 0 114769 248 0 0 25 0 1 0 627469480 272662528 64919 4294967295 134512640 134714508 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66568 64919 1111 63 0 66505 0
vsize: 266272
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 65612 0 0 0 115767 250 0 0 25 0 1 0 627469480 274554880 65370 4294967295 134512640 134714508 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67030 65370 1111 63 0 66967 0
vsize: 268120
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 65974 0 0 0 116765 251 0 0 25 0 1 0 627469480 275906560 65732 4294967295 134512640 134714508 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67360 65732 1111 63 0 67297 0
vsize: 269440
[startup+1175.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 6908
Raw data (stat): 6908 (bsolo_lpr) R 6907 3722 3553 0 -1 0 65974 0 0 0 116765 251 0 0 25 0 1 0 627469480 275906560 65732 4294967295 134512640 134714508 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67360 65732 1111 63 0 67297 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.15
CPU user time (s): 1172.5
CPU system time (s): 2.6536
CPU usage (%): 100.01
Max. virtual memory (Kb): 269440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####