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-4-c.opb
MD5SUM	fabab1fefe64535b227fac16b2477da8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	324
Optimality of the best value was proved	NO
Number of terms in the objective function	648
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	648
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	648
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	0.809876
Number of variables	648
Total number of constraints	1616
Number of constraints which are clauses	1616
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 39575

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 14:01:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27641 boxname=wulflinc3 idbench=199 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  fabab1fefe64535b227fac16b2477da8  /oldhome/oroussel/tmp/wulflinc3/normalized-par16-4-c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-par16-4-c.opb
IDLAUNCH: 27641
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        275368 kB
Buffers:         34436 kB
Cached:         701424 kB
SwapCached:        240 kB
Active:          64364 kB
Inactive:       673996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        275116 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15144 kB
Committed_AS:    71856 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:20:50 (client local time) WITH STATUS 0 IN 1175.87 SECONDS
stats: 27641 7 1175.87 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 648 variables and 1616 constraints.
c After prepocess the problem consists of 618 variables and 2036 constraints.
c preprocess terminated 2.682 s
c Initial Lower Bound: 212
c Lower Bound Elapsed time: 0.547
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.85 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): 1.02 1.00 0.92 2/54 11890
Raw data (stat): 11890 (runsolver) R 11889 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893542614 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.0007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 3314 0 0 0 988 9 0 0 25 0 1 0 893542614 9756672 1692 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2382 1692 1111 63 0 2319 0
vsize: 9528
[startup+20.001 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 4956 0 0 0 1983 14 0 0 25 0 1 0 893542614 10780672 1855 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2632 1855 1111 63 0 2569 0
vsize: 10528
[startup+30.0022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 6634 0 0 0 2979 18 0 0 25 0 1 0 893542614 11001856 1807 4294967295 134512640 134716908 3221224576 3221221104 1075119949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2686 1807 1111 63 0 2623 0
vsize: 10744
[startup+40.0019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 8711 0 0 0 3974 22 0 0 25 0 1 0 893542614 10977280 1782 4294967295 134512640 134716908 3221224576 3221220380 1074787933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2680 1782 1111 63 0 2617 0
vsize: 10720
[startup+50.0025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 10841 0 0 0 4970 27 0 0 25 0 1 0 893542614 10645504 1800 4294967295 134512640 134716908 3221224576 3221220736 1074794582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2599 1800 1111 63 0 2536 0
vsize: 10396
[startup+60.0027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 13143 0 0 0 5965 33 0 0 25 0 1 0 893542614 11235328 1833 4294967295 134512640 134716908 3221224576 3221220608 1075965308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2743 1833 1111 63 0 2680 0
vsize: 10972
[startup+70.0024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 15464 0 0 0 6959 38 0 0 25 0 1 0 893542614 11141120 1921 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2720 1921 1111 63 0 2657 0
vsize: 10880
[startup+80.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 17901 0 0 0 7952 45 0 0 25 0 1 0 893542614 11010048 1785 4294967295 134512640 134716908 3221224576 3221221152 1076044992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1785 1111 63 0 2625 0
vsize: 10752
[startup+90.0031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 21063 0 0 0 8944 53 0 0 25 0 1 0 893542614 10625024 1783 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1783 1111 63 0 2531 0
vsize: 10376
[startup+100.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 23318 0 0 0 9940 58 0 0 25 0 1 0 893542614 11218944 1840 4294967295 134512640 134716908 3221224576 3221221008 1075118401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2739 1840 1111 63 0 2676 0
vsize: 10956
[startup+110.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 25825 0 0 0 10934 64 0 0 25 0 1 0 893542614 11350016 1850 4294967295 134512640 134716908 3221224576 3221221620 1074846210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2771 1850 1111 63 0 2708 0
vsize: 11084
[startup+120.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 28289 0 0 0 11929 70 0 0 25 0 1 0 893542614 11444224 1995 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1995 1111 63 0 2731 0
vsize: 11176
[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 30632 0 0 0 12925 74 0 0 25 0 1 0 893542614 11481088 1887 4294967295 134512640 134716908 3221224576 3221221104 1075397211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2803 1887 1111 63 0 2740 0
vsize: 11212
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 33357 0 0 0 13918 81 0 0 25 0 1 0 893542614 11341824 1866 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1866 1111 63 0 2706 0
vsize: 11076
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 36126 0 0 0 14912 87 0 0 25 0 1 0 893542614 9981952 1756 4294967295 134512640 134716908 3221224576 3221222704 1073986865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2437 1756 1111 63 0 2374 0
vsize: 9748
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 39040 0 0 0 15905 95 0 0 25 0 1 0 893542614 11284480 1851 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2755 1851 1111 63 0 2692 0
vsize: 11020
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 41684 0 0 0 16900 99 0 0 25 0 1 0 893542614 10358784 1793 4294967295 134512640 134716908 3221224576 3221222640 1075961696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2529 1793 1111 63 0 2466 0
vsize: 10116
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 44729 0 0 0 17894 106 0 0 25 0 1 0 893542614 11214848 1927 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2738 1927 1111 63 0 2675 0
vsize: 10952
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 47260 0 0 0 18886 113 0 0 25 0 1 0 893542614 9990144 1758 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2439 1758 1111 63 0 2376 0
vsize: 9756
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 50411 0 0 0 19880 120 0 0 25 0 1 0 893542614 11522048 1903 4294967295 134512640 134716908 3221224576 3221221232 1075967392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2813 1903 1111 63 0 2750 0
vsize: 11252
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 53117 0 0 0 20874 126 0 0 25 0 1 0 893542614 11685888 1986 4294967295 134512640 134716908 3221224576 3221220620 1074873342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2853 1986 1111 63 0 2790 0
vsize: 11412
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 55360 0 0 0 21868 132 0 0 25 0 1 0 893542614 10141696 1795 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2476 1795 1111 63 0 2413 0
vsize: 9904
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 57791 0 0 0 22863 137 0 0 25 0 1 0 893542614 10141696 1795 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2476 1795 1111 63 0 2413 0
vsize: 9904
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 60538 0 0 0 23857 144 0 0 25 0 1 0 893542614 11522048 1928 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2813 1928 1111 63 0 2750 0
vsize: 11252
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 63144 0 0 0 24850 151 0 0 25 0 1 0 893542614 10240000 1811 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2500 1811 1111 63 0 2437 0
vsize: 10000
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 65769 0 0 0 25844 157 0 0 25 0 1 0 893542614 10141696 1795 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2476 1795 1111 63 0 2413 0
vsize: 9904
[startup+270.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11892
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 68577 0 0 0 26838 163 0 0 25 0 1 0 893542614 11640832 1935 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2842 1935 1111 63 0 2779 0
vsize: 11368
[startup+280.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 71409 0 0 0 27830 171 0 0 25 0 1 0 893542614 11685888 1944 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2853 1944 1111 63 0 2790 0
vsize: 11412
[startup+290.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 73886 0 0 0 28825 177 0 0 25 0 1 0 893542614 11341824 1962 4294967295 134512640 134716908 3221224576 3221220752 1074882552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1962 1111 63 0 2706 0
vsize: 11076
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 76543 0 0 0 29819 183 0 0 25 0 1 0 893542614 10297344 1833 4294967295 134512640 134716908 3221224576 3221222708 1077378674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2514 1833 1111 63 0 2451 0
vsize: 10056
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 78902 0 0 0 30814 188 0 0 25 0 1 0 893542614 11841536 2023 4294967295 134512640 134716908 3221224576 3221221232 1075967941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 2023 1111 63 0 2828 0
vsize: 11564
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 81776 0 0 0 31806 196 0 0 25 0 1 0 893542614 11329536 1986 4294967295 134512640 134716908 3221224576 3221221840 1075894368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1986 1111 63 0 2703 0
vsize: 11064
[startup+330.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 84249 0 0 0 32800 203 0 0 25 0 1 0 893542614 11497472 2000 4294967295 134512640 134716908 3221224576 3221220608 1074790292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2807 2000 1111 63 0 2744 0
vsize: 11228
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 86528 0 0 0 33794 208 0 0 25 0 1 0 893542614 11853824 2081 4294967295 134512640 134716908 3221224576 3221220848 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2894 2081 1111 63 0 2831 0
vsize: 11576
[startup+350.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 88658 0 0 0 34789 214 0 0 25 0 1 0 893542614 11456512 2019 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2797 2019 1111 63 0 2734 0
vsize: 11188
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 90865 0 0 0 35783 220 0 0 25 0 1 0 893542614 11157504 2001 4294967295 134512640 134716908 3221224576 3221220688 1075093344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2724 2001 1111 63 0 2661 0
vsize: 10896
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 93062 0 0 0 36778 225 0 0 25 0 1 0 893542614 11792384 1997 4294967295 134512640 134716908 3221224576 3221221124 1076048714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2879 1997 1111 63 0 2816 0
vsize: 11516
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 95098 0 0 0 37773 231 0 0 25 0 1 0 893542614 11841536 2015 4294967295 134512640 134716908 3221224576 3221220724 1075964437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 2015 1111 63 0 2828 0
vsize: 11564
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 97351 0 0 0 38767 237 0 0 25 0 1 0 893542614 11423744 2003 4294967295 134512640 134716908 3221224576 3221220944 1075894554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2789 2003 1111 63 0 2726 0
vsize: 11156
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 99711 0 0 0 39760 243 0 0 25 0 1 0 893542614 11780096 1992 4294967295 134512640 134716908 3221224576 3221220548 1074786520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2876 1992 1111 63 0 2813 0
vsize: 11504
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 101941 0 0 0 40755 249 0 0 25 0 1 0 893542614 12034048 2127 4294967295 134512640 134716908 3221224576 3221220588 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 2127 1111 63 0 2875 0
vsize: 11752
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 104291 0 0 0 41750 254 0 0 25 0 1 0 893542614 12083200 2042 4294967295 134512640 134716908 3221224576 3221221568 1075110388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 2042 1111 63 0 2887 0
vsize: 11800
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 106625 0 0 0 42744 260 0 0 25 0 1 0 893542614 10952704 1954 4294967295 134512640 134716908 3221224576 3221221768 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1954 1111 63 0 2611 0
vsize: 10696
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 109204 0 0 0 43738 267 0 0 25 0 1 0 893542614 10510336 1885 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1885 1111 63 0 2503 0
vsize: 10264
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 111592 0 0 0 44733 272 0 0 25 0 1 0 893542614 11591680 1931 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2830 1931 1111 63 0 2767 0
vsize: 11320
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 114200 0 0 0 45727 278 0 0 25 0 1 0 893542614 11833344 1998 4294967295 134512640 134716908 3221224576 3221221088 1075084528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2889 1998 1111 63 0 2826 0
vsize: 11556
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 116404 0 0 0 46721 284 0 0 25 0 1 0 893542614 11866112 2001 4294967295 134512640 134716908 3221224576 3221220724 1075964433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2897 2001 1111 63 0 2834 0
vsize: 11588
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 118664 0 0 0 47715 290 0 0 25 0 1 0 893542614 11882496 2010 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2901 2010 1111 63 0 2838 0
vsize: 11604
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 120971 0 0 0 48709 296 0 0 25 0 1 0 893542614 10559488 1897 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2578 1897 1111 63 0 2515 0
vsize: 10312
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 123147 0 0 0 49704 301 0 0 25 0 1 0 893542614 11735040 2059 4294967295 134512640 134716908 3221224576 3221220784 1075895670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2865 2059 1111 63 0 2802 0
vsize: 11460
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 125119 0 0 0 50700 306 0 0 25 0 1 0 893542614 12091392 2040 4294967295 134512640 134716908 3221224576 3221220608 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2040 1111 63 0 2889 0
vsize: 11808
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 127460 0 0 0 51693 313 0 0 25 0 1 0 893542614 11952128 2032 4294967295 134512640 134716908 3221224576 3221220608 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 2032 1111 63 0 2855 0
vsize: 11672
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 129788 0 0 0 52688 319 0 0 25 0 1 0 893542614 10768384 1948 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2629 1948 1111 63 0 2566 0
vsize: 10516
[startup+540.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 132508 0 0 0 53682 324 0 0 25 0 1 0 893542614 11968512 2042 4294967295 134512640 134716908 3221224576 3221220724 1075964401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2922 2042 1111 63 0 2859 0
vsize: 11688
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 134969 0 0 0 54676 331 0 0 25 0 1 0 893542614 10596352 1906 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2587 1906 1111 63 0 2524 0
vsize: 10348
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 137385 0 0 0 55670 336 0 0 25 0 1 0 893542614 11751424 2060 4294967295 134512640 134716908 3221224576 3221220540 1074788980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2869 2060 1111 63 0 2806 0
vsize: 11476
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 139765 0 0 0 56664 343 0 0 25 0 1 0 893542614 11988992 2052 4294967295 134512640 134716908 3221224576 3221221232 1075967771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 2052 1111 63 0 2864 0
vsize: 11708
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 142296 0 0 0 57657 350 0 0 25 0 1 0 893542614 10657792 1921 4294967295 134512640 134716908 3221224576 3221223184 134543759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1921 1111 63 0 2539 0
vsize: 10408
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 144266 0 0 0 58652 355 0 0 25 0 1 0 893542614 11956224 2028 4294967295 134512640 134716908 3221224576 3221220456 1074788452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2919 2028 1111 63 0 2856 0
vsize: 11676
[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 146372 0 0 0 59647 360 0 0 25 0 1 0 893542614 12001280 2053 4294967295 134512640 134716908 3221224576 3221220912 1075113526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 2053 1111 63 0 2867 0
vsize: 11720
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 148290 0 0 0 60643 364 0 0 25 0 1 0 893542614 10706944 1933 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2614 1933 1111 63 0 2551 0
vsize: 10456
[startup+620.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 150481 0 0 0 61638 370 0 0 25 0 1 0 893542614 11657216 2067 4294967295 134512640 134716908 3221224576 3221220544 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2846 2067 1111 63 0 2783 0
vsize: 11384
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 152753 0 0 0 62633 375 0 0 25 0 1 0 893542614 10706944 1933 4294967295 134512640 134716908 3221224576 3221222912 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2614 1933 1111 63 0 2551 0
vsize: 10456
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 154989 0 0 0 63626 382 0 0 25 0 1 0 893542614 11800576 2071 4294967295 134512640 134716908 3221224576 3221220688 1075895677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2881 2071 1111 63 0 2818 0
vsize: 11524
[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 157210 0 0 0 64620 388 0 0 25 0 1 0 893542614 12021760 2091 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2935 2091 1111 63 0 2872 0
vsize: 11740
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 159296 0 0 0 65614 394 0 0 25 0 1 0 893542614 11984896 2030 4294967295 134512640 134716908 3221224576 3221220736 1074883551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2926 2030 1111 63 0 2863 0
vsize: 11704
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 161438 0 0 0 66610 399 0 0 25 0 1 0 893542614 12038144 2063 4294967295 134512640 134716908 3221224576 3221220816 1075115724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2939 2063 1111 63 0 2876 0
vsize: 11756
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 163817 0 0 0 67605 404 0 0 25 0 1 0 893542614 12222464 2072 4294967295 134512640 134716908 3221224576 3221220848 1074961132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2984 2072 1111 63 0 2921 0
vsize: 11936
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 165446 0 0 0 68603 406 0 0 25 0 1 0 893542614 12075008 2076 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2076 1111 63 0 2885 0
vsize: 11792
[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 167545 0 0 0 69599 410 0 0 25 0 1 0 893542614 12115968 2177 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2177 1111 63 0 2895 0
vsize: 11832
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 169408 0 0 0 70595 415 0 0 25 0 1 0 893542614 10825728 1962 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2643 1962 1111 63 0 2580 0
vsize: 10572
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 171726 0 0 0 71588 422 0 0 25 0 1 0 893542614 11812864 2102 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2884 2102 1111 63 0 2821 0
vsize: 11536
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 173925 0 0 0 72583 428 0 0 25 0 1 0 893542614 12193792 2092 4294967295 134512640 134716908 3221224576 3221220724 1075964393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2092 1111 63 0 2914 0
vsize: 11908
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 176093 0 0 0 73578 433 0 0 25 0 1 0 893542614 12058624 2018 4294967295 134512640 134716908 3221224576 3221220804 1075115127 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2944 2018 1111 63 0 2881 0
vsize: 11776
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 178356 0 0 0 74572 439 0 0 25 0 1 0 893542614 12062720 2142 4294967295 134512640 134716908 3221224576 3221220688 1074790230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2945 2142 1111 63 0 2882 0
vsize: 11780
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 180316 0 0 0 75568 443 0 0 25 0 1 0 893542614 10887168 1977 4294967295 134512640 134716908 3221224576 3221223120 134652836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1977 1111 63 0 2595 0
vsize: 10632
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 182341 0 0 0 76563 447 0 0 25 0 1 0 893542614 12279808 2122 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2998 2122 1111 63 0 2935 0
vsize: 11992
[startup+780.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 184755 0 0 0 77558 453 0 0 25 0 1 0 893542614 10903552 1981 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2662 1981 1111 63 0 2599 0
vsize: 10648
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 186671 0 0 0 78552 459 0 0 25 0 1 0 893542614 12410880 2154 4294967295 134512640 134716908 3221224576 3221220784 1074815208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 2154 1111 63 0 2967 0
vsize: 12120
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 188614 0 0 0 79547 464 0 0 25 0 1 0 893542614 12414976 2154 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2154 1111 63 0 2968 0
vsize: 12124
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 190680 0 0 0 80542 469 0 0 25 0 1 0 893542614 12423168 2135 4294967295 134512640 134716908 3221224576 3221221232 1075967440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3033 2135 1111 63 0 2970 0
vsize: 12132
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 192625 0 0 0 81538 474 0 0 25 0 1 0 893542614 11145216 2040 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 2040 1111 63 0 2658 0
vsize: 10884
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 194447 0 0 0 82533 479 0 0 25 0 1 0 893542614 12488704 2155 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3049 2155 1111 63 0 2986 0
vsize: 12196
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 196563 0 0 0 83527 486 0 0 25 0 1 0 893542614 12115968 2179 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2179 1111 63 0 2895 0
vsize: 11832
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 198449 0 0 0 84523 490 0 0 25 0 1 0 893542614 12509184 2160 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3054 2160 1111 63 0 2991 0
vsize: 12216
[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 200541 0 0 0 85518 495 0 0 25 0 1 0 893542614 12300288 2198 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3003 2198 1111 63 0 2940 0
vsize: 12012
[startup+870.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 202734 0 0 0 86513 500 0 0 25 0 1 0 893542614 12500992 2270 4294967295 134512640 134716908 3221224576 3221220608 1074790226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3052 2270 1111 63 0 2989 0
vsize: 12208
[startup+880.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 205104 0 0 0 87506 507 0 0 25 0 1 0 893542614 11145216 2041 4294967295 134512640 134716908 3221224576 3221222880 1074143905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 2041 1111 63 0 2658 0
vsize: 10884
[startup+890.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 207210 0 0 0 88501 512 0 0 25 0 1 0 893542614 11145216 2041 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 2041 1111 63 0 2658 0
vsize: 10884
[startup+900.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 209498 0 0 0 89495 518 0 0 25 0 1 0 893542614 12185600 2198 4294967295 134512640 134716908 3221224576 3221220460 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2975 2198 1111 63 0 2912 0
vsize: 11900
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 211662 0 0 0 90491 523 0 0 25 0 1 0 893542614 12505088 2157 4294967295 134512640 134716908 3221224576 3221221504 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3053 2157 1111 63 0 2990 0
vsize: 12212
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 214075 0 0 0 91485 529 0 0 25 0 1 0 893542614 12075008 2195 4294967295 134512640 134716908 3221224576 3221220496 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2195 1111 63 0 2885 0
vsize: 11792
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 215983 0 0 0 92481 533 0 0 25 0 1 0 893542614 12500992 2174 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3052 2174 1111 63 0 2989 0
vsize: 12208
[startup+940.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 217707 0 0 0 93477 538 0 0 25 0 1 0 893542614 11608064 2148 4294967295 134512640 134716908 3221224576 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2834 2148 1111 63 0 2771 0
vsize: 11336
[startup+950.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 219560 0 0 0 94472 543 0 0 25 0 1 0 893542614 11509760 2130 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 2130 1111 63 0 2747 0
vsize: 11240
[startup+960.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 221199 0 0 0 95468 546 0 0 25 0 1 0 893542614 11509760 2130 4294967295 134512640 134716908 3221224576 3221222632 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 2130 1111 63 0 2747 0
vsize: 11240
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 223057 0 0 0 96464 550 0 0 25 0 1 0 893542614 12996608 2274 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 2274 1111 63 0 3110 0
vsize: 12692
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 224686 0 0 0 97461 554 0 0 25 0 1 0 893542614 12742656 2198 4294967295 134512640 134716908 3221224576 3221220620 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3111 2198 1111 63 0 3048 0
vsize: 12444
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 226358 0 0 0 98457 558 0 0 25 0 1 0 893542614 12726272 2243 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3107 2243 1111 63 0 3044 0
vsize: 12428
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 228045 0 0 0 99453 563 0 0 25 0 1 0 893542614 12738560 2223 4294967295 134512640 134716908 3221224576 3221220380 1074787507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3110 2223 1111 63 0 3047 0
vsize: 12440
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 229997 0 0 0 100448 568 0 0 25 0 1 0 893542614 12644352 2193 4294967295 134512640 134716908 3221224576 3221221232 1075969308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2193 1111 63 0 3024 0
vsize: 12348
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 231987 0 0 0 101443 573 0 0 25 0 1 0 893542614 11489280 2125 4294967295 134512640 134716908 3221224576 3221222760 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 2125 1111 63 0 2742 0
vsize: 11220
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 234228 0 0 0 102437 579 0 0 25 0 1 0 893542614 12419072 2253 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3032 2253 1111 63 0 2969 0
vsize: 12128
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 236345 0 0 0 103432 584 0 0 25 0 1 0 893542614 12767232 2203 4294967295 134512640 134716908 3221224576 3221220552 1074788565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3117 2203 1111 63 0 3054 0
vsize: 12468
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 238403 0 0 0 104427 590 0 0 25 0 1 0 893542614 12812288 2247 4294967295 134512640 134716908 3221224576 3221220720 1074969480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3128 2247 1111 63 0 3065 0
vsize: 12512
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 240566 0 0 0 105422 595 0 0 25 0 1 0 893542614 11509760 2132 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 2132 1111 63 0 2747 0
vsize: 11240
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 242605 0 0 0 106417 600 0 0 25 0 1 0 893542614 11509760 2132 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 2132 1111 63 0 2747 0
vsize: 11240
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 244767 0 0 0 107411 606 0 0 25 0 1 0 893542614 11509760 2132 4294967295 134512640 134716908 3221224576 3221222536 1074057994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2810 2132 1111 63 0 2747 0
vsize: 11240
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 246792 0 0 0 108406 611 0 0 25 0 1 0 893542614 12591104 2185 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3074 2185 1111 63 0 3011 0
vsize: 12296
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 248818 0 0 0 109402 615 0 0 25 0 1 0 893542614 12939264 2288 4294967295 134512640 134716908 3221224576 3221220912 1075113481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3159 2288 1111 63 0 3096 0
vsize: 12636
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 250937 0 0 0 110397 620 0 0 25 0 1 0 893542614 12886016 2256 4294967295 134512640 134716908 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3146 2256 1111 63 0 3083 0
vsize: 12584
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 253395 0 0 0 111392 626 0 0 25 0 1 0 893542614 12873728 2266 4294967295 134512640 134716908 3221224576 3221221108 1075863672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 2266 1111 63 0 3080 0
vsize: 12572
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 255861 0 0 0 112386 632 0 0 25 0 1 0 893542614 12324864 2226 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3009 2226 1111 63 0 2946 0
vsize: 12036
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 258104 0 0 0 113379 639 0 0 25 0 1 0 893542614 13213696 2356 4294967295 134512640 134716908 3221224576 3221221344 1076083431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3226 2356 1111 63 0 3163 0
vsize: 12904
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 260170 0 0 0 114373 645 0 0 25 0 1 0 893542614 12963840 2293 4294967295 134512640 134716908 3221224576 3221220792 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3165 2293 1111 63 0 3102 0
vsize: 12660
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 262294 0 0 0 115369 649 0 0 25 0 1 0 893542614 12267520 2262 4294967295 134512640 134716908 3221224576 3221220756 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2995 2262 1111 63 0 2932 0
vsize: 11980
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 264404 0 0 0 116363 655 0 0 25 0 1 0 893542614 11722752 2184 4294967295 134512640 134716908 3221224576 3221222528 1074916744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2862 2184 1111 63 0 2799 0
vsize: 11448
[startup+1175.71 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 11894
Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 264404 0 0 0 116363 655 0 0 25 0 1 0 893542614 11722752 2184 4294967295 134512640 134716908 3221224576 3221222528 1074916744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2862 2184 1111 63 0 2799 0
vsize: 0

Child status: 0
Real time (s): 1175.71
CPU time (s): 1175.87
CPU user time (s): 1169.28
CPU system time (s): 6.586
CPU usage (%): 100.014
Max. virtual memory (Kb): 12904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####