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_20_pb.cnf.cr.opb
MD5SUM	ce39bf71367df072c91f9b7587480c93
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	21
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.017996
Number of variables	600
Total number of constraints	70
Number of constraints which are clauses	40
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	20
Trace number 39382

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 07:12:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27448 boxname=wulflinc6 idbench=6 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ce39bf71367df072c91f9b7587480c93  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl15_20_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl15_20_pb.cnf.cr.opb
IDLAUNCH: 27448
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        257812 kB
Buffers:         33796 kB
Cached:         720536 kB
SwapCached:        536 kB
Active:          56676 kB
Inactive:       699752 kB
HighTotal:      131008 kB
HighFree:        17248 kB
LowTotal:       903652 kB
LowFree:        240564 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            14872 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:32:07 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 27448 7 1175.17 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 600 variables and 70 constraints.
c After prepocess the problem consists of 600 variables and 70 constraints.
c preprocess terminated 0.156 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.08 0.02 0.01 2/54 11395
Raw data (stat): 11395 (runsolver) R 11394 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891097582 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.0013 s]
Raw data (loadavg): 0.22 0.05 0.02 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 3314 0 15 0 950 12 0 0 25 0 1 0 891097582 16699392 3247 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4077 3247 1111 63 0 4014 0
vsize: 16308
[startup+20.0025 s]
Raw data (loadavg): 0.34 0.08 0.02 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 4602 0 15 0 1946 17 0 0 25 0 1 0 891097582 22118400 4535 4294967295 134512640 134716908 3221224576 3221223216 134698456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5400 4535 1111 63 0 5337 0
vsize: 21600
[startup+30.0032 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 6378 0 15 0 2940 23 0 0 25 0 1 0 891097582 29417472 6310 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7182 6310 1111 63 0 7119 0
vsize: 28728
[startup+40.0038 s]
Raw data (loadavg): 0.53 0.14 0.04 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 7665 0 15 0 3935 28 0 0 25 0 1 0 891097582 34709504 7597 4294967295 134512640 134716908 3221224576 3221223188 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8474 7597 1111 63 0 8411 0
vsize: 33896
[startup+50.0049 s]
Raw data (loadavg): 0.60 0.17 0.05 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 8775 0 15 0 4931 33 0 0 25 0 1 0 891097582 39174144 8707 4294967295 134512640 134716908 3221224576 3221223340 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9564 8707 1111 63 0 9501 0
vsize: 38256
[startup+60.0046 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 9755 0 15 0 5928 36 0 0 25 0 1 0 891097582 43229184 9686 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10554 9686 1111 63 0 10491 0
vsize: 42216
[startup+70.0052 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 10538 0 15 0 6924 40 0 0 25 0 1 0 891097582 46497792 10469 4294967295 134512640 134716908 3221224576 3221223168 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11352 10469 1111 63 0 11289 0
vsize: 45408
[startup+80.0063 s]
Raw data (loadavg): 0.76 0.24 0.08 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 11190 0 15 0 7923 42 0 0 25 0 1 0 891097582 49217536 11120 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12016 11120 1111 63 0 11953 0
vsize: 48064
[startup+90.006 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 11793 0 15 0 8921 44 0 0 25 0 1 0 891097582 51662848 11721 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12613 11721 1111 63 0 12550 0
vsize: 50452
[startup+100.006 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 12321 0 15 0 9920 46 0 0 25 0 1 0 891097582 53874688 12248 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13153 12248 1111 63 0 13090 0
vsize: 52612
[startup+110.007 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 12858 0 15 0 10918 48 0 0 25 0 1 0 891097582 56201216 12782 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13721 12782 1111 63 0 13658 0
vsize: 54884
[startup+120.008 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 13291 0 15 0 11917 49 0 0 25 0 1 0 891097582 58097664 13213 4294967295 134512640 134716908 3221224576 3221223312 134535829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14184 13213 1111 63 0 14121 0
vsize: 56736
[startup+130.008 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 13573 0 15 0 12917 50 0 0 25 0 1 0 891097582 59314176 13493 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14481 13493 1111 63 0 14418 0
vsize: 57924
[startup+140.008 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 14547 0 15 0 13915 52 0 0 25 0 1 0 891097582 63234048 14467 4294967295 134512640 134716908 3221224576 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15438 14467 1111 63 0 15375 0
vsize: 61752
[startup+150.009 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 15676 0 15 0 14910 58 0 0 25 0 1 0 891097582 67903488 15594 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16578 15594 1111 63 0 16515 0
vsize: 66312
[startup+160.009 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 16328 0 15 0 15907 60 0 0 25 0 1 0 891097582 70606848 16244 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17238 16244 1111 63 0 17175 0
vsize: 68952
[startup+170.01 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 17668 0 15 0 16903 65 0 0 25 0 1 0 891097582 76165120 17584 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18595 17584 1111 63 0 18532 0
vsize: 74380
[startup+180.01 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 18558 0 15 0 17900 69 0 0 25 0 1 0 891097582 79818752 18474 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19487 18474 1111 63 0 19424 0
vsize: 77948
[startup+190.011 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 19254 0 15 0 18898 71 0 0 25 0 1 0 891097582 82698240 19170 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20190 19170 1111 63 0 20127 0
vsize: 80760
[startup+200.011 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 20064 0 15 0 19894 75 0 0 25 0 1 0 891097582 85979136 19977 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20991 19977 1111 63 0 20928 0
vsize: 83964
[startup+210.011 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 20869 0 15 0 20891 78 0 0 25 0 1 0 891097582 89370624 20781 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21819 20781 1111 63 0 21756 0
vsize: 87276
[startup+220.011 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 21341 0 15 0 21890 80 0 0 25 0 1 0 891097582 91336704 21249 4294967295 134512640 134716908 3221224576 3221223232 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22299 21249 1111 63 0 22236 0
vsize: 89196
[startup+230.011 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 21953 0 15 0 22888 82 0 0 25 0 1 0 891097582 93827072 21858 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22907 21858 1111 63 0 22844 0
vsize: 91628
[startup+240.012 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 22435 0 15 0 23886 85 0 0 25 0 1 0 891097582 95854592 22340 4294967295 134512640 134716908 3221224576 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23402 22340 1111 63 0 23339 0
vsize: 93608
[startup+250.011 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 22900 0 15 0 24884 87 0 0 25 0 1 0 891097582 97751040 22805 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23865 22805 1111 63 0 23802 0
vsize: 95460
[startup+260.012 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 23404 0 15 0 25883 89 0 0 25 0 1 0 891097582 99790848 23307 4294967295 134512640 134716908 3221224576 3221223032 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24363 23308 1111 63 0 24300 0
vsize: 97452
[startup+270.012 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 24003 0 15 0 26882 90 0 0 25 0 1 0 891097582 102313984 23900 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24979 23900 1111 63 0 24916 0
vsize: 99916
[startup+280.012 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 24341 0 15 0 27881 91 0 0 25 0 1 0 891097582 103718912 24238 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25322 24238 1111 63 0 25259 0
vsize: 101288
[startup+290.012 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 24627 0 15 0 28881 91 0 0 25 0 1 0 891097582 105017344 24522 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25639 24522 1111 63 0 25576 0
vsize: 102556
[startup+300.012 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 24942 0 15 0 29879 93 0 0 25 0 1 0 891097582 106426368 24836 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25983 24836 1111 63 0 25920 0
vsize: 103932
[startup+310.013 s]
Raw data (loadavg): 0.99 0.64 0.28 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 26233 0 15 0 30876 97 0 0 25 0 1 0 891097582 111718400 26126 4294967295 134512640 134716908 3221224576 3221223264 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27275 26126 1111 63 0 27212 0
vsize: 109100
[startup+320.013 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 27320 0 15 0 31872 101 0 0 25 0 1 0 891097582 116183040 27212 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28365 27212 1111 63 0 28302 0
vsize: 113460
[startup+330.014 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 28067 0 15 0 32869 105 0 0 25 0 1 0 891097582 119291904 27959 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29124 27959 1111 63 0 29061 0
vsize: 116496
[startup+340.014 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 28630 0 15 0 33867 107 0 0 25 0 1 0 891097582 121593856 28522 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29686 28522 1111 63 0 29623 0
vsize: 118744
[startup+350.014 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 29244 0 15 0 34865 110 0 0 25 0 1 0 891097582 124088320 29132 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30295 29132 1111 63 0 30232 0
vsize: 121180
[startup+360.015 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 29986 0 15 0 35863 112 0 0 25 0 1 0 891097582 127062016 29874 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31021 29874 1111 63 0 30958 0
vsize: 124084
[startup+370.016 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 30491 0 15 0 36861 115 0 0 25 0 1 0 891097582 129110016 30379 4294967295 134512640 134716908 3221224576 3221223072 134535335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31521 30379 1111 63 0 31458 0
vsize: 126084
[startup+380.016 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 30895 0 15 0 37859 117 0 0 25 0 1 0 891097582 130899968 30783 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31958 30783 1111 63 0 31895 0
vsize: 127832
[startup+390.016 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 31465 0 15 0 38856 120 0 0 25 0 1 0 891097582 133197824 31353 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32519 31353 1111 63 0 32456 0
vsize: 130076
[startup+400.016 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 31792 0 15 0 39855 121 0 0 25 0 1 0 891097582 134418432 31680 4294967295 134512640 134716908 3221224576 3221223244 134536852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32817 31680 1111 63 0 32754 0
vsize: 131268
[startup+410.016 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 32168 0 15 0 40854 123 0 0 25 0 1 0 891097582 135962624 32053 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33194 32053 1111 63 0 33131 0
vsize: 132776
[startup+420.016 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 32482 0 15 0 41853 124 0 0 25 0 1 0 891097582 137314304 32367 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33524 32367 1111 63 0 33461 0
vsize: 134096
[startup+430.017 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 32912 0 15 0 42852 126 0 0 25 0 1 0 891097582 139071488 32797 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33953 32797 1111 63 0 33890 0
vsize: 135812
[startup+440.018 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 33274 0 15 0 43850 128 0 0 25 0 1 0 891097582 140533760 33147 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34310 33147 1111 63 0 34247 0
vsize: 137240
[startup+450.017 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 33587 0 15 0 44850 128 0 0 25 0 1 0 891097582 141955072 33459 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34657 33459 1111 63 0 34594 0
vsize: 138628
[startup+460.018 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 33915 0 15 0 45849 130 0 0 25 0 1 0 891097582 143302656 33783 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34986 33783 1111 63 0 34923 0
vsize: 139944
[startup+470.018 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 34177 0 15 0 46848 131 0 0 25 0 1 0 891097582 144424960 34045 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35260 34045 1111 63 0 35197 0
vsize: 141040
[startup+480.018 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 34375 0 15 0 47847 132 0 0 25 0 1 0 891097582 145268736 34243 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35466 34243 1111 63 0 35403 0
vsize: 141864
[startup+490.019 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 34538 0 15 0 48847 133 0 0 25 0 1 0 891097582 145838080 34406 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35605 34406 1111 63 0 35542 0
vsize: 142420
[startup+500.019 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 35172 0 15 0 49846 134 0 0 25 0 1 0 891097582 148680704 35032 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36299 35032 1111 63 0 36236 0
vsize: 145196
[startup+510.019 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 35915 0 15 0 50844 136 0 0 25 0 1 0 891097582 151789568 35775 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37058 35775 1111 63 0 36995 0
vsize: 148232
[startup+520.02 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 36373 0 15 0 51842 139 0 0 25 0 1 0 891097582 153587712 36229 4294967295 134512640 134716908 3221224576 3221223232 134536716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37497 36229 1111 63 0 37434 0
vsize: 149988
[startup+530.021 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 36681 0 15 0 52842 139 0 0 25 0 1 0 891097582 154804224 36537 4294967295 134512640 134716908 3221224576 3221223164 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37794 36537 1111 63 0 37731 0
vsize: 151176
[startup+540.021 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 37355 0 15 0 53840 142 0 0 25 0 1 0 891097582 157708288 37207 4294967295 134512640 134716908 3221224576 3221223340 134552579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38503 37207 1111 63 0 38440 0
vsize: 154012
[startup+550.021 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 37754 0 15 0 54838 144 0 0 25 0 1 0 891097582 159330304 37606 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38899 37606 1111 63 0 38836 0
vsize: 155596
[startup+560.022 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 38013 0 15 0 55838 145 0 0 25 0 1 0 891097582 160477184 37856 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39179 37856 1111 63 0 39116 0
vsize: 156716
[startup+570.022 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 38271 0 15 0 56837 145 0 0 25 0 1 0 891097582 161558528 38114 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39443 38114 1111 63 0 39380 0
vsize: 157772
[startup+580.023 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 38647 0 15 0 57836 147 0 0 25 0 1 0 891097582 163045376 38490 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39806 38490 1111 63 0 39743 0
vsize: 159224
[startup+590.024 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 38966 0 15 0 58835 148 0 0 25 0 1 0 891097582 164261888 38809 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40103 38809 1111 63 0 40040 0
vsize: 160412
[startup+600.024 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 39341 0 15 0 59834 150 0 0 25 0 1 0 891097582 165748736 39184 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40466 39184 1111 63 0 40403 0
vsize: 161864
[startup+610.024 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 39613 0 15 0 60833 151 0 0 25 0 1 0 891097582 166920192 39455 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40752 39455 1111 63 0 40689 0
vsize: 163008
[startup+620.024 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 39916 0 15 0 61832 152 0 0 25 0 1 0 891097582 168136704 39758 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41049 39758 1111 63 0 40986 0
vsize: 164196
[startup+630.025 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 40204 0 15 0 62831 154 0 0 25 0 1 0 891097582 169422848 40045 4294967295 134512640 134716908 3221224576 3221223168 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41363 40045 1111 63 0 41300 0
vsize: 165452
[startup+640.026 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 40493 0 15 0 63831 155 0 0 25 0 1 0 891097582 170549248 40333 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41638 40333 1111 63 0 41575 0
vsize: 166552
[startup+650.026 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 40836 0 15 0 64830 156 0 0 25 0 1 0 891097582 172118016 40673 4294967295 134512640 134716908 3221224576 3221223536 134576504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42021 40673 1111 63 0 41958 0
vsize: 168084
[startup+660.027 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 41326 0 15 0 65829 158 0 0 25 0 1 0 891097582 174202880 41159 4294967295 134512640 134716908 3221224576 3221223032 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42530 41159 1111 63 0 42467 0
vsize: 170120
[startup+670.027 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 41601 0 15 0 66828 159 0 0 25 0 1 0 891097582 175284224 41434 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42794 41434 1111 63 0 42731 0
vsize: 171176
[startup+680.027 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 42016 0 15 0 67827 160 0 0 25 0 1 0 891097582 177106944 41848 4294967295 134512640 134716908 3221224576 3221223168 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43239 41848 1111 63 0 43176 0
vsize: 172956
[startup+690.027 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 42304 0 15 0 68827 160 0 0 25 0 1 0 891097582 178397184 42127 4294967295 134512640 134716908 3221224576 3221223132 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43554 42127 1111 63 0 43491 0
vsize: 174216
[startup+700.029 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 42563 0 15 0 69826 162 0 0 25 0 1 0 891097582 179343360 42386 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43785 42386 1111 63 0 43722 0
vsize: 175140
[startup+710.029 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 42837 0 15 0 70825 163 0 0 25 0 1 0 891097582 180424704 42660 4294967295 134512640 134716908 3221224576 3221223228 134536823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44049 42660 1111 63 0 43986 0
vsize: 176196
[startup+720.029 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 43108 0 15 0 71824 164 0 0 25 0 1 0 891097582 181542912 42929 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44322 42929 1111 63 0 44259 0
vsize: 177288
[startup+730.03 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 43373 0 15 0 72824 165 0 0 25 0 1 0 891097582 182624256 43194 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44586 43194 1111 63 0 44523 0
vsize: 178344
[startup+740.03 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 43668 0 15 0 73823 167 0 0 25 0 1 0 891097582 183705600 43489 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44850 43489 1111 63 0 44787 0
vsize: 179400
[startup+750.03 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 43974 0 15 0 74822 167 0 0 25 0 1 0 891097582 184942592 43793 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45152 43793 1111 63 0 45089 0
vsize: 180608
[startup+760.03 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 44190 0 15 0 75822 168 0 0 25 0 1 0 891097582 185962496 44008 4294967295 134512640 134716908 3221224576 3221223060 134699567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45401 44008 1111 63 0 45338 0
vsize: 181604
[startup+770.032 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 44471 0 15 0 76822 169 0 0 25 0 1 0 891097582 187121664 44285 4294967295 134512640 134716908 3221224576 3221223360 134529296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45684 44285 1111 63 0 45621 0
vsize: 182736
[startup+780.032 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 44646 0 15 0 77821 169 0 0 25 0 1 0 891097582 187797504 44460 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45849 44460 1111 63 0 45786 0
vsize: 183396
[startup+790.032 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 44904 0 15 0 78820 171 0 0 25 0 1 0 891097582 188944384 44709 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46129 44709 1111 63 0 46066 0
vsize: 184516
[startup+800.033 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 45173 0 15 0 79820 171 0 0 25 0 1 0 891097582 190025728 44978 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46393 44978 1111 63 0 46330 0
vsize: 185572
[startup+810.033 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 45406 0 15 0 80819 172 0 0 25 0 1 0 891097582 190971904 45211 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46624 45211 1111 63 0 46561 0
vsize: 186496
[startup+820.033 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 45653 0 15 0 81819 173 0 0 25 0 1 0 891097582 191918080 45458 4294967295 134512640 134716908 3221224576 3221223228 134536845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46855 45458 1111 63 0 46792 0
vsize: 187420
[startup+830.034 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 45866 0 15 0 82818 174 0 0 25 0 1 0 891097582 192729088 45671 4294967295 134512640 134716908 3221224576 3221223168 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47053 45671 1111 63 0 46990 0
vsize: 188212
[startup+840.035 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 46084 0 15 0 83818 175 0 0 25 0 1 0 891097582 193675264 45889 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47284 45889 1111 63 0 47221 0
vsize: 189136
[startup+850.035 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 46257 0 15 0 84817 176 0 0 25 0 1 0 891097582 194400256 46062 4294967295 134512640 134716908 3221224576 3221223132 134535936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47461 46062 1111 63 0 47398 0
vsize: 189844
[startup+860.092 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 46401 0 15 0 85823 177 0 0 25 0 1 0 891097582 194822144 46206 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47564 46206 1111 63 0 47501 0
vsize: 190256
[startup+870.094 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 46670 0 15 0 86822 178 0 0 25 0 1 0 891097582 196050944 46470 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47864 46470 1111 63 0 47801 0
vsize: 191456
[startup+880.094 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 46840 0 15 0 87822 178 0 0 25 0 1 0 891097582 196755456 46640 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48036 46640 1111 63 0 47973 0
vsize: 192144
[startup+890.094 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 47106 0 15 0 88821 179 0 0 25 0 1 0 891097582 197775360 46897 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48285 46897 1111 63 0 48222 0
vsize: 193140
[startup+900.095 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 47278 0 15 0 89821 180 0 0 25 0 1 0 891097582 198586368 47069 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48483 47069 1111 63 0 48420 0
vsize: 193932
[startup+910.096 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 47504 0 15 0 90821 181 0 0 25 0 1 0 891097582 199397376 47295 4294967295 134512640 134716908 3221224576 3221223344 134529110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48681 47295 1111 63 0 48618 0
vsize: 194724
[startup+920.096 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 47707 0 15 0 91820 181 0 0 25 0 1 0 891097582 200273920 47498 4294967295 134512640 134716908 3221224576 3221223104 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48895 47498 1111 63 0 48832 0
vsize: 195580
[startup+930.096 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 47911 0 15 0 92819 183 0 0 25 0 1 0 891097582 201089024 47702 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49094 47702 1111 63 0 49031 0
vsize: 196376
[startup+940.097 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 48070 0 15 0 93819 183 0 0 25 0 1 0 891097582 201838592 47861 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49277 47861 1111 63 0 49214 0
vsize: 197108
[startup+950.098 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 48302 0 15 0 94819 184 0 0 25 0 1 0 891097582 202674176 48091 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49481 48091 1111 63 0 49418 0
vsize: 197924
[startup+960.098 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 48568 0 15 0 95818 185 0 0 25 0 1 0 891097582 203780096 48356 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49751 48356 1111 63 0 49688 0
vsize: 199004
[startup+970.1 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 48848 0 15 0 96818 186 0 0 25 0 1 0 891097582 204898304 48634 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50024 48634 1111 63 0 49961 0
vsize: 200096
[startup+980.1 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 49162 0 15 0 97816 188 0 0 25 0 1 0 891097582 206315520 48948 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50370 48948 1111 63 0 50307 0
vsize: 201480
[startup+990.101 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 49323 0 15 0 98816 188 0 0 25 0 1 0 891097582 206856192 49109 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50502 49109 1111 63 0 50439 0
vsize: 202008
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 49482 0 15 0 99816 189 0 0 25 0 1 0 891097582 207532032 49268 4294967295 134512640 134716908 3221224576 3221223280 134528732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50667 49268 1111 63 0 50604 0
vsize: 202668
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 49737 0 15 0 100815 190 0 0 25 0 1 0 891097582 208715776 49515 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50956 49515 1111 63 0 50893 0
vsize: 203824
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 49924 0 15 0 101815 191 0 0 25 0 1 0 891097582 209453056 49702 4294967295 134512640 134716908 3221224576 3221223196 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51136 49702 1111 63 0 51073 0
vsize: 204544
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 50141 0 15 0 102815 191 0 0 25 0 1 0 891097582 210399232 49919 4294967295 134512640 134716908 3221224576 3221223312 134523932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51367 49919 1111 63 0 51304 0
vsize: 205468
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 50338 0 15 0 103815 192 0 0 25 0 1 0 891097582 211320832 50114 4294967295 134512640 134716908 3221224576 3221223004 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51592 50115 1111 63 0 51529 0
vsize: 206368
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 50488 0 15 0 104815 192 0 0 25 0 1 0 891097582 211726336 50264 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51691 50264 1111 63 0 51628 0
vsize: 206764
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 50716 0 15 0 105814 193 0 0 25 0 1 0 891097582 212873216 50492 4294967295 134512640 134716908 3221224576 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51971 50492 1111 63 0 51908 0
vsize: 207884
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 50894 0 15 0 106813 194 0 0 25 0 1 0 891097582 213549056 50670 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52136 50670 1111 63 0 52073 0
vsize: 208544
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 51131 0 15 0 107813 195 0 0 25 0 1 0 891097582 214700032 50892 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52417 50892 1111 63 0 52354 0
vsize: 209668
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 51298 0 15 0 108813 196 0 0 25 0 1 0 891097582 215240704 51059 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52549 51059 1111 63 0 52486 0
vsize: 210196
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 51527 0 15 0 109812 197 0 0 25 0 1 0 891097582 216051712 51288 4294967295 134512640 134716908 3221224576 3221223344 134529157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52747 51288 1111 63 0 52684 0
vsize: 210988
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 51765 0 15 0 110812 198 0 0 25 0 1 0 891097582 217198592 51525 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53027 51525 1111 63 0 52964 0
vsize: 212108
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 51964 0 15 0 111811 199 0 0 25 0 1 0 891097582 218337280 51723 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53305 51723 1111 63 0 53242 0
vsize: 213220
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 52143 0 15 0 112811 199 0 0 25 0 1 0 891097582 218886144 51902 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53439 51902 1111 63 0 53376 0
vsize: 213756
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 52327 0 15 0 113811 200 0 0 25 0 1 0 891097582 219717632 52082 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53642 52082 1111 63 0 53579 0
vsize: 214568
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 52473 0 15 0 114811 201 0 0 25 0 1 0 891097582 220258304 52228 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53774 52228 1111 63 0 53711 0
vsize: 215096
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 52617 0 15 0 115810 201 0 0 25 0 1 0 891097582 220942336 52372 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53941 52372 1111 63 0 53878 0
vsize: 215764
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 52768 0 15 0 116810 202 0 0 25 0 1 0 891097582 221683712 52522 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54122 52522 1111 63 0 54059 0
vsize: 216488
[startup+1175.15 s]
Raw data (loadavg): 0.99 0.97 0.68 1/53 11395
Raw data (stat): 11395 (bsolo_lpr-v2) R 11394 25568 25567 0 -1 0 52768 0 15 0 116810 202 0 0 25 0 1 0 891097582 221683712 52522 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54122 52522 1111 63 0 54059 0
vsize: 0

Child status: 0
Real time (s): 1175.15
CPU time (s): 1175.17
CPU user time (s): 1173.04
CPU system time (s): 2.12568
CPU usage (%): 100.001
Max. virtual memory (Kb): 216488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####