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-fpga14_12_sat_pb.cnf.cr.opb
MD5SUM	a8b77e93664627ad0410220dcaf11219
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	15
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05899
Number of variables	252
Total number of constraints	206
Number of constraints which are clauses	180
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 39410

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 08:36:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27476 boxname=wulflinc6 idbench=34 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  a8b77e93664627ad0410220dcaf11219  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga14_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga14_12_sat_pb.cnf.cr.opb
IDLAUNCH: 27476
/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:        255100 kB
Buffers:         33892 kB
Cached:         723160 kB
SwapCached:        536 kB
Active:          58860 kB
Inactive:       700252 kB
HighTotal:      131008 kB
HighFree:        14056 kB
LowTotal:       903652 kB
LowFree:        241044 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            14716 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:55:43 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 27476 7 1175.1 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 252 variables and 206 constraints.
c After prepocess the problem consists of 252 variables and 206 constraints.
c preprocess terminated 0.138 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.90 2/54 12014
Raw data (stat): 12014 (runsolver) R 12013 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891599308 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.90 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 3008 0 0 0 987 10 0 0 25 0 1 0 891599308 15478784 2926 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3779 2926 1111 63 0 3716 0
vsize: 15116
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 4949 0 0 0 1979 18 0 0 25 0 1 0 891599308 23318528 4867 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5693 4867 1111 63 0 5630 0
vsize: 22772
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 6070 0 0 0 2976 22 0 0 25 0 1 0 891599308 27918336 5988 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6816 5988 1111 63 0 6753 0
vsize: 27264
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 7262 0 0 0 3972 26 0 0 25 0 1 0 891599308 32800768 7180 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8008 7180 1111 63 0 7945 0
vsize: 32032
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 8153 0 0 0 4970 29 0 0 25 0 1 0 891599308 36593664 8070 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8934 8070 1111 63 0 8871 0
vsize: 35736
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 8922 0 0 0 5967 32 0 0 25 0 1 0 891599308 39723008 8839 4294967295 134512640 134716908 3221224560 3221223216 134524132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9698 8839 1111 63 0 9635 0
vsize: 38792
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 9754 0 0 0 6963 36 0 0 25 0 1 0 891599308 43110400 9671 4294967295 134512640 134716908 3221224560 3221223132 134535488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10525 9671 1111 63 0 10462 0
vsize: 42100
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 11025 0 0 0 7958 42 0 0 25 0 1 0 891599308 48381952 10942 4294967295 134512640 134716908 3221224560 3221223300 134558543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11812 10942 1111 63 0 11749 0
vsize: 47248
[startup+90.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 12352 0 0 0 8955 45 0 0 25 0 1 0 891599308 53788672 12269 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13132 12269 1111 63 0 13069 0
vsize: 52528
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 13574 0 0 0 9951 50 0 0 25 0 1 0 891599308 58793984 13489 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14354 13489 1111 63 0 14291 0
vsize: 57416
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 15078 0 0 0 10945 56 0 0 25 0 1 0 891599308 65011712 14993 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15872 14993 1111 63 0 15809 0
vsize: 63488
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 16439 0 0 0 11940 61 0 0 25 0 1 0 891599308 70561792 16352 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17227 16352 1111 63 0 17164 0
vsize: 68908
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 17207 0 0 0 12938 64 0 0 25 0 1 0 891599308 73805824 17119 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18019 17119 1111 63 0 17956 0
vsize: 72076
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 17783 0 0 0 13936 66 0 0 25 0 1 0 891599308 76247040 17694 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18615 17694 1111 63 0 18552 0
vsize: 74460
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 18296 0 0 0 14934 69 0 0 25 0 1 0 891599308 78413824 18203 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19144 18203 1111 63 0 19081 0
vsize: 76576
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 18995 0 0 0 15931 72 0 0 25 0 1 0 891599308 81264640 18901 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19840 18901 1111 63 0 19777 0
vsize: 79360
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 19393 0 0 0 16929 74 0 0 25 0 1 0 891599308 82927616 19295 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20246 19295 1111 63 0 20183 0
vsize: 80984
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 19775 0 0 0 17927 77 0 0 25 0 1 0 891599308 84578304 19674 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20649 19674 1111 63 0 20586 0
vsize: 82596
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 20100 0 0 0 18926 79 0 0 25 0 1 0 891599308 85831680 19994 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20955 19994 1111 63 0 20892 0
vsize: 83820
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 20371 0 0 0 19925 80 0 0 25 0 1 0 891599308 87056384 20262 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21254 20262 1111 63 0 21191 0
vsize: 85016
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 20803 0 0 0 20923 83 0 0 25 0 1 0 891599308 88678400 20693 4294967295 134512640 134716908 3221224560 3221223236 134543731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21650 20693 1111 63 0 21587 0
vsize: 86600
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 21143 0 0 0 21922 84 0 0 25 0 1 0 891599308 90173440 21033 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22015 21033 1111 63 0 21952 0
vsize: 88060
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 21458 0 0 0 22921 85 0 0 25 0 1 0 891599308 91430912 21346 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22322 21346 1111 63 0 22259 0
vsize: 89288
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 21740 0 0 0 23919 87 0 0 25 0 1 0 891599308 92647424 21628 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22619 21628 1111 63 0 22556 0
vsize: 90476
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 23253 0 0 0 24914 93 0 0 25 0 1 0 891599308 98869248 23141 4294967295 134512640 134716908 3221224560 3221223296 134535844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24138 23141 1111 63 0 24075 0
vsize: 96552
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 24611 0 0 0 25910 97 0 0 25 0 1 0 891599308 104415232 24499 4294967295 134512640 134716908 3221224560 3221222872 1077377305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25492 24499 1111 63 0 25429 0
vsize: 101968
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 25418 0 0 0 26907 100 0 0 25 0 1 0 891599308 107659264 25305 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26284 25305 1111 63 0 26221 0
vsize: 105136
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 25997 0 0 0 27906 102 0 0 25 0 1 0 891599308 110125056 25882 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26886 25882 1111 63 0 26823 0
vsize: 107544
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 26328 0 0 0 28904 104 0 0 25 0 1 0 891599308 111501312 26213 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27222 26213 1111 63 0 27159 0
vsize: 108888
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 26648 0 0 0 29903 106 0 0 25 0 1 0 891599308 112852992 26533 4294967295 134512640 134716908 3221224560 3221223212 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27552 26533 1111 63 0 27489 0
vsize: 110208
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 26943 0 0 0 30903 107 0 0 25 0 1 0 891599308 114016256 26827 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27836 26827 1111 63 0 27773 0
vsize: 111344
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 27184 0 0 0 31901 109 0 0 25 0 1 0 891599308 115036160 27064 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28085 27064 1111 63 0 28022 0
vsize: 112340
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 27415 0 0 0 32899 110 0 0 25 0 1 0 891599308 115982336 27295 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28316 27295 1111 63 0 28253 0
vsize: 113264
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 27670 0 0 0 33899 111 0 0 25 0 1 0 891599308 116932608 27549 4294967295 134512640 134716908 3221224560 3221223216 134524137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28548 27549 1111 63 0 28485 0
vsize: 114192
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 27887 0 0 0 34898 112 0 0 25 0 1 0 891599308 117743616 27766 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28746 27766 1111 63 0 28683 0
vsize: 114984
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 28079 0 0 0 35898 113 0 0 25 0 1 0 891599308 118554624 27958 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28944 27958 1111 63 0 28881 0
vsize: 115776
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 28264 0 0 0 36897 114 0 0 25 0 1 0 891599308 119267328 28143 4294967295 134512640 134716908 3221224560 3221223184 134549702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29118 28143 1111 63 0 29055 0
vsize: 116472
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 28478 0 0 0 37897 115 0 0 25 0 1 0 891599308 120131584 28357 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29329 28357 1111 63 0 29266 0
vsize: 117316
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 28668 0 0 0 38896 115 0 0 25 0 1 0 891599308 120942592 28547 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29527 28547 1111 63 0 29464 0
vsize: 118108
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 28877 0 0 0 39896 116 0 0 25 0 1 0 891599308 121835520 28755 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29745 28755 1111 63 0 29682 0
vsize: 118980
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 29067 0 0 0 40895 117 0 0 25 0 1 0 891599308 122658816 28945 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29946 28945 1111 63 0 29883 0
vsize: 119784
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 29271 0 0 0 41895 118 0 0 25 0 1 0 891599308 123535360 29147 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30160 29147 1111 63 0 30097 0
vsize: 120640
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 29469 0 0 0 42894 119 0 0 25 0 1 0 891599308 124350464 29345 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30359 29345 1111 63 0 30296 0
vsize: 121436
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 29689 0 0 0 43894 119 0 0 25 0 1 0 891599308 125161472 29565 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30557 29565 1111 63 0 30494 0
vsize: 122228
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 30001 0 0 0 44892 122 0 0 25 0 1 0 891599308 126509056 29877 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30886 29877 1111 63 0 30823 0
vsize: 123544
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 30179 0 0 0 45891 123 0 0 25 0 1 0 891599308 127242240 30054 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31065 30054 1111 63 0 31002 0
vsize: 124260
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 30377 0 0 0 46891 123 0 0 25 0 1 0 891599308 128053248 30252 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31263 30252 1111 63 0 31200 0
vsize: 125052
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 30556 0 0 0 47890 124 0 0 25 0 1 0 891599308 128729088 30431 4294967295 134512640 134716908 3221224560 3221223200 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31428 30431 1111 63 0 31365 0
vsize: 125712
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 30849 0 0 0 48889 126 0 0 25 0 1 0 891599308 129945600 30724 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31725 30724 1111 63 0 31662 0
vsize: 126900
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 31027 0 0 0 49889 126 0 0 25 0 1 0 891599308 130793472 30900 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31932 30900 1111 63 0 31869 0
vsize: 127728
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 31213 0 0 0 50888 127 0 0 25 0 1 0 891599308 131477504 31085 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32099 31085 1111 63 0 32036 0
vsize: 128396
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 31378 0 0 0 51888 128 0 0 25 0 1 0 891599308 132153344 31250 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32264 31250 1111 63 0 32201 0
vsize: 129056
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 31555 0 0 0 52888 128 0 0 25 0 1 0 891599308 132964352 31427 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32462 31427 1111 63 0 32399 0
vsize: 129848
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 31767 0 0 0 53888 129 0 0 25 0 1 0 891599308 133775360 31639 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32660 31639 1111 63 0 32597 0
vsize: 130640
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 31959 0 0 0 54887 130 0 0 25 0 1 0 891599308 134594560 31828 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32860 31828 1111 63 0 32797 0
vsize: 131440
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 32176 0 0 0 55886 131 0 0 25 0 1 0 891599308 135450624 32045 4294967295 134512640 134716908 3221224560 3221223164 134549858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33069 32045 1111 63 0 33006 0
vsize: 132276
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 32401 0 0 0 56886 132 0 0 25 0 1 0 891599308 136556544 32263 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33339 32263 1111 63 0 33276 0
vsize: 133356
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 32588 0 0 0 57885 132 0 0 25 0 1 0 891599308 137420800 32450 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33550 32450 1111 63 0 33487 0
vsize: 134200
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 32820 0 0 0 58885 133 0 0 25 0 1 0 891599308 138436608 32680 4294967295 134512640 134716908 3221224560 3221223296 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33798 32680 1111 63 0 33735 0
vsize: 135192
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 33051 0 0 0 59884 134 0 0 25 0 1 0 891599308 139448320 32911 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34045 32911 1111 63 0 33982 0
vsize: 136180
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 33317 0 0 0 60884 135 0 0 25 0 1 0 891599308 140587008 33177 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34323 33177 1111 63 0 34260 0
vsize: 137292
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 33503 0 0 0 61883 135 0 0 25 0 1 0 891599308 141398016 33363 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34521 33363 1111 63 0 34458 0
vsize: 138084
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 33715 0 0 0 62883 136 0 0 25 0 1 0 891599308 142209024 33575 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34719 33575 1111 63 0 34656 0
vsize: 138876
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 34004 0 0 0 63881 138 0 0 25 0 1 0 891599308 143425536 33864 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35016 33864 1111 63 0 34953 0
vsize: 140064
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 34272 0 0 0 64880 139 0 0 25 0 1 0 891599308 144601088 34128 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35303 34128 1111 63 0 35240 0
vsize: 141212
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 34557 0 0 0 65879 141 0 0 25 0 1 0 891599308 146014208 34412 4294967295 134512640 134716908 3221224560 3221223152 134549773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35648 34412 1111 63 0 35585 0
vsize: 142592
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 34706 0 0 0 66879 142 0 0 25 0 1 0 891599308 146567168 34561 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35783 34561 1111 63 0 35720 0
vsize: 143132
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 34893 0 0 0 67878 143 0 0 25 0 1 0 891599308 147243008 34748 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35948 34748 1111 63 0 35885 0
vsize: 143792
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 35075 0 0 0 68877 144 0 0 25 0 1 0 891599308 148054016 34930 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36146 34930 1111 63 0 36083 0
vsize: 144584
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 35283 0 0 0 69877 145 0 0 25 0 1 0 891599308 148865024 35138 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36344 35138 1111 63 0 36281 0
vsize: 145376
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 35488 0 0 0 70876 146 0 0 25 0 1 0 891599308 149811200 35342 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36575 35342 1111 63 0 36512 0
vsize: 146300
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 35657 0 0 0 71875 147 0 0 25 0 1 0 891599308 150487040 35511 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36740 35511 1111 63 0 36677 0
vsize: 146960
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 35809 0 0 0 72874 148 0 0 25 0 1 0 891599308 151027712 35663 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36872 35663 1111 63 0 36809 0
vsize: 147488
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 36015 0 0 0 73874 149 0 0 25 0 1 0 891599308 151973888 35869 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37103 35869 1111 63 0 37040 0
vsize: 148412
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 36194 0 0 0 74873 150 0 0 25 0 1 0 891599308 152649728 36048 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37268 36048 1111 63 0 37205 0
vsize: 149072
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 36375 0 0 0 75872 151 0 0 25 0 1 0 891599308 153497600 36228 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37475 36228 1111 63 0 37412 0
vsize: 149900
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 36544 0 0 0 76872 152 0 0 25 0 1 0 891599308 154173440 36397 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37640 36397 1111 63 0 37577 0
vsize: 150560
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 36719 0 0 0 77871 153 0 0 25 0 1 0 891599308 154849280 36572 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37805 36572 1111 63 0 37742 0
vsize: 151220
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 36912 0 0 0 78870 154 0 0 25 0 1 0 891599308 155525120 36765 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37970 36765 1111 63 0 37907 0
vsize: 151880
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 37110 0 0 0 79870 155 0 0 25 0 1 0 891599308 156336128 36963 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38168 36963 1111 63 0 38105 0
vsize: 152672
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 37280 0 0 0 80869 156 0 0 25 0 1 0 891599308 157052928 37130 4294967295 134512640 134716908 3221224560 3221223344 134529404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38343 37130 1111 63 0 38280 0
vsize: 153372
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 37458 0 0 0 81868 158 0 0 25 0 1 0 891599308 157863936 37308 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38541 37308 1111 63 0 38478 0
vsize: 154164
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 37656 0 0 0 82867 159 0 0 25 0 1 0 891599308 158674944 37506 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38739 37506 1111 63 0 38676 0
vsize: 154956
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 37891 0 0 0 83866 160 0 0 25 0 1 0 891599308 159657984 37740 4294967295 134512640 134716908 3221224560 3221223344 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38979 37740 1111 63 0 38916 0
vsize: 155916
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 38091 0 0 0 84865 161 0 0 25 0 1 0 891599308 160468992 37940 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39177 37940 1111 63 0 39114 0
vsize: 156708
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 38292 0 0 0 85864 162 0 0 25 0 1 0 891599308 161280000 38141 4294967295 134512640 134716908 3221224560 3221223296 134535829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39375 38141 1111 63 0 39312 0
vsize: 157500
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 38491 0 0 0 86864 163 0 0 25 0 1 0 891599308 162091008 38340 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39573 38340 1111 63 0 39510 0
vsize: 158292
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 38714 0 0 0 87863 164 0 0 25 0 1 0 891599308 162938880 38561 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39780 38561 1111 63 0 39717 0
vsize: 159120
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 38934 0 0 0 88862 166 0 0 25 0 1 0 891599308 163885056 38781 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40011 38781 1111 63 0 39948 0
vsize: 160044
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 39180 0 0 0 89861 167 0 0 25 0 1 0 891599308 164831232 39027 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40242 39027 1111 63 0 40179 0
vsize: 160968
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 39372 0 0 0 90861 167 0 0 25 0 1 0 891599308 165642240 39219 4294967295 134512640 134716908 3221224560 3221223216 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40440 39219 1111 63 0 40377 0
vsize: 161760
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 39632 0 0 0 91860 168 0 0 25 0 1 0 891599308 166588416 39479 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40671 39479 1111 63 0 40608 0
vsize: 162684
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 39897 0 0 0 92859 170 0 0 25 0 1 0 891599308 167669760 39744 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40935 39744 1111 63 0 40872 0
vsize: 163740
[startup+940.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 40130 0 0 0 93858 171 0 0 25 0 1 0 891599308 168615936 39977 4294967295 134512640 134716908 3221224560 3221223264 134528732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41166 39977 1111 63 0 41103 0
vsize: 164664
[startup+950.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 40386 0 0 0 94857 172 0 0 25 0 1 0 891599308 169697280 40233 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41430 40233 1111 63 0 41367 0
vsize: 165720
[startup+960.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 40629 0 0 0 95856 173 0 0 25 0 1 0 891599308 170643456 40476 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41661 40476 1111 63 0 41598 0
vsize: 166644
[startup+970.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 40802 0 0 0 96856 175 0 0 25 0 1 0 891599308 171319296 40649 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41826 40649 1111 63 0 41763 0
vsize: 167304
[startup+980.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 40944 0 0 0 97856 175 0 0 25 0 1 0 891599308 171859968 40791 4294967295 134512640 134716908 3221224560 3221223324 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41958 40791 1111 63 0 41895 0
vsize: 167832
[startup+990.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 41095 0 0 0 98855 175 0 0 25 0 1 0 891599308 172568576 40942 4294967295 134512640 134716908 3221224560 3221223116 134535008 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42131 40942 1111 63 0 42068 0
vsize: 168524
[startup+1000.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 41252 0 0 0 99855 176 0 0 25 0 1 0 891599308 173248512 41099 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42297 41099 1111 63 0 42234 0
vsize: 169188
[startup+1010.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 42300 0 0 0 100852 180 0 0 25 0 1 0 891599308 177438720 42147 4294967295 134512640 134716908 3221224560 3221223184 134698636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43320 42147 1111 63 0 43257 0
vsize: 173280
[startup+1020.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 43171 0 0 0 101849 183 0 0 25 0 1 0 891599308 181088256 43018 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44211 43018 1111 63 0 44148 0
vsize: 176844
[startup+1030.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 43610 0 0 0 102847 185 0 0 25 0 1 0 891599308 182857728 43456 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44643 43456 1111 63 0 44580 0
vsize: 178572
[startup+1040.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 44006 0 0 0 103845 187 0 0 25 0 1 0 891599308 184479744 43852 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45039 43852 1111 63 0 44976 0
vsize: 180156
[startup+1050.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 44678 0 0 0 104843 190 0 0 25 0 1 0 891599308 187363328 44524 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45743 44524 1111 63 0 45680 0
vsize: 182972
[startup+1060.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 45077 0 0 0 105842 191 0 0 25 0 1 0 891599308 188985344 44923 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46139 44923 1111 63 0 46076 0
vsize: 184556
[startup+1070.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 45469 0 0 0 106840 193 0 0 25 0 1 0 891599308 190611456 45315 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46536 45315 1111 63 0 46473 0
vsize: 186144
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 45912 0 0 0 107839 195 0 0 25 0 1 0 891599308 192409600 45754 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46975 45754 1111 63 0 46912 0
vsize: 187900
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 46369 0 0 0 108838 196 0 0 25 0 1 0 891599308 194301952 46211 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47437 46211 1111 63 0 47374 0
vsize: 189748
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 46829 0 0 0 109836 199 0 0 25 0 1 0 891599308 196198400 46666 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47900 46666 1111 63 0 47837 0
vsize: 191600
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 47209 0 0 0 110834 201 0 0 25 0 1 0 891599308 197836800 47046 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48300 47046 1111 63 0 48237 0
vsize: 193200
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 47514 0 0 0 111834 202 0 0 25 0 1 0 891599308 199053312 47351 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48597 47351 1111 63 0 48534 0
vsize: 194388
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 47775 0 0 0 112833 203 0 0 25 0 1 0 891599308 200134656 47612 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48861 47612 1111 63 0 48798 0
vsize: 195444
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 48229 0 0 0 113831 205 0 0 25 0 1 0 891599308 201891840 48066 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49290 48066 1111 63 0 49227 0
vsize: 197160
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 48720 0 0 0 114830 207 0 0 25 0 1 0 891599308 203919360 48557 4294967295 134512640 134716908 3221224560 3221223344 134529174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49785 48558 1111 63 0 49722 0
vsize: 199140
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 49167 0 0 0 115828 209 0 0 25 0 1 0 891599308 205811712 49004 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50247 49004 1111 63 0 50184 0
vsize: 200988
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 49524 0 0 0 116827 210 0 0 25 0 1 0 891599308 207298560 49361 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50610 49361 1111 63 0 50547 0
vsize: 202440
[startup+1174.74 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 12014
Raw data (stat): 12014 (bsolo_lpr-v2) R 12013 25568 25567 0 -1 0 49524 0 0 0 116827 210 0 0 25 0 1 0 891599308 207298560 49361 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50610 49361 1111 63 0 50547 0
vsize: 0

Child status: 0
Real time (s): 1174.74
CPU time (s): 1175.1
CPU user time (s): 1172.9
CPU system time (s): 2.20566
CPU usage (%): 100.031
Max. virtual memory (Kb): 202440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####