PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb
MD5SUM	423b72910a463b7aa4b9bdae86b878a8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
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	1972
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1972
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1972
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.158974
Number of variables	1972
Total number of constraints	3301
Number of constraints which are clauses	3301
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 39616

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 14:48:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27667 boxname=wulflinc5 idbench=225 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  423b72910a463b7aa4b9bdae86b878a8  /oldhome/oroussel/tmp/wulflinc5/normalized-ssa2670-141.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ssa2670-141.opb
IDLAUNCH: 27667
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        342520 kB
Buffers:         34720 kB
Cached:         633016 kB
SwapCached:        568 kB
Active:          58032 kB
Inactive:       611788 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        342268 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16700 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:07:41 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 27667 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1972 variables and 3301 constraints.
c After prepocess the problem consists of 470 variables and 1251 constraints.
c preprocess terminated 188.508 s
c Initial Lower Bound: 920
c Lower Bound Elapsed time: 0.303
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 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.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (runsolver) R 5798 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893832351 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.0012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 5645 0 0 0 982 15 0 0 25 0 1 0 893832351 23715840 4951 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5790 4951 1111 63 0 5727 0
vsize: 23160
[startup+20.0022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 7035 0 0 0 1978 18 0 0 25 0 1 0 893832351 27512832 5864 4294967295 134512640 134716908 3221224576 3221223104 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5864 1111 63 0 6654 0
vsize: 26868
[startup+30.002 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 8595 0 0 0 2975 22 0 0 25 0 1 0 893832351 33730560 7387 4294967295 134512640 134716908 3221224576 3221223040 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8235 7387 1111 63 0 8172 0
vsize: 32940
[startup+40.0024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 9292 0 0 0 3973 23 0 0 25 0 1 0 893832351 35880960 7901 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 7901 1111 63 0 8697 0
vsize: 35040
[startup+50.0025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 10065 0 0 0 4971 26 0 0 25 0 1 0 893832351 38932480 8659 4294967295 134512640 134716908 3221224576 3221223088 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9505 8659 1111 63 0 9442 0
vsize: 38020
[startup+60.0032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 10243 0 0 0 5971 27 0 0 25 0 1 0 893832351 39690240 8837 4294967295 134512640 134716908 3221224576 3221223132 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9690 8837 1111 63 0 9627 0
vsize: 38760
[startup+70.0036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 10934 0 0 0 6969 28 0 0 25 0 1 0 893832351 41963520 9398 4294967295 134512640 134716908 3221224576 3221223056 134543070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10245 9398 1111 63 0 10182 0
vsize: 40980
[startup+80.0037 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 11465 0 0 0 7968 30 0 0 25 0 1 0 893832351 43544576 9786 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10631 9786 1111 63 0 10568 0
vsize: 42524
[startup+90.0045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 11978 0 0 0 8966 32 0 0 25 0 1 0 893832351 45572096 10287 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11126 10287 1111 63 0 11063 0
vsize: 44504
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 12434 0 0 0 9965 33 0 0 25 0 1 0 893832351 47579136 10743 4294967295 134512640 134716908 3221224576 3221222972 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 10747 1111 63 0 11553 0
vsize: 46464
[startup+110.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 12766 0 0 0 10965 34 0 0 25 0 1 0 893832351 48775168 11063 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11908 11063 1111 63 0 11845 0
vsize: 47632
[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 12947 0 0 0 11965 34 0 0 25 0 1 0 893832351 48943104 11110 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11949 11110 1111 63 0 11886 0
vsize: 47796
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 12947 0 0 0 12965 34 0 0 25 0 1 0 893832351 48943104 11110 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11949 11110 1111 63 0 11886 0
vsize: 47796
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 12947 0 0 0 13965 34 0 0 25 0 1 0 893832351 48943104 11110 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11949 11110 1111 63 0 11886 0
vsize: 47796
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 12953 0 0 0 14965 34 0 0 25 0 1 0 893832351 49082368 11116 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11983 11116 1111 63 0 11920 0
vsize: 47932
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 12962 0 0 0 15965 34 0 0 25 0 1 0 893832351 49082368 11125 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11983 11125 1111 63 0 11920 0
vsize: 47932
[startup+170.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 12973 0 0 0 16965 34 0 0 25 0 1 0 893832351 49082368 11136 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11983 11136 1111 63 0 11920 0
vsize: 47932
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 12982 0 0 0 17965 34 0 0 25 0 1 0 893832351 49217536 11145 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12016 11145 1111 63 0 11953 0
vsize: 48064
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 27651 0 0 0 18934 66 0 0 25 0 1 0 893832351 106954752 25096 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26112 25096 1111 63 0 26049 0
vsize: 104448
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 30053 0 0 0 19928 72 0 0 25 0 1 0 893832351 109150208 25634 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26648 25634 1111 63 0 26585 0
vsize: 106592
[startup+210.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 32737 0 0 0 20921 79 0 0 25 0 1 0 893832351 111480832 26205 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27217 26205 1111 63 0 27154 0
vsize: 108868
[startup+220.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 36403 0 0 0 21911 89 0 0 25 0 1 0 893832351 112218112 26309 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27397 26309 1111 63 0 27334 0
vsize: 109588
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 40022 0 0 0 22901 99 0 0 25 0 1 0 893832351 111869952 26300 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27312 26300 1111 63 0 27249 0
vsize: 109248
[startup+240.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 43345 0 0 0 23891 110 0 0 25 0 1 0 893832351 112205824 26382 4294967295 134512640 134716908 3221224576 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27394 26382 1111 63 0 27331 0
vsize: 109576
[startup+250.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 46439 0 0 0 24883 118 0 0 25 0 1 0 893832351 112259072 26395 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27407 26395 1111 63 0 27344 0
vsize: 109628
[startup+260.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 49881 0 0 0 25873 128 0 0 25 0 1 0 893832351 112463872 26445 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27457 26445 1111 63 0 27394 0
vsize: 109828
[startup+270.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 52929 0 0 0 26863 138 0 0 25 0 1 0 893832351 112676864 26492 4294967295 134512640 134716908 3221224576 3221221976 1074838821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27509 26492 1111 63 0 27446 0
vsize: 110036
[startup+280.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 55424 0 0 0 27857 145 0 0 25 0 1 0 893832351 112934912 26560 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27572 26560 1111 63 0 27509 0
vsize: 110288
[startup+290.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 58195 0 0 0 28849 153 0 0 25 0 1 0 893832351 112984064 26573 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27584 26573 1111 63 0 27521 0
vsize: 110336
[startup+300.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 60586 0 0 0 29842 160 0 0 25 0 1 0 893832351 112984064 26573 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27584 26573 1111 63 0 27521 0
vsize: 110336
[startup+310.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 63210 0 0 0 30835 167 0 0 25 0 1 0 893832351 113868800 26667 4294967295 134512640 134716908 3221224576 3221220912 1075113628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27800 26667 1111 63 0 27737 0
vsize: 111200
[startup+320.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 65223 0 0 0 31831 171 0 0 25 0 1 0 893832351 113188864 26624 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27634 26624 1111 63 0 27571 0
vsize: 110536
[startup+330.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 67258 0 0 0 32826 176 0 0 25 0 1 0 893832351 114065408 26659 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27848 26661 1111 63 0 27785 0
vsize: 111392
[startup+340.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 69757 0 0 0 33819 183 0 0 25 0 1 0 893832351 114094080 26760 4294967295 134512640 134716908 3221224576 3221220720 1074969469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27855 26760 1111 63 0 27792 0
vsize: 111420
[startup+350.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 72194 0 0 0 34814 189 0 0 25 0 1 0 893832351 114368512 26757 4294967295 134512640 134716908 3221224576 3221220848 1074961258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27922 26757 1111 63 0 27859 0
vsize: 111688
[startup+360.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 74267 0 0 0 35809 194 0 0 25 0 1 0 893832351 113459200 26697 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27700 26697 1111 63 0 27637 0
vsize: 110800
[startup+370.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 76529 0 0 0 36803 201 0 0 25 0 1 0 893832351 113483776 26703 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27706 26703 1111 63 0 27643 0
vsize: 110824
[startup+380.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 78960 0 0 0 37796 208 0 0 25 0 1 0 893832351 114089984 26798 4294967295 134512640 134716908 3221224576 3221220656 1075112391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27854 26798 1111 63 0 27791 0
vsize: 111416
[startup+390.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 81185 0 0 0 38791 213 0 0 25 0 1 0 893832351 114855936 26871 4294967295 134512640 134716908 3221224576 3221220524 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28041 26871 1111 63 0 27978 0
vsize: 112164
[startup+400.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 83708 0 0 0 39785 219 0 0 25 0 1 0 893832351 114151424 26814 4294967295 134512640 134716908 3221224576 3221222624 1074867220 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27869 26814 1111 63 0 27806 0
vsize: 111476
[startup+410.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 85963 0 0 0 40779 225 0 0 25 0 1 0 893832351 114049024 26835 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27844 26835 1111 63 0 27781 0
vsize: 111376
[startup+420.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 88587 0 0 0 41772 232 0 0 25 0 1 0 893832351 115019776 26907 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28081 26907 1111 63 0 28018 0
vsize: 112324
[startup+430.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 91712 0 0 0 42764 241 0 0 25 0 1 0 893832351 114077696 26847 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27851 26847 1111 63 0 27788 0
vsize: 111404
[startup+440.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 94395 0 0 0 43757 248 0 0 25 0 1 0 893832351 115130368 26940 4294967295 134512640 134716908 3221224576 3221220848 1074960961 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28108 26940 1111 63 0 28045 0
vsize: 112432
[startup+450.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 97156 0 0 0 44750 255 0 0 25 0 1 0 893832351 114810880 26946 4294967295 134512640 134716908 3221224576 3221220784 1074815241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28030 26946 1111 63 0 27967 0
vsize: 112120
[startup+460.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 99461 0 0 0 45745 261 0 0 25 0 1 0 893832351 115101696 26905 4294967295 134512640 134716908 3221224576 3221221648 1074867206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28101 26905 1111 63 0 28038 0
vsize: 112404
[startup+470.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 101705 0 0 0 46738 267 0 0 25 0 1 0 893832351 115306496 26987 4294967295 134512640 134716908 3221224576 3221220660 1075964390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28151 26987 1111 63 0 28088 0
vsize: 112604
[startup+480.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 103925 0 0 0 47733 273 0 0 25 0 1 0 893832351 114311168 26906 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27908 26906 1111 63 0 27845 0
vsize: 111632
[startup+490.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 106711 0 0 0 48726 280 0 0 25 0 1 0 893832351 114335744 26907 4294967295 134512640 134716908 3221224576 3221222240 1075828473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27914 26907 1111 63 0 27851 0
vsize: 111656
[startup+500.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 110051 0 0 0 49719 287 0 0 25 0 1 0 893832351 114401280 26928 4294967295 134512640 134716908 3221224576 3221222460 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27930 26928 1111 63 0 27867 0
vsize: 111720
[startup+510.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 112445 0 0 0 50713 293 0 0 25 0 1 0 893832351 114905088 26991 4294967295 134512640 134716908 3221224576 3221220756 1075115115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28053 26991 1111 63 0 27990 0
vsize: 112212
[startup+520.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 115863 0 0 0 51704 302 0 0 25 0 1 0 893832351 114540544 26962 4294967295 134512640 134716908 3221224576 3221222272 1075636592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27964 26962 1111 63 0 27901 0
vsize: 111856
[startup+530.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 119410 0 0 0 52698 309 0 0 25 0 1 0 893832351 115101696 26998 4294967295 134512640 134716908 3221224576 3221221168 1074884533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28101 26998 1111 63 0 28038 0
vsize: 112404
[startup+540.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 122819 0 0 0 53688 319 0 0 25 0 1 0 893832351 114515968 26956 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27958 26956 1111 63 0 27895 0
vsize: 111832
[startup+550.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 125624 0 0 0 54681 326 0 0 25 0 1 0 893832351 115544064 27039 4294967295 134512640 134716908 3221224576 3221220724 1075964437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28209 27039 1111 63 0 28146 0
vsize: 112836
[startup+560.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 127830 0 0 0 55676 331 0 0 25 0 1 0 893832351 114606080 26978 4294967295 134512640 134716908 3221224576 3221222464 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27980 26978 1111 63 0 27917 0
vsize: 111920
[startup+570.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 130121 0 0 0 56670 338 0 0 25 0 1 0 893832351 115486720 27185 4294967295 134512640 134716908 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28195 27188 1111 63 0 28132 0
vsize: 112780
[startup+580.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 132630 0 0 0 57664 344 0 0 25 0 1 0 893832351 114515968 26956 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27958 26956 1111 63 0 27895 0
vsize: 111832
[startup+590.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 135780 0 0 0 58657 351 0 0 25 0 1 0 893832351 114515968 26956 4294967295 134512640 134716908 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27958 26956 1111 63 0 27895 0
vsize: 111832
[startup+600.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 139618 0 0 0 59648 360 0 0 25 0 1 0 893832351 116084736 27015 4294967295 134512640 134716908 3221224576 3221220456 1074788458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28341 27015 1111 63 0 28278 0
vsize: 113364
[startup+610.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 142631 0 0 0 60641 368 0 0 25 0 1 0 893832351 114835456 27034 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28036 27034 1111 63 0 27973 0
vsize: 112144
[startup+620.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 145636 0 0 0 61633 375 0 0 25 0 1 0 893832351 114929664 27057 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28059 27057 1111 63 0 27996 0
vsize: 112236
[startup+630.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 149263 0 0 0 62625 384 0 0 25 0 1 0 893832351 114802688 27026 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28028 27026 1111 63 0 27965 0
vsize: 112112
[startup+640.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 153675 0 0 0 63613 396 0 0 25 0 1 0 893832351 116596736 27158 4294967295 134512640 134716908 3221224576 3221220604 1074788094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28466 27158 1111 63 0 28403 0
vsize: 113864
[startup+650.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 157316 0 0 0 64604 405 0 0 25 0 1 0 893832351 115105792 27094 4294967295 134512640 134716908 3221224576 3221221920 1074839094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28102 27094 1111 63 0 28039 0
vsize: 112408
[startup+660.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 161278 0 0 0 65594 415 0 0 25 0 1 0 893832351 115617792 27193 4294967295 134512640 134716908 3221224576 3221221768 1074138277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28466 27198 1111 63 0 28403 0
vsize: 112908
[startup+670.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 164913 0 0 0 66585 424 0 0 25 0 1 0 893832351 116641792 27128 4294967295 134512640 134716908 3221224576 3221221344 1076083481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28477 27128 1111 63 0 28414 0
vsize: 113908
[startup+680.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 169137 0 0 0 67574 436 0 0 25 0 1 0 893832351 115949568 27254 4294967295 134512640 134716908 3221224576 3221220464 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28308 27254 1111 63 0 28245 0
vsize: 113232
[startup+690.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 172119 0 0 0 68566 444 0 0 25 0 1 0 893832351 117198848 27267 4294967295 134512640 134716908 3221224576 3221220912 1075113662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28613 27268 1111 63 0 28550 0
vsize: 114452
[startup+700.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 175288 0 0 0 69560 450 0 0 25 0 1 0 893832351 116973568 27240 4294967295 134512640 134716908 3221224576 3221220848 1074960926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28558 27240 1111 63 0 28495 0
vsize: 114232
[startup+710.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 5799
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 179689 0 0 0 70549 461 0 0 25 0 1 0 893832351 117104640 27258 4294967295 134512640 134716908 3221224576 3221221104 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28590 27258 1111 63 0 28527 0
vsize: 114360
[startup+720.039 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 5846
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 184395 0 0 0 71539 473 0 0 25 0 1 0 893832351 115740672 27256 4294967295 134512640 134716908 3221224576 3221222960 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28257 27256 1111 63 0 28194 0
vsize: 113028
[startup+730.039 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 5852
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 188086 0 0 0 72530 482 0 0 25 0 1 0 893832351 117420032 27349 4294967295 134512640 134716908 3221224576 3221220380 1074787829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28667 27349 1111 63 0 28604 0
vsize: 114668
[startup+740.039 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 5852
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 191626 0 0 0 73521 491 0 0 25 0 1 0 893832351 116142080 27323 4294967295 134512640 134716908 3221224576 3221222608 1074206369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28328 27323 1111 63 0 28265 0
vsize: 113420
[startup+750.039 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 5852
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 195114 0 0 0 74513 499 0 0 25 0 1 0 893832351 116170752 27362 4294967295 134512640 134716908 3221224576 3221222888 1074138171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28362 27362 1111 63 0 28299 0
vsize: 113448
[startup+760.04 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 5852
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 199140 0 0 0 75504 509 0 0 25 0 1 0 893832351 116170752 27362 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28362 27362 1111 63 0 28299 0
vsize: 113448
[startup+770.04 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 5852
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 202201 0 0 0 76496 517 0 0 25 0 1 0 893832351 116170752 27362 4294967295 134512640 134716908 3221224576 3221222944 1073986677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28362 27362 1111 63 0 28299 0
vsize: 113448
[startup+780.041 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 5852
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 204394 0 0 0 77490 523 0 0 25 0 1 0 893832351 119152640 28035 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29090 28035 1111 63 0 29027 0
vsize: 116360
[startup+790.041 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 208192 0 0 0 78482 531 0 0 25 0 1 0 893832351 116350976 27407 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28406 27407 1111 63 0 28343 0
vsize: 113624
[startup+800.041 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 211062 0 0 0 79476 537 0 0 25 0 1 0 893832351 119021568 27711 4294967295 134512640 134716908 3221224576 3221220620 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29058 27711 1111 63 0 28995 0
vsize: 116232
[startup+810.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 214349 0 0 0 80468 545 0 0 25 0 1 0 893832351 116269056 27387 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28386 27387 1111 63 0 28323 0
vsize: 113544
[startup+820.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 217335 0 0 0 81460 554 0 0 25 0 1 0 893832351 116297728 27394 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28393 27394 1111 63 0 28330 0
vsize: 113572
[startup+830.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 220265 0 0 0 82451 563 0 0 25 0 1 0 893832351 116490240 27441 4294967295 134512640 134716908 3221224576 3221222844 1073950984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28440 27441 1111 63 0 28377 0
vsize: 113760
[startup+840.043 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 222959 0 0 0 83444 571 0 0 25 0 1 0 893832351 116858880 27531 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28530 27531 1111 63 0 28467 0
vsize: 114120
[startup+850.043 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 226342 0 0 0 84435 579 0 0 25 0 1 0 893832351 116858880 27531 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28530 27531 1111 63 0 28467 0
vsize: 114120
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 230757 0 0 0 85424 591 0 0 25 0 1 0 893832351 117112832 27563 4294967295 134512640 134716908 3221224576 3221220412 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28592 27563 1111 63 0 28529 0
vsize: 114368
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 234926 0 0 0 86414 600 0 0 25 0 1 0 893832351 118763520 27556 4294967295 134512640 134716908 3221224576 3221220804 1075115078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28995 27556 1111 63 0 28932 0
vsize: 115980
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 238019 0 0 0 87407 608 0 0 25 0 1 0 893832351 116908032 27543 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28542 27543 1111 63 0 28479 0
vsize: 114168
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 240775 0 0 0 88398 617 0 0 25 0 1 0 893832351 117039104 27575 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28574 27575 1111 63 0 28511 0
vsize: 114296
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 243094 0 0 0 89392 623 0 0 25 0 1 0 893832351 117096448 27589 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28588 27589 1111 63 0 28525 0
vsize: 114352
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 246002 0 0 0 90385 631 0 0 25 0 1 0 893832351 117510144 27690 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28689 27690 1111 63 0 28626 0
vsize: 114756
[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 249001 0 0 0 91377 639 0 0 25 0 1 0 893832351 119427072 27738 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29157 27738 1111 63 0 29094 0
vsize: 116628
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 252541 0 0 0 92369 647 0 0 25 0 1 0 893832351 119537664 27764 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29184 27765 1111 63 0 29121 0
vsize: 116736
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 255081 0 0 0 93364 653 0 0 25 0 1 0 893832351 120852480 28366 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29505 28366 1111 63 0 29442 0
vsize: 118020
[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 257842 0 0 0 94358 659 0 0 25 0 1 0 893832351 119934976 27898 4294967295 134512640 134716908 3221224576 3221220476 1074787525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29281 27898 1111 63 0 29218 0
vsize: 117124
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 261420 0 0 0 95349 667 0 0 25 0 1 0 893832351 117432320 27672 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28670 27672 1111 63 0 28607 0
vsize: 114680
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 264624 0 0 0 96342 675 0 0 25 0 1 0 893832351 117534720 27697 4294967295 134512640 134716908 3221224576 3221222976 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28695 27697 1111 63 0 28632 0
vsize: 114780
[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 268112 0 0 0 97333 684 0 0 25 0 1 0 893832351 117526528 27695 4294967295 134512640 134716908 3221224576 3221222976 1074153587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28693 27695 1111 63 0 28630 0
vsize: 114772
[startup+990.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 271394 0 0 0 98326 691 0 0 25 0 1 0 893832351 117624832 27710 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28717 27710 1111 63 0 28654 0
vsize: 114868
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 274937 0 0 0 99318 700 0 0 25 0 1 0 893832351 119844864 27862 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29259 27862 1111 63 0 29196 0
vsize: 117036
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 278399 0 0 0 100310 708 0 0 25 0 1 0 893832351 120287232 27926 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29367 27926 1111 63 0 29304 0
vsize: 117468
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 281454 0 0 0 101302 716 0 0 25 0 1 0 893832351 119885824 27841 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29269 27841 1111 63 0 29206 0
vsize: 117076
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 284883 0 0 0 102294 724 0 0 25 0 1 0 893832351 117850112 27774 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28772 27774 1111 63 0 28709 0
vsize: 115088
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 288011 0 0 0 103286 732 0 0 25 0 1 0 893832351 117874688 27780 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28778 27780 1111 63 0 28715 0
vsize: 115112
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 290708 0 0 0 104280 739 0 0 25 0 1 0 893832351 117874688 27780 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28778 27780 1111 63 0 28715 0
vsize: 115112
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 293642 0 0 0 105272 747 0 0 25 0 1 0 893832351 117874688 27780 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28778 27780 1111 63 0 28715 0
vsize: 115112
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 296264 0 0 0 106265 754 0 0 25 0 1 0 893832351 118235136 27836 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28866 27836 1111 63 0 28803 0
vsize: 115464
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5854
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 298692 0 0 0 107258 761 0 0 25 0 1 0 893832351 118034432 27819 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28817 27819 1111 63 0 28754 0
vsize: 115268
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 301666 0 0 0 108250 769 0 0 25 0 1 0 893832351 119762944 28014 4294967295 134512640 134716908 3221224576 3221220848 1074961396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29239 28014 1111 63 0 29176 0
vsize: 116956
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 304149 0 0 0 109244 775 0 0 25 0 1 0 893832351 118308864 27886 4294967295 134512640 134716908 3221224576 3221222168 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28884 27886 1111 63 0 28821 0
vsize: 115536
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 306718 0 0 0 110238 782 0 0 25 0 1 0 893832351 118398976 27887 4294967295 134512640 134716908 3221224576 3221222912 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28906 27887 1111 63 0 28843 0
vsize: 115624
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 310889 0 0 0 111228 791 0 0 25 0 1 0 893832351 118452224 27921 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28919 27921 1111 63 0 28856 0
vsize: 115676
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 314967 0 0 0 112218 802 0 0 25 0 1 0 893832351 120410112 27957 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29397 27957 1111 63 0 29334 0
vsize: 117588
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 318097 0 0 0 113210 810 0 0 25 0 1 0 893832351 118452224 27921 4294967295 134512640 134716908 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28919 27921 1111 63 0 28856 0
vsize: 115676
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 321305 0 0 0 114202 818 0 0 25 0 1 0 893832351 118665216 27973 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28971 27973 1111 63 0 28908 0
vsize: 115884
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 323965 0 0 0 115195 825 0 0 25 0 1 0 893832351 118439936 27918 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28916 27918 1111 63 0 28853 0
vsize: 115664
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 328050 0 0 0 116184 836 0 0 25 0 1 0 893832351 118439936 27918 4294967295 134512640 134716908 3221224576 3221222848 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28916 27918 1111 63 0 28853 0
vsize: 115664
[startup+1175 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 5856
Raw data (stat): 5799 (bsolo_lpr-v2) R 5798 7266 7265 0 -1 0 328050 0 0 0 116184 836 0 0 25 0 1 0 893832351 118439936 27918 4294967295 134512640 134716908 3221224576 3221222848 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28916 27918 1111 63 0 28853 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.16
CPU user time (s): 1166.7
CPU system time (s): 8.45671
CPU usage (%): 100.014
Max. virtual memory (Kb): 118020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####