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-par16-2-c.opb
MD5SUM	e4299a962dbf619cce8fa1cb0ec0a149
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	349
Optimality of the best value was proved	NO
Number of terms in the objective function	698
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	698
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	698
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	3.33749
Number of variables	698
Total number of constraints	1741
Number of constraints which are clauses	1741
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	2
Maximum length of a constraint	3
Trace number 39571

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 13:41:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27637 boxname=wulflinc6 idbench=195 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  e4299a962dbf619cce8fa1cb0ec0a149  /oldhome/oroussel/tmp/wulflinc6/normalized-par16-2-c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-par16-2-c.opb
IDLAUNCH: 27637
/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:        838032 kB
Buffers:         33752 kB
Cached:         140872 kB
SwapCached:       1020 kB
Active:          38748 kB
Inactive:       138044 kB
HighTotal:      131008 kB
HighFree:        96516 kB
LowTotal:       903652 kB
LowFree:        741516 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            14044 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:01:15 (client local time) WITH STATUS 0 IN 1176.19 SECONDS
stats: 27637 7 1176.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 698 variables and 1741 constraints.
c After prepocess the problem consists of 668 variables and 2161 constraints.
c preprocess terminated 2.676 s
c Initial Lower Bound: 225
c Lower Bound Elapsed time: 0.631
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.17 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.95 2/54 14995
Raw data (stat): 14995 (runsolver) R 14994 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893432638 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 3459 0 0 0 988 10 0 0 25 0 1 0 893432638 11456512 1940 4294967295 134512640 134716908 3221224576 3221221672 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2797 1941 1111 63 0 2734 0
vsize: 11188
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 4891 0 0 0 1984 14 0 0 25 0 1 0 893432638 10006528 1762 4294967295 134512640 134716908 3221224576 3221222924 1074146096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2443 1762 1111 63 0 2380 0
vsize: 9772
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 6404 0 0 0 2980 18 0 0 25 0 1 0 893432638 10006528 1762 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2443 1762 1111 63 0 2380 0
vsize: 9772
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 8522 0 0 0 3975 24 0 0 25 0 1 0 893432638 10006528 1762 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2443 1762 1111 63 0 2380 0
vsize: 9772
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 10538 0 0 0 4970 29 0 0 25 0 1 0 893432638 10907648 1849 4294967295 134512640 134716908 3221224576 3221221576 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2663 1849 1111 63 0 2600 0
vsize: 10652
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 12937 0 0 0 5963 36 0 0 25 0 1 0 893432638 11137024 1818 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2719 1818 1111 63 0 2656 0
vsize: 10876
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 14970 0 0 0 6958 41 0 0 25 0 1 0 893432638 10760192 1842 4294967295 134512640 134716908 3221224576 3221221132 1073969480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2627 1842 1111 63 0 2564 0
vsize: 10508
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 17710 0 0 0 7952 49 0 0 25 0 1 0 893432638 10006528 1762 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2443 1762 1111 63 0 2380 0
vsize: 9772
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 20295 0 0 0 8945 55 0 0 25 0 1 0 893432638 11280384 1938 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2754 1938 1111 63 0 2691 0
vsize: 11016
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 22670 0 0 0 9939 62 0 0 25 0 1 0 893432638 11313152 1878 4294967295 134512640 134716908 3221224576 3221220444 1074787767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2762 1878 1111 63 0 2699 0
vsize: 11048
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 24944 0 0 0 10932 69 0 0 25 0 1 0 893432638 11276288 1815 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2753 1815 1111 63 0 2690 0
vsize: 11012
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 27614 0 0 0 11926 76 0 0 25 0 1 0 893432638 11350016 1862 4294967295 134512640 134716908 3221224576 3221220444 1074787756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2771 1862 1111 63 0 2708 0
vsize: 11084
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 29980 0 0 0 12920 82 0 0 25 0 1 0 893432638 11137024 1921 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2719 1921 1111 63 0 2656 0
vsize: 10876
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 32181 0 0 0 13914 88 0 0 25 0 1 0 893432638 11489280 1884 4294967295 134512640 134716908 3221224576 3221220736 1074883632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2805 1884 1111 63 0 2742 0
vsize: 11220
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 34664 0 0 0 14908 95 0 0 25 0 1 0 893432638 11300864 1854 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2759 1854 1111 63 0 2696 0
vsize: 11036
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 37043 0 0 0 15903 100 0 0 25 0 1 0 893432638 10006528 1762 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2443 1762 1111 63 0 2380 0
vsize: 9772
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 39457 0 0 0 16895 108 0 0 25 0 1 0 893432638 10006528 1762 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2443 1762 1111 63 0 2380 0
vsize: 9772
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 41793 0 0 0 17889 115 0 0 25 0 1 0 893432638 11554816 1904 4294967295 134512640 134716908 3221224576 3221220848 1074960930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2821 1904 1111 63 0 2758 0
vsize: 11284
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 44466 0 0 0 18881 123 0 0 25 0 1 0 893432638 11177984 1914 4294967295 134512640 134716908 3221224576 3221220720 1074969474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1914 1111 63 0 2666 0
vsize: 10916
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 46994 0 0 0 19875 129 0 0 25 0 1 0 893432638 11411456 1889 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2786 1889 1111 63 0 2723 0
vsize: 11144
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 50008 0 0 0 20867 138 0 0 25 0 1 0 893432638 10006528 1762 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2443 1762 1111 63 0 2380 0
vsize: 9772
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 52501 0 0 0 21861 145 0 0 25 0 1 0 893432638 10006528 1762 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2443 1762 1111 63 0 2380 0
vsize: 9772
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 55509 0 0 0 22852 153 0 0 25 0 1 0 893432638 11190272 1915 4294967295 134512640 134716908 3221224576 3221221344 1076083315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2732 1915 1111 63 0 2669 0
vsize: 10928
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 57972 0 0 0 23846 160 0 0 25 0 1 0 893432638 11280384 1950 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2754 1950 1111 63 0 2691 0
vsize: 11016
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 60647 0 0 0 24839 168 0 0 25 0 1 0 893432638 10043392 1771 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2452 1771 1111 63 0 2389 0
vsize: 9808
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 63391 0 0 0 25832 175 0 0 25 0 1 0 893432638 11661312 1939 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2847 1939 1111 63 0 2784 0
vsize: 11388
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 66114 0 0 0 26825 182 0 0 25 0 1 0 893432638 10997760 1889 4294967295 134512640 134716908 3221224576 3221221728 1075969854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2685 1889 1111 63 0 2622 0
vsize: 10740
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 68592 0 0 0 27819 188 0 0 25 0 1 0 893432638 11280384 1949 4294967295 134512640 134716908 3221224576 3221220540 1074788921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2754 1949 1111 63 0 2691 0
vsize: 11016
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 71448 0 0 0 28811 197 0 0 25 0 1 0 893432638 10395648 1810 4294967295 134512640 134716908 3221224576 3221222520 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2538 1813 1111 63 0 2475 0
vsize: 10152
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 73975 0 0 0 29803 205 0 0 25 0 1 0 893432638 11894784 1999 4294967295 134512640 134716908 3221224576 3221220848 1074961171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2904 1999 1111 63 0 2841 0
vsize: 11616
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 75925 0 0 0 30798 210 0 0 25 0 1 0 893432638 11505664 2023 4294967295 134512640 134716908 3221224576 3221220676 1075964221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2809 2023 1111 63 0 2746 0
vsize: 11236
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 77656 0 0 0 31794 215 0 0 25 0 1 0 893432638 10600448 1908 4294967295 134512640 134716908 3221224576 3221222488 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1908 1111 63 0 2525 0
vsize: 10352
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 79725 0 0 0 32789 221 0 0 25 0 1 0 893432638 10600448 1908 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1908 1111 63 0 2525 0
vsize: 10352
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 81571 0 0 0 33783 226 0 0 25 0 1 0 893432638 11657216 2034 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2846 2034 1111 63 0 2783 0
vsize: 11384
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 83402 0 0 0 34779 231 0 0 25 0 1 0 893432638 12009472 2018 4294967295 134512640 134716908 3221224576 3221220456 1074788477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2932 2018 1111 63 0 2869 0
vsize: 11728
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 85152 0 0 0 35774 236 0 0 25 0 1 0 893432638 10600448 1908 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1908 1111 63 0 2525 0
vsize: 10352
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 87473 0 0 0 36769 242 0 0 25 0 1 0 893432638 12034048 2012 4294967295 134512640 134716908 3221224576 3221220848 1074961120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2938 2012 1111 63 0 2875 0
vsize: 11752
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 89567 0 0 0 37763 248 0 0 25 0 1 0 893432638 11710464 2054 4294967295 134512640 134716908 3221224576 3221221616 1075971392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2859 2054 1111 63 0 2796 0
vsize: 11436
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 91773 0 0 0 38758 253 0 0 25 0 1 0 893432638 11911168 2021 4294967295 134512640 134716908 3221224576 3221220904 1074972633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2908 2021 1111 63 0 2845 0
vsize: 11632
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 94066 0 0 0 39752 260 0 0 25 0 1 0 893432638 10600448 1908 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1908 1111 63 0 2525 0
vsize: 10352
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 96633 0 0 0 40744 268 0 0 25 0 1 0 893432638 12120064 2023 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2959 2023 1111 63 0 2896 0
vsize: 11836
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 98603 0 0 0 41740 273 0 0 25 0 1 0 893432638 11935744 2016 4294967295 134512640 134716908 3221224576 3221220804 1075114957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2914 2016 1111 63 0 2851 0
vsize: 11656
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 100973 0 0 0 42733 280 0 0 25 0 1 0 893432638 11747328 2058 4294967295 134512640 134716908 3221224576 3221220592 1074788664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2868 2058 1111 63 0 2805 0
vsize: 11472
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 103432 0 0 0 43728 286 0 0 25 0 1 0 893432638 10600448 1908 4294967295 134512640 134716908 3221224576 3221223232 134652244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1908 1111 63 0 2525 0
vsize: 10352
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 106049 0 0 0 44720 294 0 0 25 0 1 0 893432638 10600448 1908 4294967295 134512640 134716908 3221224576 3221223216 134698456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2588 1908 1111 63 0 2525 0
vsize: 10352
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 108585 0 0 0 45713 301 0 0 25 0 1 0 893432638 12177408 2056 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2973 2056 1111 63 0 2910 0
vsize: 11892
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 110977 0 0 0 46707 307 0 0 25 0 1 0 893432638 12038144 2056 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2939 2056 1111 63 0 2876 0
vsize: 11756
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 113883 0 0 0 47700 315 0 0 25 0 1 0 893432638 10637312 1917 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2597 1917 1111 63 0 2534 0
vsize: 10388
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 116585 0 0 0 48693 322 0 0 25 0 1 0 893432638 10678272 1927 4294967295 134512640 134716908 3221224576 3221222828 1073972552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2607 1927 1111 63 0 2544 0
vsize: 10428
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 119233 0 0 0 49686 329 0 0 25 0 1 0 893432638 11780096 2089 4294967295 134512640 134716908 3221224576 3221220912 1075114272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2876 2089 1111 63 0 2813 0
vsize: 11504
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 121439 0 0 0 50681 334 0 0 25 0 1 0 893432638 10772480 1950 4294967295 134512640 134716908 3221224576 3221222884 1077402435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2630 1950 1111 63 0 2567 0
vsize: 10520
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 124216 0 0 0 51674 342 0 0 25 0 1 0 893432638 10772480 1950 4294967295 134512640 134716908 3221224576 3221223200 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2630 1950 1111 63 0 2567 0
vsize: 10520
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 126839 0 0 0 52668 349 0 0 25 0 1 0 893432638 12402688 2077 4294967295 134512640 134716908 3221224576 3221220720 1074950920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2077 1111 63 0 2965 0
vsize: 12112
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 129081 0 0 0 53662 354 0 0 25 0 1 0 893432638 11874304 2116 4294967295 134512640 134716908 3221224576 3221220784 1074815186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2899 2116 1111 63 0 2836 0
vsize: 11596
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 131608 0 0 0 54655 362 0 0 25 0 1 0 893432638 10801152 1957 4294967295 134512640 134716908 3221224576 3221222976 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2637 1957 1111 63 0 2574 0
vsize: 10548
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 133893 0 0 0 55650 367 0 0 25 0 1 0 893432638 12443648 2128 4294967295 134512640 134716908 3221224576 3221220660 1075964431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3038 2128 1111 63 0 2975 0
vsize: 12152
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 135760 0 0 0 56645 373 0 0 25 0 1 0 893432638 12328960 2119 4294967295 134512640 134716908 3221224576 3221220896 1075171780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3010 2119 1111 63 0 2947 0
vsize: 12040
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 137982 0 0 0 57638 380 0 0 25 0 1 0 893432638 12419072 2121 4294967295 134512640 134716908 3221224576 3221220848 1074799330 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2121 1111 63 0 2969 0
vsize: 12128
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 140194 0 0 0 58634 385 0 0 25 0 1 0 893432638 12333056 2222 4294967295 134512640 134716908 3221224576 3221221104 1075397213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 2222 1111 63 0 2948 0
vsize: 12044
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 142217 0 0 0 59629 390 0 0 25 0 1 0 893432638 12083200 2135 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2950 2135 1111 63 0 2887 0
vsize: 11800
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 144532 0 0 0 60622 397 0 0 25 0 1 0 893432638 11878400 2110 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2900 2110 1111 63 0 2837 0
vsize: 11600
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 146664 0 0 0 61615 404 0 0 25 0 1 0 893432638 12402688 2169 4294967295 134512640 134716908 3221224576 3221220472 1074789545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2169 1111 63 0 2965 0
vsize: 12112
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 149008 0 0 0 62609 411 0 0 25 0 1 0 893432638 12394496 2134 4294967295 134512640 134716908 3221224576 3221220848 1074961355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3026 2134 1111 63 0 2963 0
vsize: 12104
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 151206 0 0 0 63604 417 0 0 25 0 1 0 893432638 12013568 2142 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 2142 1111 63 0 2870 0
vsize: 11732
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 153181 0 0 0 64598 423 0 0 25 0 1 0 893432638 12591104 2165 4294967295 134512640 134716908 3221224576 3221221104 1075397136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3074 2165 1111 63 0 3011 0
vsize: 12296
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 155161 0 0 0 65593 428 0 0 25 0 1 0 893432638 12021760 2132 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2935 2132 1111 63 0 2872 0
vsize: 11740
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 157268 0 0 0 66588 434 0 0 25 0 1 0 893432638 12402688 2098 4294967295 134512640 134716908 3221224576 3221220720 1074970486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2098 1111 63 0 2965 0
vsize: 12112
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 159196 0 0 0 67584 438 0 0 25 0 1 0 893432638 12599296 2164 4294967295 134512640 134716908 3221224576 3221220704 1075561092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3076 2164 1111 63 0 3013 0
vsize: 12304
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 161533 0 0 0 68577 445 0 0 25 0 1 0 893432638 12234752 2083 4294967295 134512640 134716908 3221224576 3221220604 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2987 2083 1111 63 0 2924 0
vsize: 11948
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 163520 0 0 0 69572 451 0 0 25 0 1 0 893432638 11104256 2031 4294967295 134512640 134716908 3221224576 3221222784 1073978430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2711 2031 1111 63 0 2648 0
vsize: 10844
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 165597 0 0 0 70566 457 0 0 25 0 1 0 893432638 12611584 2164 4294967295 134512640 134716908 3221224576 3221221232 1075967926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 2164 1111 63 0 3016 0
vsize: 12316
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 167702 0 0 0 71561 463 0 0 25 0 1 0 893432638 12627968 2265 4294967295 134512640 134716908 3221224576 3221220728 1074792435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2265 1111 63 0 3020 0
vsize: 12332
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 169847 0 0 0 72556 468 0 0 25 0 1 0 893432638 12255232 2089 4294967295 134512640 134716908 3221224576 3221220608 1075965250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2992 2089 1111 63 0 2929 0
vsize: 11968
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 171797 0 0 0 73552 473 0 0 25 0 1 0 893432638 12660736 2174 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3091 2174 1111 63 0 3028 0
vsize: 12364
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 173891 0 0 0 74546 478 0 0 25 0 1 0 893432638 12484608 2159 4294967295 134512640 134716908 3221224576 3221220804 1075115014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3048 2159 1111 63 0 2985 0
vsize: 12192
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 176208 0 0 0 75539 486 0 0 25 0 1 0 893432638 12165120 2132 4294967295 134512640 134716908 3221224576 3221221592 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2132 1111 63 0 2907 0
vsize: 11880
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 178253 0 0 0 76534 491 0 0 25 0 1 0 893432638 11182080 2050 4294967295 134512640 134716908 3221224576 3221222960 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2730 2050 1111 63 0 2667 0
vsize: 10920
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 180253 0 0 0 77529 497 0 0 25 0 1 0 893432638 12132352 2176 4294967295 134512640 134716908 3221224576 3221220736 1074794597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2962 2176 1111 63 0 2899 0
vsize: 11848
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 182369 0 0 0 78524 503 0 0 25 0 1 0 893432638 12521472 2167 4294967295 134512640 134716908 3221224576 3221220512 1075965303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2167 1111 63 0 2994 0
vsize: 12228
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 184710 0 0 0 79518 509 0 0 25 0 1 0 893432638 11182080 2050 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2730 2050 1111 63 0 2667 0
vsize: 10920
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 186920 0 0 0 80511 515 0 0 25 0 1 0 893432638 12513280 2169 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2169 1111 63 0 2992 0
vsize: 12220
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 189286 0 0 0 81505 522 0 0 25 0 1 0 893432638 12136448 2171 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2963 2171 1111 63 0 2900 0
vsize: 11852
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 191698 0 0 0 82498 530 0 0 25 0 1 0 893432638 12464128 2126 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3043 2126 1111 63 0 2980 0
vsize: 12172
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 194260 0 0 0 83492 536 0 0 25 0 1 0 893432638 12738560 2291 4294967295 134512640 134716908 3221224576 3221220508 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3110 2291 1111 63 0 3047 0
vsize: 12440
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 196358 0 0 0 84487 541 0 0 25 0 1 0 893432638 12574720 2163 4294967295 134512640 134716908 3221224576 3221220608 1075965256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2163 1111 63 0 3007 0
vsize: 12280
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 198651 0 0 0 85481 547 0 0 25 0 1 0 893432638 12730368 2191 4294967295 134512640 134716908 3221224576 3221220576 1075965294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3108 2191 1111 63 0 3045 0
vsize: 12432
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 201231 0 0 0 86476 553 0 0 25 0 1 0 893432638 12791808 2187 4294967295 134512640 134716908 3221224576 3221220724 1075964433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3123 2187 1111 63 0 3060 0
vsize: 12492
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 203581 0 0 0 87470 560 0 0 25 0 1 0 893432638 12247040 2202 4294967295 134512640 134716908 3221224576 3221220848 1074960946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2990 2202 1111 63 0 2927 0
vsize: 11960
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 205989 0 0 0 88464 566 0 0 25 0 1 0 893432638 12697600 2209 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3100 2209 1111 63 0 3037 0
vsize: 12400
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 208320 0 0 0 89458 572 0 0 25 0 1 0 893432638 12476416 2233 4294967295 134512640 134716908 3221224576 3221220736 1074794575 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3046 2233 1111 63 0 2983 0
vsize: 12184
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 211044 0 0 0 90450 581 0 0 25 0 1 0 893432638 11411456 2106 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2786 2106 1111 63 0 2723 0
vsize: 11144
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 213597 0 0 0 91443 588 0 0 25 0 1 0 893432638 12787712 2221 4294967295 134512640 134716908 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2221 1111 63 0 3059 0
vsize: 12488
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 216040 0 0 0 92437 594 0 0 25 0 1 0 893432638 12857344 2240 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3139 2240 1111 63 0 3076 0
vsize: 12556
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 218421 0 0 0 93431 600 0 0 25 0 1 0 893432638 11411456 2106 4294967295 134512640 134716908 3221224576 3221222740 1077378621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2786 2106 1111 63 0 2723 0
vsize: 11144
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 220772 0 0 0 94425 606 0 0 25 0 1 0 893432638 12910592 2275 4294967295 134512640 134716908 3221224576 3221220512 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2275 1111 63 0 3089 0
vsize: 12608
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 222919 0 0 0 95421 611 0 0 25 0 1 0 893432638 12955648 2277 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2277 1111 63 0 3100 0
vsize: 12652
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 225011 0 0 0 96417 615 0 0 25 0 1 0 893432638 12599296 2293 4294967295 134512640 134716908 3221224576 3221220536 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3076 2293 1111 63 0 3013 0
vsize: 12304
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 227032 0 0 0 97412 620 0 0 25 0 1 0 893432638 12881920 2340 4294967295 134512640 134716908 3221224576 3221220544 1074872775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3145 2340 1111 63 0 3082 0
vsize: 12580
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 229323 0 0 0 98406 627 0 0 25 0 1 0 893432638 12574720 2268 4294967295 134512640 134716908 3221224576 3221220540 1074788159 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2268 1111 63 0 3007 0
vsize: 12280
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 231537 0 0 0 99400 633 0 0 25 0 1 0 893432638 12513280 2259 4294967295 134512640 134716908 3221224576 3221220780 1075564159 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2259 1111 63 0 2992 0
vsize: 12220
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 233888 0 0 0 100394 640 0 0 25 0 1 0 893432638 12988416 2281 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3171 2281 1111 63 0 3108 0
vsize: 12684
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 236415 0 0 0 101388 646 0 0 25 0 1 0 893432638 11546624 2139 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 2139 1111 63 0 2756 0
vsize: 11276
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 238974 0 0 0 102382 652 0 0 25 0 1 0 893432638 11546624 2139 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 2139 1111 63 0 2756 0
vsize: 11276
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 241510 0 0 0 103376 659 0 0 25 0 1 0 893432638 11575296 2146 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2826 2146 1111 63 0 2763 0
vsize: 11304
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 243975 0 0 0 104369 666 0 0 25 0 1 0 893432638 11595776 2151 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2831 2151 1111 63 0 2768 0
vsize: 11324
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 246545 0 0 0 105360 674 0 0 25 0 1 0 893432638 11882496 2204 4294967295 134512640 134716908 3221224576 3221222792 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2901 2204 1111 63 0 2838 0
vsize: 11604
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 248419 0 0 0 106355 680 0 0 25 0 1 0 893432638 13139968 2274 4294967295 134512640 134716908 3221224576 3221220720 1074970267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2274 1111 63 0 3145 0
vsize: 12832
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 250800 0 0 0 107349 686 0 0 25 0 1 0 893432638 13148160 2280 4294967295 134512640 134716908 3221224576 3221220620 1074873554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 2280 1111 63 0 3147 0
vsize: 12840
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 253080 0 0 0 108344 692 0 0 25 0 1 0 893432638 11849728 2213 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2893 2213 1111 63 0 2830 0
vsize: 11572
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 14995
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 255180 0 0 0 109339 697 0 0 25 0 1 0 893432638 11849728 2213 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2893 2213 1111 63 0 2830 0
vsize: 11572
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15048
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 257570 0 0 0 110332 704 0 0 25 0 1 0 893432638 13148160 2272 4294967295 134512640 134716908 3221224576 3221220724 1075964437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 2272 1111 63 0 3147 0
vsize: 12840
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15048
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 259893 0 0 0 111326 711 0 0 25 0 1 0 893432638 12771328 2302 4294967295 134512640 134716908 3221224576 3221221104 1075397139 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3118 2302 1111 63 0 3055 0
vsize: 12472
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15048
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 262014 0 0 0 112320 717 0 0 25 0 1 0 893432638 11849728 2213 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2893 2213 1111 63 0 2830 0
vsize: 11572
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15048
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 264214 0 0 0 113315 722 0 0 25 0 1 0 893432638 12980224 2252 4294967295 134512640 134716908 3221224576 3221220632 1074789584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3169 2252 1111 63 0 3106 0
vsize: 12676
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15048
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 266347 0 0 0 114310 728 0 0 25 0 1 0 893432638 13135872 2394 4294967295 134512640 134716908 3221224576 3221220540 1074788226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3207 2394 1111 63 0 3144 0
vsize: 12828
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15048
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 268223 0 0 0 115305 733 0 0 25 0 1 0 893432638 11849728 2214 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2893 2214 1111 63 0 2830 0
vsize: 11572
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15048
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 270479 0 0 0 116299 739 0 0 25 0 1 0 893432638 12775424 2333 4294967295 134512640 134716908 3221224576 3221220784 1075895691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2333 1111 63 0 3056 0
vsize: 12476
[startup+1175.82 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 15050
Raw data (stat): 14995 (bsolo_lpr-v2) R 14994 25568 25567 0 -1 0 270479 0 0 0 116299 739 0 0 25 0 1 0 893432638 12775424 2333 4294967295 134512640 134716908 3221224576 3221220784 1075895691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2333 1111 63 0 3056 0
vsize: 0

Child status: 0
Real time (s): 1175.82
CPU time (s): 1176.19
CPU user time (s): 1168.76
CPU system time (s): 7.42687
CPU usage (%): 100.031
Max. virtual memory (Kb): 12840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####