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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUM	6049145b9f1adfd7114adf044503d587
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2642
Optimality of the best value was proved	NO
Number of terms in the objective function	748
Biggest coefficient in the objective function	240
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	33855
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	240
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	33855
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	907
Total number of constraints	1309
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	1183
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	134
Trace number 39734

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 18:40:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27800 boxname=wulflinc1 idbench=358 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6049145b9f1adfd7114adf044503d587  /oldhome/oroussel/tmp/wulflinc1/normalized-ws97-5.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ws97-5.opb
IDLAUNCH: 27800
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        916916 kB
Buffers:         30288 kB
Cached:          62632 kB
SwapCached:       1192 kB
Active:          22496 kB
Inactive:        72728 kB
HighTotal:      131008 kB
HighFree:        73808 kB
LowTotal:       903652 kB
LowFree:        843108 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            16732 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 19:00:21 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 27800 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 907 variables and 663 constraints.
c After prepocess the problem consists of 899 variables and 669 constraints.
c preprocess terminated 0.759 s
c Initial Lower Bound: 133
c Lower Bound Elapsed time: 0.079
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.08 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.92 0.95 0.90 2/55 8353
Raw data (stat): 8353 (runsolver) R 8352 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 838371588 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 3952 0 0 0 988 10 0 0 25 0 1 0 838371588 7069696 1021 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 1021 1111 63 0 1663 0
vsize: 6904
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 7459 0 0 0 1978 19 0 0 25 0 1 0 838371588 7733248 1103 4294967295 134512640 134716908 3221224592 3221221040 1075132585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1888 1103 1111 63 0 1825 0
vsize: 7552
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 13286 0 0 0 2962 35 0 0 25 0 1 0 838371588 7622656 1039 4294967295 134512640 134716908 3221224592 3221221192 1075850708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 1039 1111 63 0 1798 0
vsize: 7444
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 19898 0 0 0 3945 53 0 0 25 0 1 0 838371588 7766016 1112 4294967295 134512640 134716908 3221224592 3221221664 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1896 1112 1111 63 0 1833 0
vsize: 7584
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 27946 0 0 0 4921 77 0 0 25 0 1 0 838371588 7106560 1034 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1735 1034 1111 63 0 1672 0
vsize: 6940
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 36067 0 0 0 5898 100 0 0 25 0 1 0 838371588 7069696 1025 4294967295 134512640 134716908 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 1025 1111 63 0 1663 0
vsize: 6904
[startup+70.1045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 44303 0 0 0 6885 123 0 0 25 0 1 0 838371588 7118848 1027 4294967295 134512640 134716908 3221224592 3221222592 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1738 1027 1111 63 0 1675 0
vsize: 6952
[startup+80.1053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 52835 0 0 0 7862 147 0 0 25 0 1 0 838371588 7069696 1026 4294967295 134512640 134716908 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 1026 1111 63 0 1663 0
vsize: 6904
[startup+90.1051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 61350 0 0 0 8840 169 0 0 25 0 1 0 838371588 7069696 1026 4294967295 134512640 134716908 3221224592 3221222976 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 1026 1111 63 0 1663 0
vsize: 6904
[startup+100.106 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 70048 0 0 0 9816 193 0 0 25 0 1 0 838371588 7135232 1030 4294967295 134512640 134716908 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1742 1030 1111 63 0 1679 0
vsize: 6968
[startup+110.107 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 78304 0 0 0 10793 216 0 0 25 0 1 0 838371588 7098368 1033 4294967295 134512640 134716908 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 1033 1111 63 0 1670 0
vsize: 6932
[startup+120.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 86599 0 0 0 11770 240 0 0 25 0 1 0 838371588 7131136 1034 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1741 1034 1111 63 0 1678 0
vsize: 6964
[startup+130.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 94602 0 0 0 12748 262 0 0 25 0 1 0 838371588 7098368 1033 4294967295 134512640 134716908 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 1033 1111 63 0 1670 0
vsize: 6932
[startup+140.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 102726 0 0 0 13726 284 0 0 25 0 1 0 838371588 7110656 1036 4294967295 134512640 134716908 3221224592 3221221784 1074138262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1862 1042 1111 63 0 1799 0
vsize: 6944
[startup+150.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 110835 0 0 0 14704 306 0 0 25 0 1 0 838371588 7761920 1071 4294967295 134512640 134716908 3221224592 3221220752 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1895 1081 1111 63 0 1832 0
vsize: 7580
[startup+160.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 118875 0 0 0 15684 326 0 0 25 0 1 0 838371588 7266304 1035 4294967295 134512640 134716908 3221224592 3221222704 1074867314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1774 1035 1111 63 0 1711 0
vsize: 7096
[startup+170.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 127092 0 0 0 16662 348 0 0 25 0 1 0 838371588 7098368 1033 4294967295 134512640 134716908 3221224592 3221222772 1077378716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 1033 1111 63 0 1670 0
vsize: 6932
[startup+180.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 135446 0 0 0 17638 372 0 0 25 0 1 0 838371588 7159808 1037 4294967295 134512640 134716908 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1748 1038 1111 63 0 1685 0
vsize: 6992
[startup+190.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 143845 0 0 0 18617 394 0 0 25 0 1 0 838371588 7823360 1119 4294967295 134512640 134716908 3221224592 3221220752 1075091442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1910 1119 1111 63 0 1847 0
vsize: 7640
[startup+200.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 152212 0 0 0 19593 418 0 0 25 0 1 0 838371588 7319552 1067 4294967295 134512640 134716908 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1747 1045 1111 63 0 1684 0
vsize: 7148
[startup+210.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 160588 0 0 0 20569 442 0 0 25 0 1 0 838371588 7098368 1033 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 1033 1111 63 0 1670 0
vsize: 6932
[startup+220.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 169134 0 0 0 21548 464 0 0 25 0 1 0 838371588 7745536 1126 4294967295 134512640 134716908 3221224592 3221220928 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1126 1111 63 0 1828 0
vsize: 7564
[startup+230.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 177695 0 0 0 22525 487 0 0 25 0 1 0 838371588 7245824 1036 4294967295 134512640 134716908 3221224592 3221222240 1075818186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1769 1036 1111 63 0 1706 0
vsize: 7076
[startup+240.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 186038 0 0 0 23502 510 0 0 25 0 1 0 838371588 7098368 1033 4294967295 134512640 134716908 3221224592 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 1033 1111 63 0 1670 0
vsize: 6932
[startup+250.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 194403 0 0 0 24480 532 0 0 25 0 1 0 838371588 7790592 1120 4294967295 134512640 134716908 3221224592 3221220648 1074860238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1902 1120 1111 63 0 1839 0
vsize: 7608
[startup+260.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 202754 0 0 0 25457 555 0 0 25 0 1 0 838371588 7729152 1100 4294967295 134512640 134716908 3221224592 3221220752 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1887 1106 1111 63 0 1824 0
vsize: 7548
[startup+270.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 211103 0 0 0 26434 578 0 0 25 0 1 0 838371588 7098368 1033 4294967295 134512640 134716908 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 1033 1111 63 0 1670 0
vsize: 6932
[startup+280.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 219747 0 0 0 27411 601 0 0 25 0 1 0 838371588 7098368 1033 4294967295 134512640 134716908 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 1033 1111 63 0 1670 0
vsize: 6932
[startup+290.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 228419 0 0 0 28388 625 0 0 25 0 1 0 838371588 7155712 1035 4294967295 134512640 134716908 3221224592 3221222592 1074918326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1747 1035 1111 63 0 1684 0
vsize: 6988
[startup+300.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 237025 0 0 0 29363 650 0 0 25 0 1 0 838371588 7110656 1036 4294967295 134512640 134716908 3221224592 3221223296 134556894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1736 1036 1111 63 0 1673 0
vsize: 6944
[startup+310.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 245401 0 0 0 30341 672 0 0 25 0 1 0 838371588 7110656 1036 4294967295 134512640 134716908 3221224592 3221222504 1074138274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1736 1036 1111 63 0 1673 0
vsize: 6944
[startup+320.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 253819 0 0 0 31317 697 0 0 25 0 1 0 838371588 7098368 1033 4294967295 134512640 134716908 3221224592 3221222976 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 1033 1111 63 0 1670 0
vsize: 6932
[startup+330.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 262476 0 0 0 32295 718 0 0 25 0 1 0 838371588 7819264 1120 4294967295 134512640 134716908 3221224592 3221221712 1074834324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1909 1120 1111 63 0 1846 0
vsize: 7636
[startup+340.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 270943 0 0 0 33273 740 0 0 25 0 1 0 838371588 7098368 1033 4294967295 134512640 134716908 3221224592 3221222992 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 1033 1111 63 0 1670 0
vsize: 6932
[startup+350.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 279576 0 0 0 34248 765 0 0 25 0 1 0 838371588 7110656 1036 4294967295 134512640 134716908 3221224592 3221222992 1074118797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1736 1036 1111 63 0 1673 0
vsize: 6944
[startup+360.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 288232 0 0 0 35226 788 0 0 25 0 1 0 838371588 7823360 1123 4294967295 134512640 134716908 3221224592 3221220752 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1910 1123 1111 63 0 1847 0
vsize: 7640
[startup+370.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 296757 0 0 0 36202 812 0 0 25 0 1 0 838371588 7143424 1042 4294967295 134512640 134716908 3221224592 3221223040 1074039480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1744 1042 1111 63 0 1681 0
vsize: 6976
[startup+380.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 305331 0 0 0 37179 835 0 0 25 0 1 0 838371588 7110656 1036 4294967295 134512640 134716908 3221224592 3221222928 1074206853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1736 1036 1111 63 0 1673 0
vsize: 6944
[startup+390.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 313602 0 0 0 38157 857 0 0 25 0 1 0 838371588 7110656 1036 4294967295 134512640 134716908 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1736 1036 1111 63 0 1673 0
vsize: 6944
[startup+400.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 321503 0 0 0 39136 879 0 0 25 0 1 0 838371588 7266304 1037 4294967295 134512640 134716908 3221224592 3221222320 1075828454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1774 1037 1111 63 0 1711 0
vsize: 7096
[startup+410.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 329648 0 0 0 40113 901 0 0 25 0 1 0 838371588 7110656 1036 4294967295 134512640 134716908 3221224592 3221222820 1077374146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1736 1036 1111 63 0 1673 0
vsize: 6944
[startup+420.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 337909 0 0 0 41090 925 0 0 25 0 1 0 838371588 7811072 1107 4294967295 134512640 134716908 3221224592 3221220752 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 1107 1111 63 0 1844 0
vsize: 7628
[startup+430.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 346009 0 0 0 42069 946 0 0 25 0 1 0 838371588 7122944 1039 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1739 1039 1111 63 0 1676 0
vsize: 6956
[startup+440.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 354183 0 0 0 43047 969 0 0 25 0 1 0 838371588 7180288 1038 4294967295 134512640 134716908 3221224592 3221222592 1074916908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1753 1038 1111 63 0 1690 0
vsize: 7012
[startup+450.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 362640 0 0 0 44027 989 0 0 25 0 1 0 838371588 7806976 1120 4294967295 134512640 134716908 3221224592 3221220928 1075114259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1906 1120 1111 63 0 1843 0
vsize: 7624
[startup+460.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 370802 0 0 0 45005 1011 0 0 25 0 1 0 838371588 7122944 1039 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1739 1039 1111 63 0 1676 0
vsize: 6956
[startup+470.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 378770 0 0 0 45985 1031 0 0 25 0 1 0 838371588 7135232 1042 4294967295 134512640 134716908 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1742 1042 1111 63 0 1679 0
vsize: 6968
[startup+480.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 386719 0 0 0 46964 1052 0 0 25 0 1 0 838371588 7655424 1061 4294967295 134512640 134716908 3221224592 3221221632 1075860298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1869 1061 1111 63 0 1806 0
vsize: 7476
[startup+490.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 394550 0 0 0 47943 1074 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+500.111 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 402474 0 0 0 48919 1098 0 0 25 0 1 0 838371588 7282688 1046 4294967295 134512640 134716908 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1778 1046 1111 63 0 1715 0
vsize: 7112
[startup+510.113 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 410044 0 0 0 49899 1118 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221221936 1074839039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+520.112 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 416728 0 0 0 50879 1138 0 0 25 0 1 0 838371588 7184384 1046 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1754 1046 1111 63 0 1691 0
vsize: 7016
[startup+530.112 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 423675 0 0 0 51862 1155 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+540.112 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 430628 0 0 0 52843 1174 0 0 25 0 1 0 838371588 7294976 1046 4294967295 134512640 134716908 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1781 1046 1111 63 0 1718 0
vsize: 7124
[startup+550.112 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 437539 0 0 0 53822 1195 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+560.112 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 444718 0 0 0 54802 1216 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+570.112 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 451882 0 0 0 55782 1236 0 0 25 0 1 0 838371588 7294976 1065 4294967295 134512640 134716908 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1754 1054 1111 63 0 1691 0
vsize: 7124
[startup+580.113 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 458983 0 0 0 56763 1255 0 0 25 0 1 0 838371588 7819264 1123 4294967295 134512640 134716908 3221224592 3221220832 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1909 1123 1111 63 0 1846 0
vsize: 7636
[startup+590.113 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 466187 0 0 0 57742 1276 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+600.114 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 473141 0 0 0 58723 1296 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+610.114 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 480123 0 0 0 59704 1315 0 0 25 0 1 0 838371588 7806976 1123 4294967295 134512640 134716908 3221224592 3221220588 1074860969 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1906 1123 1111 63 0 1843 0
vsize: 7624
[startup+620.114 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 487130 0 0 0 60682 1337 0 0 25 0 1 0 838371588 7741440 1126 4294967295 134512640 134716908 3221224592 3221221620 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 1112 1111 63 0 1768 0
vsize: 7560
[startup+630.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 494245 0 0 0 61663 1356 0 0 25 0 1 0 838371588 7819264 1117 4294967295 134512640 134716908 3221224592 3221220960 1075894554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1909 1117 1111 63 0 1846 0
vsize: 7636
[startup+640.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 501392 0 0 0 62643 1376 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+650.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 508644 0 0 0 63625 1395 0 0 25 0 1 0 838371588 7299072 1046 4294967295 134512640 134716908 3221224592 3221222512 1075799720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1782 1046 1111 63 0 1719 0
vsize: 7128
[startup+660.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 515614 0 0 0 64606 1414 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+670.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 522716 0 0 0 65587 1433 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221221712 1074864883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+680.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 529779 0 0 0 66568 1452 0 0 25 0 1 0 838371588 7823360 1070 4294967295 134512640 134716908 3221224592 3221220540 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1910 1070 1111 63 0 1847 0
vsize: 7640
[startup+690.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 537144 0 0 0 67548 1472 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221223388 134558545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+700.113 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 544138 0 0 0 68529 1491 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222904 1077402401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+710.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 551177 0 0 0 69510 1510 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222944 1073986885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+720.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 558302 0 0 0 70489 1532 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+730.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 565635 0 0 0 71469 1551 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222964 1074152879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+740.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 573129 0 0 0 72449 1572 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222992 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+750.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 580499 0 0 0 73430 1591 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222916 1077402435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+760.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 587901 0 0 0 74409 1612 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222868 1077374550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+770.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 595369 0 0 0 75388 1633 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222592 1074918288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+780.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 602927 0 0 0 76367 1655 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+790.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 610581 0 0 0 77346 1676 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+800.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 618262 0 0 0 78327 1695 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+810.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 625792 0 0 0 79307 1715 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221221936 1074839024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+820.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 633292 0 0 0 80285 1737 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+830.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 640966 0 0 0 81264 1758 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+840.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 648786 0 0 0 82243 1779 0 0 25 0 1 0 838371588 7798784 1116 4294967295 134512640 134716908 3221224592 3221220604 1074788915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1904 1116 1111 63 0 1841 0
vsize: 7616
[startup+850.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 656385 0 0 0 83223 1800 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+860.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 664082 0 0 0 84200 1822 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+870.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 671940 0 0 0 85180 1843 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+880.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 679763 0 0 0 86158 1866 0 0 25 0 1 0 838371588 7819264 1117 4294967295 134512640 134716908 3221224592 3221220592 1075965250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1909 1117 1111 63 0 1846 0
vsize: 7636
[startup+890.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 687551 0 0 0 87137 1887 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222320 1075828577 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+900.114 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 695149 0 0 0 88114 1909 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222852 1077374550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+910.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 702719 0 0 0 89093 1931 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222168 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+920.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 710285 0 0 0 90072 1952 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+930.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 718035 0 0 0 91052 1972 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+940.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 725563 0 0 0 92033 1991 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+950.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 733246 0 0 0 93011 2013 0 0 25 0 1 0 838371588 7651328 1061 4294967295 134512640 134716908 3221224592 3221221528 1075066457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1868 1061 1111 63 0 1805 0
vsize: 7472
[startup+960.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 740974 0 0 0 93990 2034 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+970.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 748662 0 0 0 94970 2055 0 0 25 0 1 0 838371588 7823360 1122 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1910 1122 1111 63 0 1847 0
vsize: 7640
[startup+980.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 756396 0 0 0 95949 2076 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222880 1073986821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+990.115 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 764175 0 0 0 96928 2097 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222756 1077378583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+1000.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 771759 0 0 0 97908 2118 0 0 25 0 1 0 838371588 7307264 1046 4294967295 134512640 134716908 3221224592 3221222320 1075828239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1784 1046 1111 63 0 1721 0
vsize: 7136
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 779715 0 0 0 98889 2137 0 0 25 0 1 0 838371588 7839744 1113 4294967295 134512640 134716908 3221224592 3221220812 1076111287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1914 1113 1111 63 0 1851 0
vsize: 7656
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 787388 0 0 0 99867 2158 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221222592 1074140688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 795053 0 0 0 100845 2181 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+1040.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 802856 0 0 0 101825 2201 0 0 25 0 1 0 838371588 7147520 1045 4294967295 134512640 134716908 3221224592 3221222852 1077374469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1745 1045 1111 63 0 1682 0
vsize: 6980
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 811139 0 0 0 102803 2224 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 819489 0 0 0 103779 2247 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 828123 0 0 0 104755 2271 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 836418 0 0 0 105734 2293 0 0 25 0 1 0 838371588 7319552 1051 4294967295 134512640 134716908 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1787 1051 1111 63 0 1724 0
vsize: 7148
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 844820 0 0 0 106712 2315 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 852646 0 0 0 107690 2337 0 0 25 0 1 0 838371588 7196672 1050 4294967295 134512640 134716908 3221224592 3221222496 1075460172 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1757 1050 1111 63 0 1694 0
vsize: 7028
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 860247 0 0 0 108668 2359 0 0 25 0 1 0 838371588 7839744 1126 4294967295 134512640 134716908 3221224592 3221220752 1075091442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1914 1126 1111 63 0 1851 0
vsize: 7656
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 867731 0 0 0 109648 2380 0 0 25 0 1 0 838371588 7196672 1050 4294967295 134512640 134716908 3221224592 3221222592 1074917942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1757 1050 1111 63 0 1694 0
vsize: 7028
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 875316 0 0 0 110627 2400 0 0 25 0 1 0 838371588 7176192 1052 4294967295 134512640 134716908 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1752 1052 1111 63 0 1689 0
vsize: 7008
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 883094 0 0 0 111604 2423 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221223240 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8353
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 890871 0 0 0 112585 2443 0 0 25 0 1 0 838371588 7221248 1063 4294967295 134512640 134716908 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1763 1063 1111 63 0 1700 0
vsize: 7052
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8409
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 898580 0 0 0 113562 2466 0 0 25 0 1 0 838371588 7163904 1049 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 8409
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 906391 0 0 0 114540 2488 0 0 25 0 1 0 838371588 7176192 1051 4294967295 134512640 134716908 3221224592 3221223364 134624489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1752 1051 1111 63 0 1689 0
vsize: 7008
[startup+1174.93 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 8409
Raw data (stat): 8353 (bsolo_lpr-v2) R 8352 8378 8377 0 -1 0 906391 0 0 0 114540 2488 0 0 25 0 1 0 838371588 7176192 1051 4294967295 134512640 134716908 3221224592 3221223364 134624489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1752 1051 1111 63 0 1689 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.1
CPU user time (s): 1150.12
CPU system time (s): 24.9802
CPU usage (%): 100.014
Max. virtual memory (Kb): 7656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####