PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
MD5SUM	2cb05b3a6451c60276a625949666f14e
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	51
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12498
Number of variables	4000
Total number of constraints	180
Number of constraints which are clauses	100
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	50
Trace number 39396

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 07:53:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27461 boxname=wulflinc2 idbench=19 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  2cb05b3a6451c60276a625949666f14e  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl40_50_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl40_50_pb.cnf.cr.opb
IDLAUNCH: 27461
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        271208 kB
Buffers:         34024 kB
Cached:         705740 kB
SwapCached:       1164 kB
Active:          34436 kB
Inactive:       707756 kB
HighTotal:      131008 kB
HighFree:        17332 kB
LowTotal:       903652 kB
LowFree:        253876 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15612 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:13:03 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27461 7 1175.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4000 variables and 180 constraints.
c After prepocess the problem consists of 4000 variables and 180 constraints.
c preprocess terminated 1.775 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.87 2/54 21687
Raw data (stat): 21687 (runsolver) R 21686 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891347780 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.0014 s]
Raw data (loadavg): 0.93 0.95 0.87 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1618 0 0 0 989 7 0 0 25 0 1 0 891347780 9830400 1536 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2400 1536 1111 63 0 2337 0
vsize: 9600
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.87 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1656 0 0 0 1986 10 0 0 25 0 1 0 891347780 9965568 1574 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2433 1574 1111 63 0 2370 0
vsize: 9732
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.87 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1713 0 0 0 2983 12 0 0 25 0 1 0 891347780 10235904 1631 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2499 1631 1111 63 0 2436 0
vsize: 9996
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.87 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1734 0 0 0 3980 15 0 0 25 0 1 0 891347780 10371072 1652 4294967295 134512640 134716908 3221224576 3221223168 134548587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2532 1652 1111 63 0 2469 0
vsize: 10128
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1742 0 0 0 4978 17 0 0 25 0 1 0 891347780 10371072 1660 4294967295 134512640 134716908 3221224576 3221223096 134699838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2532 1660 1111 63 0 2469 0
vsize: 10128
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1760 0 0 0 5977 19 0 0 25 0 1 0 891347780 10371072 1678 4294967295 134512640 134716908 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2532 1678 1111 63 0 2469 0
vsize: 10128
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1782 0 0 0 6975 21 0 0 25 0 1 0 891347780 10506240 1700 4294967295 134512640 134716908 3221224576 3221223288 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2565 1700 1111 63 0 2502 0
vsize: 10260
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1794 0 0 0 7974 22 0 0 25 0 1 0 891347780 10506240 1712 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2565 1712 1111 63 0 2502 0
vsize: 10260
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1807 0 0 0 8972 24 0 0 25 0 1 0 891347780 10641408 1725 4294967295 134512640 134716908 3221224576 3221222988 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2598 1725 1111 63 0 2535 0
vsize: 10392
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1822 0 0 0 9970 26 0 0 25 0 1 0 891347780 10641408 1740 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2598 1740 1111 63 0 2535 0
vsize: 10392
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1844 0 0 0 10968 28 0 0 25 0 1 0 891347780 10776576 1762 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2631 1762 1111 63 0 2568 0
vsize: 10524
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1844 0 0 0 11967 30 0 0 25 0 1 0 891347780 10776576 1762 4294967295 134512640 134716908 3221224576 3221223264 134528464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2631 1762 1111 63 0 2568 0
vsize: 10524
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1846 0 0 0 12965 31 0 0 25 0 1 0 891347780 10776576 1764 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2631 1764 1111 63 0 2568 0
vsize: 10524
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1890 0 0 0 13964 33 0 0 25 0 1 0 891347780 10911744 1808 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2664 1808 1111 63 0 2601 0
vsize: 10656
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1904 0 0 0 14963 34 0 0 25 0 1 0 891347780 11046912 1822 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2697 1822 1111 63 0 2634 0
vsize: 10788
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1933 0 0 0 15961 36 0 0 25 0 1 0 891347780 11182080 1851 4294967295 134512640 134716908 3221224576 3221222992 134699767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2730 1851 1111 63 0 2667 0
vsize: 10920
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1933 0 0 0 16960 38 0 0 25 0 1 0 891347780 11182080 1851 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2730 1851 1111 63 0 2667 0
vsize: 10920
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1962 0 0 0 17958 39 0 0 25 0 1 0 891347780 11313152 1880 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2762 1880 1111 63 0 2699 0
vsize: 11048
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1962 0 0 0 18957 41 0 0 25 0 1 0 891347780 11313152 1880 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2762 1880 1111 63 0 2699 0
vsize: 11048
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1967 0 0 0 19955 43 0 0 25 0 1 0 891347780 11304960 1885 4294967295 134512640 134716908 3221224576 3221222988 1077379860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2760 1885 1111 63 0 2697 0
vsize: 11040
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 1983 0 0 0 20954 44 0 0 25 0 1 0 891347780 11304960 1901 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2760 1901 1111 63 0 2697 0
vsize: 11040
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2001 0 0 0 21953 45 0 0 25 0 1 0 891347780 11440128 1919 4294967295 134512640 134716908 3221224576 3221223312 134528552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2793 1919 1111 63 0 2730 0
vsize: 11172
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2001 0 0 0 22951 47 0 0 25 0 1 0 891347780 11440128 1919 4294967295 134512640 134716908 3221224576 3221223184 134523184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2793 1919 1111 63 0 2730 0
vsize: 11172
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2004 0 0 0 23950 49 0 0 25 0 1 0 891347780 11440128 1922 4294967295 134512640 134716908 3221224576 3221223536 134575976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2793 1922 1111 63 0 2730 0
vsize: 11172
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2009 0 0 0 24949 50 0 0 25 0 1 0 891347780 11440128 1927 4294967295 134512640 134716908 3221224576 3221223232 134523907 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2793 1927 1111 63 0 2730 0
vsize: 11172
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2015 0 0 0 25947 52 0 0 25 0 1 0 891347780 11440128 1933 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2793 1933 1111 63 0 2730 0
vsize: 11172
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2026 0 0 0 26946 54 0 0 25 0 1 0 891347780 11575296 1944 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1944 1111 63 0 2763 0
vsize: 11304
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2026 0 0 0 27944 55 0 0 25 0 1 0 891347780 11575296 1944 4294967295 134512640 134716908 3221224576 3221223300 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1944 1111 63 0 2763 0
vsize: 11304
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2031 0 0 0 28943 57 0 0 25 0 1 0 891347780 11575296 1949 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1949 1111 63 0 2763 0
vsize: 11304
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2033 0 0 0 29941 59 0 0 25 0 1 0 891347780 11575296 1951 4294967295 134512640 134716908 3221224576 3221223200 134536675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1951 1111 63 0 2763 0
vsize: 11304
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2055 0 0 0 30939 61 0 0 25 0 1 0 891347780 11575296 1973 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1973 1111 63 0 2763 0
vsize: 11304
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2089 0 0 0 31938 62 0 0 25 0 1 0 891347780 11821056 2007 4294967295 134512640 134716908 3221224576 3221223220 134526692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2886 2007 1111 63 0 2823 0
vsize: 11544
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2103 0 0 0 32936 64 0 0 25 0 1 0 891347780 11821056 2021 4294967295 134512640 134716908 3221224576 3221223320 134558544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2886 2021 1111 63 0 2823 0
vsize: 11544
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2131 0 0 0 33935 65 0 0 25 0 1 0 891347780 11956224 2049 4294967295 134512640 134716908 3221224576 3221222972 1077379881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 2049 1111 63 0 2856 0
vsize: 11676
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2174 0 0 0 34934 67 0 0 25 0 1 0 891347780 12091392 2092 4294967295 134512640 134716908 3221224576 3221223288 134551881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2174 0 0 0 35933 68 0 0 25 0 1 0 891347780 12091392 2092 4294967295 134512640 134716908 3221224576 3221223312 134528680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2174 0 0 0 36932 69 0 0 25 0 1 0 891347780 12091392 2092 4294967295 134512640 134716908 3221224576 3221223136 134552068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2174 0 0 0 37930 71 0 0 25 0 1 0 891347780 12091392 2092 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21687
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2174 0 0 0 38929 72 0 0 25 0 1 0 891347780 12091392 2092 4294967295 134512640 134716908 3221224576 3221223196 134542656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2952 2092 1111 63 0 2889 0
vsize: 11808
[startup+400.003 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 21740
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2189 0 0 0 39927 74 0 0 25 0 1 0 891347780 12226560 2107 4294967295 134512640 134716908 3221224576 3221223220 134613510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2985 2107 1111 63 0 2922 0
vsize: 11940
[startup+410.003 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 21740
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2227 0 0 0 40926 75 0 0 25 0 1 0 891347780 12361728 2145 4294967295 134512640 134716908 3221224576 3221223252 1077374508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3018 2145 1111 63 0 2955 0
vsize: 12072
[startup+420.003 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 21740
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2233 0 0 0 41925 76 0 0 25 0 1 0 891347780 12361728 2151 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3018 2151 1111 63 0 2955 0
vsize: 12072
[startup+430.003 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 21740
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2273 0 0 0 42924 77 0 0 25 0 1 0 891347780 12488704 2191 4294967295 134512640 134716908 3221224576 3221223216 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3049 2191 1111 63 0 2986 0
vsize: 12196
[startup+440.003 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 21740
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2274 0 0 0 43923 79 0 0 25 0 1 0 891347780 12488704 2192 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3049 2192 1111 63 0 2986 0
vsize: 12196
[startup+450.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21740
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2283 0 0 0 44922 80 0 0 25 0 1 0 891347780 12623872 2201 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2201 1111 63 0 3019 0
vsize: 12328
[startup+460.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21740
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2284 0 0 0 45920 82 0 0 25 0 1 0 891347780 12623872 2202 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2202 1111 63 0 3019 0
vsize: 12328
[startup+470.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21740
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2294 0 0 0 46919 84 0 0 25 0 1 0 891347780 12623872 2212 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2212 1111 63 0 3019 0
vsize: 12328
[startup+480.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2308 0 0 0 47918 85 0 0 25 0 1 0 891347780 12623872 2226 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2226 1111 63 0 3019 0
vsize: 12328
[startup+490.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2308 0 0 0 48916 87 0 0 25 0 1 0 891347780 12623872 2226 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2226 1111 63 0 3019 0
vsize: 12328
[startup+500.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2315 0 0 0 49915 88 0 0 25 0 1 0 891347780 12759040 2233 4294967295 134512640 134716908 3221224576 3221223312 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2233 1111 63 0 3052 0
vsize: 12460
[startup+510.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2324 0 0 0 50914 90 0 0 25 0 1 0 891347780 12759040 2242 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2242 1111 63 0 3052 0
vsize: 12460
[startup+520.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2340 0 0 0 51912 92 0 0 25 0 1 0 891347780 12759040 2258 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2258 1111 63 0 3052 0
vsize: 12460
[startup+530.003 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2397 0 0 0 52911 93 0 0 25 0 1 0 891347780 13029376 2315 4294967295 134512640 134716908 3221224576 3221223336 134543541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+540.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2397 0 0 0 53909 94 0 0 25 0 1 0 891347780 13029376 2315 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+550.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2397 0 0 0 54909 95 0 0 25 0 1 0 891347780 13029376 2315 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+560.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2397 0 0 0 55908 96 0 0 25 0 1 0 891347780 13029376 2315 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+570.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2397 0 0 0 56907 98 0 0 25 0 1 0 891347780 13029376 2315 4294967295 134512640 134716908 3221224576 3221223200 134698694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+580.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2397 0 0 0 57906 99 0 0 25 0 1 0 891347780 13029376 2315 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+590.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2397 0 0 0 58904 100 0 0 25 0 1 0 891347780 13029376 2315 4294967295 134512640 134716908 3221224576 3221223308 134524384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2315 1111 63 0 3118 0
vsize: 12724
[startup+600.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2401 0 0 0 59903 102 0 0 25 0 1 0 891347780 13029376 2319 4294967295 134512640 134716908 3221224576 3221223216 134536657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2319 1111 63 0 3118 0
vsize: 12724
[startup+610.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2401 0 0 0 60902 103 0 0 25 0 1 0 891347780 13029376 2319 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2319 1111 63 0 3118 0
vsize: 12724
[startup+620.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2401 0 0 0 61901 104 0 0 25 0 1 0 891347780 13029376 2319 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2319 1111 63 0 3118 0
vsize: 12724
[startup+630.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2405 0 0 0 62900 105 0 0 25 0 1 0 891347780 13029376 2323 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2323 1111 63 0 3118 0
vsize: 12724
[startup+640.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2405 0 0 0 63898 107 0 0 25 0 1 0 891347780 13029376 2323 4294967295 134512640 134716908 3221224576 3221223344 134592376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2323 1111 63 0 3118 0
vsize: 12724
[startup+650.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2412 0 0 0 64897 108 0 0 25 0 1 0 891347780 13164544 2330 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2330 1111 63 0 3151 0
vsize: 12856
[startup+660.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2412 0 0 0 65897 109 0 0 25 0 1 0 891347780 13164544 2330 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2330 1111 63 0 3151 0
vsize: 12856
[startup+670.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2416 0 0 0 66896 110 0 0 25 0 1 0 891347780 13164544 2334 4294967295 134512640 134716908 3221224576 3221223328 134592373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2334 1111 63 0 3151 0
vsize: 12856
[startup+680.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2416 0 0 0 67894 112 0 0 25 0 1 0 891347780 13164544 2334 4294967295 134512640 134716908 3221224576 3221223220 134536694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2334 1111 63 0 3151 0
vsize: 12856
[startup+690.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2430 0 0 0 68893 114 0 0 25 0 1 0 891347780 13164544 2348 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2348 1111 63 0 3151 0
vsize: 12856
[startup+700.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2430 0 0 0 69891 116 0 0 25 0 1 0 891347780 13164544 2348 4294967295 134512640 134716908 3221224576 3221223072 134699623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2348 1111 63 0 3151 0
vsize: 12856
[startup+710.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21742
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2443 0 0 0 70890 117 0 0 25 0 1 0 891347780 13164544 2361 4294967295 134512640 134716908 3221224576 3221223348 134529372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2361 1111 63 0 3151 0
vsize: 12856
[startup+720.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2477 0 0 0 71888 119 0 0 25 0 1 0 891347780 13418496 2395 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2395 1111 63 0 3213 0
vsize: 13104
[startup+730.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2487 0 0 0 72887 120 0 0 25 0 1 0 891347780 13418496 2405 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2405 1111 63 0 3213 0
vsize: 13104
[startup+740.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2497 0 0 0 73886 121 0 0 25 0 1 0 891347780 13418496 2415 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2415 1111 63 0 3213 0
vsize: 13104
[startup+750.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2502 0 0 0 74885 122 0 0 25 0 1 0 891347780 13418496 2420 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2420 1111 63 0 3213 0
vsize: 13104
[startup+760.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2562 0 0 0 75885 123 0 0 25 0 1 0 891347780 13688832 2480 4294967295 134512640 134716908 3221224576 3221223336 134523849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2480 1111 63 0 3279 0
vsize: 13368
[startup+770.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2562 0 0 0 76884 124 0 0 25 0 1 0 891347780 13688832 2480 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2480 1111 63 0 3279 0
vsize: 13368
[startup+780.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2562 0 0 0 77883 125 0 0 25 0 1 0 891347780 13688832 2480 4294967295 134512640 134716908 3221224576 3221223304 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3342 2480 1111 63 0 3279 0
vsize: 13368
[startup+790.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2588 0 0 0 78882 126 0 0 25 0 1 0 891347780 13824000 2506 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2506 1111 63 0 3312 0
vsize: 13500
[startup+800.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2588 0 0 0 79881 127 0 0 25 0 1 0 891347780 13819904 2506 4294967295 134512640 134716908 3221224576 3221223280 134524396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2506 1111 63 0 3311 0
vsize: 13496
[startup+810.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2588 0 0 0 80879 129 0 0 25 0 1 0 891347780 13819904 2506 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2506 1111 63 0 3311 0
vsize: 13496
[startup+820.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2588 0 0 0 81878 131 0 0 25 0 1 0 891347780 13819904 2506 4294967295 134512640 134716908 3221224576 3221223312 134558518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2506 1111 63 0 3311 0
vsize: 13496
[startup+830.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2597 0 0 0 82877 132 0 0 25 0 1 0 891347780 13819904 2515 4294967295 134512640 134716908 3221224576 3221223136 134698912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2515 1111 63 0 3311 0
vsize: 13496
[startup+840.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2597 0 0 0 83875 134 0 0 25 0 1 0 891347780 13819904 2515 4294967295 134512640 134716908 3221224576 3221223136 134698942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2515 1111 63 0 3311 0
vsize: 13496
[startup+850.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2599 0 0 0 84874 135 0 0 25 0 1 0 891347780 13819904 2517 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2517 1111 63 0 3311 0
vsize: 13496
[startup+860.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2599 0 0 0 85873 136 0 0 25 0 1 0 891347780 13819904 2517 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2517 1111 63 0 3311 0
vsize: 13496
[startup+870.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2599 0 0 0 86872 138 0 0 25 0 1 0 891347780 13819904 2517 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2517 1111 63 0 3311 0
vsize: 13496
[startup+880.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2611 0 0 0 87871 139 0 0 25 0 1 0 891347780 13946880 2529 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2529 1111 63 0 3342 0
vsize: 13620
[startup+890.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2613 0 0 0 88869 141 0 0 25 0 1 0 891347780 13946880 2531 4294967295 134512640 134716908 3221224576 3221222980 134699564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2531 1111 63 0 3342 0
vsize: 13620
[startup+900.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2613 0 0 0 89868 142 0 0 25 0 1 0 891347780 13946880 2531 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2531 1111 63 0 3342 0
vsize: 13620
[startup+910.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2614 0 0 0 90866 144 0 0 25 0 1 0 891347780 13946880 2532 4294967295 134512640 134716908 3221224576 3221223136 134698909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2532 1111 63 0 3342 0
vsize: 13620
[startup+920.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2616 0 0 0 91866 145 0 0 25 0 1 0 891347780 13946880 2534 4294967295 134512640 134716908 3221224576 3221223068 1076648036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2534 1111 63 0 3342 0
vsize: 13620
[startup+930.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2616 0 0 0 92865 146 0 0 25 0 1 0 891347780 13946880 2534 4294967295 134512640 134716908 3221224576 3221223144 1077378434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2534 1111 63 0 3342 0
vsize: 13620
[startup+940.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2622 0 0 0 93863 148 0 0 25 0 1 0 891347780 13946880 2540 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2540 1111 63 0 3342 0
vsize: 13620
[startup+950.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2641 0 0 0 94862 149 0 0 25 0 1 0 891347780 14082048 2559 4294967295 134512640 134716908 3221224576 3221223280 134528732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2559 1111 63 0 3375 0
vsize: 13752
[startup+960.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2641 0 0 0 95861 150 0 0 25 0 1 0 891347780 14082048 2559 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2559 1111 63 0 3375 0
vsize: 13752
[startup+970.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2641 0 0 0 96860 151 0 0 25 0 1 0 891347780 14082048 2559 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2559 1111 63 0 3375 0
vsize: 13752
[startup+980.003 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2641 0 0 0 97859 152 0 0 25 0 1 0 891347780 14082048 2559 4294967295 134512640 134716908 3221224576 3221223312 134523932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2559 1111 63 0 3375 0
vsize: 13752
[startup+990.003 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2666 0 0 0 98859 153 0 0 25 0 1 0 891347780 14082048 2584 4294967295 134512640 134716908 3221224576 3221223264 134534089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2584 1111 63 0 3375 0
vsize: 13752
[startup+1000 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2675 0 0 0 99857 155 0 0 25 0 1 0 891347780 14217216 2593 4294967295 134512640 134716908 3221224576 3221223360 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2593 1111 63 0 3408 0
vsize: 13884
[startup+1010 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2675 0 0 0 100856 156 0 0 25 0 1 0 891347780 14217216 2593 4294967295 134512640 134716908 3221224576 3221222972 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2593 1111 63 0 3408 0
vsize: 13884
[startup+1020 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2695 0 0 0 101855 157 0 0 25 0 1 0 891347780 14217216 2613 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2613 1111 63 0 3408 0
vsize: 13884
[startup+1030 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2733 0 0 0 102854 159 0 0 25 0 1 0 891347780 14352384 2651 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1040 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2733 0 0 0 103853 160 0 0 25 0 1 0 891347780 14352384 2651 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1050 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2733 0 0 0 104852 161 0 0 25 0 1 0 891347780 14352384 2651 4294967295 134512640 134716908 3221224576 3221223232 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1060 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2733 0 0 0 105850 163 0 0 25 0 1 0 891347780 14352384 2651 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1070 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2733 0 0 0 106849 164 0 0 25 0 1 0 891347780 14352384 2651 4294967295 134512640 134716908 3221224576 3221223264 134524412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1080 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2733 0 0 0 107849 165 0 0 25 0 1 0 891347780 14352384 2651 4294967295 134512640 134716908 3221224576 3221223072 134699487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1090 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2733 0 0 0 108848 166 0 0 25 0 1 0 891347780 14352384 2651 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2651 1111 63 0 3441 0
vsize: 14016
[startup+1100 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2744 0 0 0 109847 167 0 0 25 0 1 0 891347780 14487552 2662 4294967295 134512640 134716908 3221224576 3221223320 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2662 1111 63 0 3474 0
vsize: 14148
[startup+1110 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2744 0 0 0 110845 169 0 0 25 0 1 0 891347780 14487552 2662 4294967295 134512640 134716908 3221224576 3221223208 134698385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2662 1111 63 0 3474 0
vsize: 14148
[startup+1120 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2755 0 0 0 111843 171 0 0 25 0 1 0 891347780 14487552 2673 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2673 1111 63 0 3474 0
vsize: 14148
[startup+1130 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2755 0 0 0 112842 172 0 0 25 0 1 0 891347780 14487552 2673 4294967295 134512640 134716908 3221224576 3221223172 134535986 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2673 1111 63 0 3474 0
vsize: 14148
[startup+1140 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2755 0 0 0 113841 174 0 0 25 0 1 0 891347780 14487552 2673 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2673 1111 63 0 3474 0
vsize: 14148
[startup+1150 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2764 0 0 0 114839 175 0 0 25 0 1 0 891347780 14487552 2682 4294967295 134512640 134716908 3221224576 3221223124 134699093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2682 1111 63 0 3474 0
vsize: 14148
[startup+1160 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2773 0 0 0 115839 176 0 0 25 0 1 0 891347780 14614528 2691 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2691 1111 63 0 3505 0
vsize: 14272
[startup+1170.01 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2773 0 0 0 116837 178 0 0 25 0 1 0 891347780 14614528 2691 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2691 1111 63 0 3505 0
vsize: 14272
[startup+1174.86 s]
Raw data (loadavg): 1.06 1.02 0.93 1/53 21744
Raw data (stat): 21687 (bsolo_lpr-v2) R 21686 31399 31398 0 -1 0 2773 0 0 0 116837 178 0 0 25 0 1 0 891347780 14614528 2691 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2691 1111 63 0 3505 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.02
CPU user time (s): 1173.22
CPU system time (s): 1.79573
CPU usage (%): 100.013
Max. virtual memory (Kb): 14272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####