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-chnl20_30_pb.cnf.cr.opb
MD5SUM	afcc4289aafaea265ed2d465965a3342
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	31
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.036993
Number of variables	1200
Total number of constraints	100
Number of constraints which are clauses	60
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	30
Trace number 39386

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 07:28:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27452 boxname=wulflinc4 idbench=10 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  afcc4289aafaea265ed2d465965a3342  /oldhome/oroussel/tmp/wulflinc4/normalized-chnl20_30_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl20_30_pb.cnf.cr.opb
IDLAUNCH: 27452
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        405392 kB
Buffers:         34320 kB
Cached:         571604 kB
SwapCached:        568 kB
Active:          56512 kB
Inactive:       551584 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        405140 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15532 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:48:04 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 27452 7 1175.05 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 1200 variables and 100 constraints.
c After prepocess the problem consists of 1200 variables and 100 constraints.
c preprocess terminated 0.352 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.69 1/54 11665
Raw data (stat): 11665 (runsolver) R 11664 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891184874 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.69 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 2448 0 0 0 988 9 0 0 25 0 1 0 891184874 13168640 2366 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2366 1111 63 0 3152 0
vsize: 12860
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.95 0.69 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 3627 0 0 0 1985 13 0 0 25 0 1 0 891184874 17907712 3545 4294967295 134512640 134716908 3221224576 3221223280 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4372 3545 1111 63 0 4309 0
vsize: 17488
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.70 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 4078 0 0 0 2982 15 0 0 25 0 1 0 891184874 19800064 3996 4294967295 134512640 134716908 3221224576 3221223164 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4834 3996 1111 63 0 4771 0
vsize: 19336
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.96 0.70 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 4713 0 0 0 3980 18 0 0 25 0 1 0 891184874 22368256 4631 4294967295 134512640 134716908 3221224576 3221223228 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5461 4631 1111 63 0 5398 0
vsize: 21844
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.70 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5076 0 0 0 4978 20 0 0 25 0 1 0 891184874 23842816 4994 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4994 1111 63 0 5758 0
vsize: 23284
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.70 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5360 0 0 0 5976 22 0 0 25 0 1 0 891184874 25059328 5278 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6118 5278 1111 63 0 6055 0
vsize: 24472
[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.71 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5549 0 0 0 6975 23 0 0 25 0 1 0 891184874 25870336 5467 4294967295 134512640 134716908 3221224576 3221223152 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6316 5467 1111 63 0 6253 0
vsize: 25264
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5787 0 0 0 7974 25 0 0 25 0 1 0 891184874 26816512 5705 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6547 5705 1111 63 0 6484 0
vsize: 26188
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5949 0 0 0 8973 26 0 0 25 0 1 0 891184874 27488256 5867 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 5867 1111 63 0 6648 0
vsize: 26844
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.72 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 6199 0 0 0 9971 27 0 0 25 0 1 0 891184874 28569600 6117 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6975 6117 1111 63 0 6912 0
vsize: 27900
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.72 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 6530 0 0 0 10970 29 0 0 25 0 1 0 891184874 29913088 6448 4294967295 134512640 134716908 3221224576 3221223132 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7303 6448 1111 63 0 7240 0
vsize: 29212
[startup+120.006 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 6849 0 0 0 11968 31 0 0 25 0 1 0 891184874 31129600 6767 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7600 6767 1111 63 0 7537 0
vsize: 30400
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 7219 0 0 0 12967 33 0 0 25 0 1 0 891184874 32735232 7137 4294967295 134512640 134716908 3221224576 3221223280 134524402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7992 7137 1111 63 0 7929 0
vsize: 31968
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 7383 0 0 0 13966 34 0 0 25 0 1 0 891184874 33411072 7301 4294967295 134512640 134716908 3221224576 3221223264 134528712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 7301 1111 63 0 8094 0
vsize: 32628
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 7649 0 0 0 14965 35 0 0 25 0 1 0 891184874 34525184 7567 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8429 7567 1111 63 0 8366 0
vsize: 33716
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 7832 0 0 0 15963 37 0 0 25 0 1 0 891184874 35209216 7750 4294967295 134512640 134716908 3221224576 3221223300 134591841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8596 7750 1111 63 0 8533 0
vsize: 34384
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8005 0 0 0 16963 37 0 0 25 0 1 0 891184874 35885056 7923 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 7923 1111 63 0 8698 0
vsize: 35044
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8182 0 0 0 17961 39 0 0 25 0 1 0 891184874 36696064 8100 4294967295 134512640 134716908 3221224576 3221223228 134536769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8959 8100 1111 63 0 8896 0
vsize: 35836
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8339 0 0 0 18960 40 0 0 25 0 1 0 891184874 37363712 8257 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9122 8257 1111 63 0 9059 0
vsize: 36488
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8480 0 0 0 19959 42 0 0 25 0 1 0 891184874 37904384 8398 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9254 8398 1111 63 0 9191 0
vsize: 37016
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8834 0 0 0 20958 43 0 0 25 0 1 0 891184874 39391232 8752 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9617 8752 1111 63 0 9554 0
vsize: 38468
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9115 0 0 0 21956 45 0 0 25 0 1 0 891184874 40607744 9033 4294967295 134512640 134716908 3221224576 3221223292 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9914 9033 1111 63 0 9851 0
vsize: 39656
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9230 0 0 0 22955 46 0 0 25 0 1 0 891184874 41013248 9148 4294967295 134512640 134716908 3221224576 3221223208 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10013 9148 1111 63 0 9950 0
vsize: 40052
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9303 0 0 0 23955 47 0 0 25 0 1 0 891184874 41283584 9221 4294967295 134512640 134716908 3221224576 3221223324 134551637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10079 9221 1111 63 0 10016 0
vsize: 40316
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9501 0 0 0 24954 48 0 0 25 0 1 0 891184874 42094592 9419 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10277 9419 1111 63 0 10214 0
vsize: 41108
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9768 0 0 0 25952 50 0 0 25 0 1 0 891184874 43175936 9686 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10541 9686 1111 63 0 10478 0
vsize: 42164
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9953 0 0 0 26951 51 0 0 25 0 1 0 891184874 43986944 9871 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10739 9871 1111 63 0 10676 0
vsize: 42956
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10137 0 0 0 27950 52 0 0 25 0 1 0 891184874 44662784 10055 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10904 10055 1111 63 0 10841 0
vsize: 43616
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10314 0 0 0 28949 54 0 0 25 0 1 0 891184874 45473792 10232 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11102 10232 1111 63 0 11039 0
vsize: 44408
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10434 0 0 0 29948 55 0 0 25 0 1 0 891184874 46030848 10352 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11238 10352 1111 63 0 11175 0
vsize: 44952
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10522 0 0 0 30947 56 0 0 25 0 1 0 891184874 46301184 10440 4294967295 134512640 134716908 3221224576 3221223328 134592373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11304 10440 1111 63 0 11241 0
vsize: 45216
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10655 0 0 0 31945 58 0 0 25 0 1 0 891184874 46833664 10573 4294967295 134512640 134716908 3221224576 3221223136 134549730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11434 10573 1111 63 0 11371 0
vsize: 45736
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10766 0 0 0 32945 59 0 0 25 0 1 0 891184874 47374336 10684 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11566 10684 1111 63 0 11503 0
vsize: 46264
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10842 0 0 0 33944 59 0 0 25 0 1 0 891184874 47640576 10760 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11631 10760 1111 63 0 11568 0
vsize: 46524
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10878 0 0 0 34943 60 0 0 25 0 1 0 891184874 47775744 10796 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11664 10796 1111 63 0 11601 0
vsize: 46656
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10955 0 0 0 35943 61 0 0 25 0 1 0 891184874 48046080 10873 4294967295 134512640 134716908 3221224576 3221223068 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11730 10873 1111 63 0 11667 0
vsize: 46920
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 11098 0 0 0 36942 62 0 0 25 0 1 0 891184874 48717824 11016 4294967295 134512640 134716908 3221224576 3221223144 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11894 11016 1111 63 0 11831 0
vsize: 47576
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 11323 0 0 0 37940 64 0 0 25 0 1 0 891184874 49659904 11241 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12124 11241 1111 63 0 12061 0
vsize: 48496
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 11598 0 0 0 38938 66 0 0 25 0 1 0 891184874 50737152 11516 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12387 11516 1111 63 0 12324 0
vsize: 49548
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 11824 0 0 0 39937 68 0 0 25 0 1 0 891184874 51683328 11742 4294967295 134512640 134716908 3221224576 3221223288 134551881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12618 11742 1111 63 0 12555 0
vsize: 50472
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12015 0 0 0 40935 70 0 0 25 0 1 0 891184874 52482048 11933 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12813 11933 1111 63 0 12750 0
vsize: 51252
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12162 0 0 0 41933 72 0 0 25 0 1 0 891184874 53018624 12080 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12944 12080 1111 63 0 12881 0
vsize: 51776
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12281 0 0 0 42932 73 0 0 25 0 1 0 891184874 53559296 12199 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13076 12199 1111 63 0 13013 0
vsize: 52304
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12395 0 0 0 43932 73 0 0 25 0 1 0 891184874 54099968 12313 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13208 12313 1111 63 0 13145 0
vsize: 52832
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12707 0 0 0 44930 75 0 0 25 0 1 0 891184874 55336960 12625 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13510 12625 1111 63 0 13447 0
vsize: 54040
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 13107 0 0 0 45929 77 0 0 25 0 1 0 891184874 56958976 13025 4294967295 134512640 134716908 3221224576 3221223228 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 13025 1111 63 0 13843 0
vsize: 55624
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 13297 0 0 0 46928 78 0 0 25 0 1 0 891184874 57769984 13215 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14104 13215 1111 63 0 14041 0
vsize: 56416
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 13444 0 0 0 47927 79 0 0 25 0 1 0 891184874 58429440 13362 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14265 13362 1111 63 0 14202 0
vsize: 57060
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 13564 0 0 0 48927 79 0 0 25 0 1 0 891184874 58834944 13482 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14364 13482 1111 63 0 14301 0
vsize: 57456
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14338 0 0 0 49924 82 0 0 25 0 1 0 891184874 62078976 14256 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15156 14256 1111 63 0 15093 0
vsize: 60624
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14593 0 0 0 50922 84 0 0 25 0 1 0 891184874 63160320 14511 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15420 14511 1111 63 0 15357 0
vsize: 61680
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14792 0 0 0 51921 86 0 0 25 0 1 0 891184874 63971328 14710 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15618 14710 1111 63 0 15555 0
vsize: 62472
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14907 0 0 0 52919 88 0 0 25 0 1 0 891184874 64376832 14825 4294967295 134512640 134716908 3221224576 3221223136 134549730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15717 14825 1111 63 0 15654 0
vsize: 62868
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14984 0 0 0 53919 88 0 0 25 0 1 0 891184874 64782336 14902 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15816 14902 1111 63 0 15753 0
vsize: 63264
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 15362 0 0 0 54917 90 0 0 25 0 1 0 891184874 66269184 15280 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16179 15280 1111 63 0 16116 0
vsize: 64716
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 15701 0 0 0 55916 92 0 0 25 0 1 0 891184874 67620864 15619 4294967295 134512640 134716908 3221224576 3221223208 134552678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16509 15619 1111 63 0 16446 0
vsize: 66036
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 15900 0 0 0 56915 93 0 0 25 0 1 0 891184874 68431872 15818 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16707 15818 1111 63 0 16644 0
vsize: 66828
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16026 0 0 0 57914 94 0 0 25 0 1 0 891184874 68972544 15944 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16839 15944 1111 63 0 16776 0
vsize: 67356
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16172 0 0 0 58913 96 0 0 25 0 1 0 891184874 69668864 16088 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17009 16088 1111 63 0 16946 0
vsize: 68036
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16409 0 0 0 59911 97 0 0 25 0 1 0 891184874 70615040 16325 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17240 16325 1111 63 0 17177 0
vsize: 68960
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16525 0 0 0 60911 97 0 0 25 0 1 0 891184874 71020544 16441 4294967295 134512640 134716908 3221224576 3221223360 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17339 16441 1111 63 0 17276 0
vsize: 69356
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16610 0 0 0 61911 98 0 0 25 0 1 0 891184874 71426048 16526 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17438 16526 1111 63 0 17375 0
vsize: 69752
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16734 0 0 0 62910 99 0 0 25 0 1 0 891184874 71966720 16650 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17570 16650 1111 63 0 17507 0
vsize: 70280
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16834 0 0 0 63909 100 0 0 25 0 1 0 891184874 72372224 16750 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17669 16750 1111 63 0 17606 0
vsize: 70676
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16974 0 0 0 64909 101 0 0 25 0 1 0 891184874 72912896 16890 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17801 16890 1111 63 0 17738 0
vsize: 71204
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17150 0 0 0 65908 102 0 0 25 0 1 0 891184874 73584640 17066 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17965 17066 1111 63 0 17902 0
vsize: 71860
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17275 0 0 0 66907 103 0 0 25 0 1 0 891184874 74129408 17191 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18098 17191 1111 63 0 18035 0
vsize: 72392
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17440 0 0 0 67906 104 0 0 25 0 1 0 891184874 74805248 17356 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18263 17356 1111 63 0 18200 0
vsize: 73052
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17583 0 0 0 68905 105 0 0 25 0 1 0 891184874 75345920 17499 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18395 17499 1111 63 0 18332 0
vsize: 73580
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17675 0 0 0 69904 106 0 0 25 0 1 0 891184874 75751424 17591 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18494 17591 1111 63 0 18431 0
vsize: 73976
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17756 0 0 0 70904 107 0 0 25 0 1 0 891184874 76156928 17672 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18593 17672 1111 63 0 18530 0
vsize: 74372
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17869 0 0 0 71903 108 0 0 25 0 1 0 891184874 76562432 17785 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18692 17785 1111 63 0 18629 0
vsize: 74768
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17936 0 0 0 72902 109 0 0 25 0 1 0 891184874 76832768 17852 4294967295 134512640 134716908 3221224576 3221223272 134552678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18758 17852 1111 63 0 18695 0
vsize: 75032
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17985 0 0 0 73901 110 0 0 25 0 1 0 891184874 77103104 17901 4294967295 134512640 134716908 3221224576 3221223336 134552570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18824 17901 1111 63 0 18761 0
vsize: 75296
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18031 0 0 0 74901 111 0 0 25 0 1 0 891184874 77238272 17947 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18857 17947 1111 63 0 18794 0
vsize: 75428
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18141 0 0 0 75901 111 0 0 25 0 1 0 891184874 77643776 18057 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18956 18057 1111 63 0 18893 0
vsize: 75824
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18332 0 0 0 76900 112 0 0 25 0 1 0 891184874 78454784 18248 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19154 18248 1111 63 0 19091 0
vsize: 76616
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18472 0 0 0 77899 113 0 0 25 0 1 0 891184874 78987264 18388 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19284 18388 1111 63 0 19221 0
vsize: 77136
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18686 0 0 0 78898 115 0 0 25 0 1 0 891184874 79937536 18602 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19516 18602 1111 63 0 19453 0
vsize: 78064
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18778 0 0 0 79897 116 0 0 25 0 1 0 891184874 80347136 18694 4294967295 134512640 134716908 3221224576 3221222812 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19616 18694 1111 63 0 19553 0
vsize: 78464
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18926 0 0 0 80896 118 0 0 25 0 1 0 891184874 80879616 18842 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19746 18842 1111 63 0 19683 0
vsize: 78984
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19002 0 0 0 81895 119 0 0 25 0 1 0 891184874 81285120 18918 4294967295 134512640 134716908 3221224576 3221223164 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19845 18918 1111 63 0 19782 0
vsize: 79380
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19052 0 0 0 82895 119 0 0 25 0 1 0 891184874 81420288 18968 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19878 18968 1111 63 0 19815 0
vsize: 79512
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19136 0 0 0 83894 120 0 0 25 0 1 0 891184874 81833984 19052 4294967295 134512640 134716908 3221224576 3221222988 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19979 19052 1111 63 0 19916 0
vsize: 79916
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19255 0 0 0 84893 121 0 0 25 0 1 0 891184874 82235392 19171 4294967295 134512640 134716908 3221224576 3221223344 134529113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20077 19171 1111 63 0 20014 0
vsize: 80308
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19321 0 0 0 85893 122 0 0 25 0 1 0 891184874 82505728 19237 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20143 19237 1111 63 0 20080 0
vsize: 80572
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19409 0 0 0 86892 122 0 0 25 0 1 0 891184874 82911232 19325 4294967295 134512640 134716908 3221224576 3221223208 134698681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20242 19325 1111 63 0 20179 0
vsize: 80968
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19470 0 0 0 87892 123 0 0 25 0 1 0 891184874 83181568 19386 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20308 19386 1111 63 0 20245 0
vsize: 81232
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19504 0 0 0 88892 123 0 0 25 0 1 0 891184874 83316736 19420 4294967295 134512640 134716908 3221224576 3221223280 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20341 19420 1111 63 0 20278 0
vsize: 81364
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19580 0 0 0 89891 124 0 0 25 0 1 0 891184874 83587072 19496 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20407 19496 1111 63 0 20344 0
vsize: 81628
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19666 0 0 0 90890 125 0 0 25 0 1 0 891184874 83992576 19582 4294967295 134512640 134716908 3221224576 3221223292 134698760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20506 19582 1111 63 0 20443 0
vsize: 82024
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19772 0 0 0 91890 126 0 0 25 0 1 0 891184874 84398080 19688 4294967295 134512640 134716908 3221224576 3221223332 134655223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20605 19688 1111 63 0 20542 0
vsize: 82420
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19820 0 0 0 92890 126 0 0 25 0 1 0 891184874 84533248 19736 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20638 19736 1111 63 0 20575 0
vsize: 82552
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19863 0 0 0 93889 127 0 0 25 0 1 0 891184874 84803584 19779 4294967295 134512640 134716908 3221224576 3221223152 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20704 19779 1111 63 0 20641 0
vsize: 82816
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19925 0 0 0 94889 127 0 0 25 0 1 0 891184874 85073920 19841 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20770 19841 1111 63 0 20707 0
vsize: 83080
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20050 0 0 0 95888 128 0 0 25 0 1 0 891184874 85479424 19966 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20869 19966 1111 63 0 20806 0
vsize: 83476
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20172 0 0 0 96887 129 0 0 25 0 1 0 891184874 86020096 20087 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21001 20087 1111 63 0 20938 0
vsize: 84004
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20216 0 0 0 97887 130 0 0 25 0 1 0 891184874 86155264 20131 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21034 20131 1111 63 0 20971 0
vsize: 84136
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20243 0 0 0 98886 130 0 0 25 0 1 0 891184874 86286336 20158 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21066 20158 1111 63 0 21003 0
vsize: 84264
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20299 0 0 0 99886 131 0 0 25 0 1 0 891184874 86556672 20214 4294967295 134512640 134716908 3221224576 3221223256 134552633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21132 20214 1111 63 0 21069 0
vsize: 84528
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20342 0 0 0 100886 131 0 0 25 0 1 0 891184874 86691840 20257 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21165 20257 1111 63 0 21102 0
vsize: 84660
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20455 0 0 0 101885 132 0 0 25 0 1 0 891184874 87232512 20370 4294967295 134512640 134716908 3221224576 3221223344 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21297 20370 1111 63 0 21234 0
vsize: 85188
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20496 0 0 0 102885 133 0 0 25 0 1 0 891184874 87367680 20411 4294967295 134512640 134716908 3221224576 3221223260 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21330 20411 1111 63 0 21267 0
vsize: 85320
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20549 0 0 0 103884 133 0 0 25 0 1 0 891184874 87502848 20464 4294967295 134512640 134716908 3221224576 3221223064 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21363 20464 1111 63 0 21300 0
vsize: 85452
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20607 0 0 0 104884 134 0 0 25 0 1 0 891184874 87773184 20522 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21429 20522 1111 63 0 21366 0
vsize: 85716
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20644 0 0 0 105884 134 0 0 25 0 1 0 891184874 87908352 20559 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21462 20559 1111 63 0 21399 0
vsize: 85848
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20804 0 0 0 106882 136 0 0 25 0 1 0 891184874 88584192 20719 4294967295 134512640 134716908 3221224576 3221223360 134528840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21627 20719 1111 63 0 21564 0
vsize: 86508
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20929 0 0 0 107882 137 0 0 25 0 1 0 891184874 89120768 20844 4294967295 134512640 134716908 3221224576 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21758 20844 1111 63 0 21695 0
vsize: 87032
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21067 0 0 0 108881 137 0 0 25 0 1 0 891184874 89698304 20982 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21899 20982 1111 63 0 21836 0
vsize: 87596
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21242 0 0 0 109881 138 0 0 25 0 1 0 891184874 90374144 21157 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22064 21157 1111 63 0 22001 0
vsize: 88256
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21414 0 0 0 110880 139 0 0 25 0 1 0 891184874 91185152 21329 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22262 21329 1111 63 0 22199 0
vsize: 89048
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21534 0 0 0 111880 140 0 0 25 0 1 0 891184874 91725824 21449 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22394 21449 1111 63 0 22331 0
vsize: 89576
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21610 0 0 0 112879 140 0 0 25 0 1 0 891184874 91996160 21525 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22460 21525 1111 63 0 22397 0
vsize: 89840
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21763 0 0 0 113879 141 0 0 25 0 1 0 891184874 92672000 21678 4294967295 134512640 134716908 3221224576 3221223320 134551624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22625 21678 1111 63 0 22562 0
vsize: 90500
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21929 0 0 0 114878 142 0 0 25 0 1 0 891184874 93347840 21844 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22790 21844 1111 63 0 22727 0
vsize: 91160
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 22040 0 0 0 115877 143 0 0 25 0 1 0 891184874 93753344 21955 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22889 21955 1111 63 0 22826 0
vsize: 91556
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 22187 0 0 0 116877 144 0 0 25 0 1 0 891184874 94294016 22102 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23021 22102 1111 63 0 22958 0
vsize: 92084
[startup+1174.89 s]
Raw data (loadavg): 0.99 0.97 0.87 1/53 11665
Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 22187 0 0 0 116877 144 0 0 25 0 1 0 891184874 94294016 22102 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23021 22102 1111 63 0 22958 0
vsize: 0

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