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-1-c.opb
MD5SUM	ccccfcac2dcabc521caef1ee37fe5121
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	317
Optimality of the best value was proved	NO
Number of terms in the objective function	634
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	634
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	634
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	2.73158
Number of variables	634
Total number of constraints	1581
Number of constraints which are clauses	1581
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 39569

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 13:41:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27635 boxname=wulflinc3 idbench=193 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ccccfcac2dcabc521caef1ee37fe5121  /oldhome/oroussel/tmp/wulflinc3/normalized-par16-1-c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-par16-1-c.opb
IDLAUNCH: 27635
/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:        275592 kB
Buffers:         34420 kB
Cached:         701372 kB
SwapCached:        240 kB
Active:          64312 kB
Inactive:       673932 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        275340 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15080 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:01:06 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 27635 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 634 variables and 1581 constraints.
c After prepocess the problem consists of 604 variables and 2001 constraints.
c preprocess terminated 2.675 s
c Initial Lower Bound: 209
c Lower Bound Elapsed time: 0.77025
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.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.90 2/54 11744
Raw data (stat): 11744 (runsolver) R 11743 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893424327 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): 0.93 0.95 0.90 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 3491 0 0 0 988 9 0 0 25 0 1 0 893424327 11022336 1922 4294967295 134512640 134716908 3221224576 3221220912 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2691 1922 1111 63 0 2628 0
vsize: 10764
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 5057 0 0 0 1983 14 0 0 25 0 1 0 893424327 9822208 1714 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2376 1695 1111 63 0 2313 0
vsize: 9592
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 7019 0 0 0 2979 18 0 0 25 0 1 0 893424327 10883072 1876 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2657 1876 1111 63 0 2594 0
vsize: 10628
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 8972 0 0 0 3974 24 0 0 25 0 1 0 893424327 9707520 1694 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 1694 1111 63 0 2307 0
vsize: 9480
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 11144 0 0 0 4968 29 0 0 25 0 1 0 893424327 10866688 1785 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1785 1111 63 0 2590 0
vsize: 10612
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 13400 0 0 0 5963 34 0 0 25 0 1 0 893424327 9707520 1694 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 1694 1111 63 0 2307 0
vsize: 9480
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 15662 0 0 0 6956 41 0 0 25 0 1 0 893424327 11055104 1815 4294967295 134512640 134716908 3221224576 3221220540 1074787888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 1815 1111 63 0 2636 0
vsize: 10796
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 18162 0 0 0 7949 48 0 0 25 0 1 0 893424327 10895360 1771 4294967295 134512640 134716908 3221224576 3221220784 1076079580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2660 1771 1111 63 0 2597 0
vsize: 10640
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 20412 0 0 0 8942 55 0 0 25 0 1 0 893424327 9707520 1694 4294967295 134512640 134716908 3221224576 3221222760 1077377571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 1694 1111 63 0 2307 0
vsize: 9480
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 22979 0 0 0 9937 60 0 0 25 0 1 0 893424327 11034624 1808 4294967295 134512640 134716908 3221224576 3221221648 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2694 1808 1111 63 0 2631 0
vsize: 10776
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 25606 0 0 0 10930 67 0 0 25 0 1 0 893424327 11046912 1788 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2697 1788 1111 63 0 2634 0
vsize: 10788
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 28135 0 0 0 11924 74 0 0 25 0 1 0 893424327 11063296 1790 4294967295 134512640 134716908 3221224576 3221220736 1074794466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1790 1111 63 0 2638 0
vsize: 10804
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 30945 0 0 0 12918 80 0 0 25 0 1 0 893424327 11149312 1840 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2722 1840 1111 63 0 2659 0
vsize: 10888
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 33311 0 0 0 13912 86 0 0 25 0 1 0 893424327 9707520 1694 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 1694 1111 63 0 2307 0
vsize: 9480
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 36239 0 0 0 14905 93 0 0 25 0 1 0 893424327 9707520 1694 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 1694 1111 63 0 2307 0
vsize: 9480
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 38785 0 0 0 15900 98 0 0 25 0 1 0 893424327 11141120 1838 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2720 1838 1111 63 0 2657 0
vsize: 10880
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 41328 0 0 0 16895 103 0 0 25 0 1 0 893424327 10870784 1854 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2654 1854 1111 63 0 2591 0
vsize: 10616
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 44335 0 0 0 17887 111 0 0 25 0 1 0 893424327 10817536 1839 4294967295 134512640 134716908 3221224576 3221220460 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2641 1839 1111 63 0 2578 0
vsize: 10564
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 47056 0 0 0 18880 118 0 0 25 0 1 0 893424327 11206656 1849 4294967295 134512640 134716908 3221224576 3221220796 1075116546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2736 1849 1111 63 0 2673 0
vsize: 10944
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 49828 0 0 0 19872 127 0 0 25 0 1 0 893424327 11071488 1839 4294967295 134512640 134716908 3221224576 3221220632 1074789534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2703 1839 1111 63 0 2640 0
vsize: 10812
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 52410 0 0 0 20867 132 0 0 25 0 1 0 893424327 10997760 1811 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2685 1811 1111 63 0 2622 0
vsize: 10740
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 55199 0 0 0 21859 140 0 0 25 0 1 0 893424327 11161600 1830 4294967295 134512640 134716908 3221224576 3221220736 1075092591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2725 1830 1111 63 0 2662 0
vsize: 10900
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 57701 0 0 0 22853 147 0 0 25 0 1 0 893424327 11153408 1863 4294967295 134512640 134716908 3221224576 3221220728 1074883309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2723 1863 1111 63 0 2660 0
vsize: 10892
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 60240 0 0 0 23846 153 0 0 25 0 1 0 893424327 11149312 1842 4294967295 134512640 134716908 3221224576 3221220668 1075663507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2722 1842 1111 63 0 2659 0
vsize: 10888
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 62973 0 0 0 24840 160 0 0 25 0 1 0 893424327 11042816 1809 4294967295 134512640 134716908 3221224576 3221220912 1075113521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2696 1809 1111 63 0 2633 0
vsize: 10784
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 65493 0 0 0 25834 166 0 0 25 0 1 0 893424327 11214848 1868 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2738 1868 1111 63 0 2675 0
vsize: 10952
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 67787 0 0 0 26830 171 0 0 25 0 1 0 893424327 11481088 1933 4294967295 134512640 134716908 3221224576 3221221648 1074867206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2803 1933 1111 63 0 2740 0
vsize: 11212
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 70122 0 0 0 27823 177 0 0 25 0 1 0 893424327 11210752 1872 4294967295 134512640 134716908 3221224576 3221220912 1075113511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2737 1872 1111 63 0 2674 0
vsize: 10948
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 72463 0 0 0 28818 182 0 0 25 0 1 0 893424327 11374592 1885 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2777 1885 1111 63 0 2714 0
vsize: 11108
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 74917 0 0 0 29812 189 0 0 25 0 1 0 893424327 10891264 1867 4294967295 134512640 134716908 3221224576 3221221040 1075603133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2659 1867 1111 63 0 2596 0
vsize: 10636
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 77515 0 0 0 30806 195 0 0 25 0 1 0 893424327 11255808 1892 4294967295 134512640 134716908 3221224576 3221221232 1075967398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2748 1892 1111 63 0 2685 0
vsize: 10992
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 80183 0 0 0 31799 202 0 0 25 0 1 0 893424327 10268672 1833 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1833 1111 63 0 2444 0
vsize: 10028
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 82693 0 0 0 32792 209 0 0 25 0 1 0 893424327 11198464 1968 4294967295 134512640 134716908 3221224576 3221220848 1074960765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1968 1111 63 0 2671 0
vsize: 10936
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 85272 0 0 0 33786 215 0 0 25 0 1 0 893424327 10493952 1849 4294967295 134512640 134716908 3221224576 3221222320 1075646805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2522 1848 1111 63 0 2459 0
vsize: 10248
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 88159 0 0 0 34779 223 0 0 25 0 1 0 893424327 11599872 1971 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2832 1971 1111 63 0 2769 0
vsize: 11328
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 90886 0 0 0 35773 229 0 0 25 0 1 0 893424327 11280384 1979 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2754 1979 1111 63 0 2691 0
vsize: 11016
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 93068 0 0 0 36768 234 0 0 25 0 1 0 893424327 10326016 1847 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1847 1111 63 0 2458 0
vsize: 10084
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 95375 0 0 0 37761 241 0 0 25 0 1 0 893424327 11759616 1985 4294967295 134512640 134716908 3221224576 3221220848 1074960876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2871 1985 1111 63 0 2808 0
vsize: 11484
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 97841 0 0 0 38755 248 0 0 25 0 1 0 893424327 10326016 1847 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1847 1111 63 0 2458 0
vsize: 10084
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 100270 0 0 0 39750 253 0 0 25 0 1 0 893424327 11694080 1976 4294967295 134512640 134716908 3221224576 3221220796 1074878569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1976 1111 63 0 2792 0
vsize: 11420
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 103110 0 0 0 40743 260 0 0 25 0 1 0 893424327 11710464 1998 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2859 1998 1111 63 0 2796 0
vsize: 11436
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 105761 0 0 0 41736 267 0 0 25 0 1 0 893424327 11984896 2039 4294967295 134512640 134716908 3221224576 3221221056 1076046698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2926 2039 1111 63 0 2863 0
vsize: 11704
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 107900 0 0 0 42731 272 0 0 25 0 1 0 893424327 11722752 2007 4294967295 134512640 134716908 3221224576 3221221616 1075971401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2862 2010 1111 63 0 2799 0
vsize: 11448
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 110479 0 0 0 43724 280 0 0 25 0 1 0 893424327 10502144 1890 4294967295 134512640 134716908 3221224576 3221222904 1073987069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2564 1890 1111 63 0 2501 0
vsize: 10256
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 112869 0 0 0 44717 286 0 0 25 0 1 0 893424327 11763712 2013 4294967295 134512640 134716908 3221224576 3221220848 1074961288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2872 2013 1111 63 0 2809 0
vsize: 11488
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 115002 0 0 0 45712 292 0 0 25 0 1 0 893424327 11956224 2035 4294967295 134512640 134716908 3221224576 3221220444 1074787861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2919 2035 1111 63 0 2856 0
vsize: 11676
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 117161 0 0 0 46706 298 0 0 25 0 1 0 893424327 11780096 1987 4294967295 134512640 134716908 3221224576 3221221040 1075602716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2876 1987 1111 63 0 2813 0
vsize: 11504
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 119523 0 0 0 47699 305 0 0 25 0 1 0 893424327 11829248 2027 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2888 2027 1111 63 0 2825 0
vsize: 11552
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 121991 0 0 0 48693 312 0 0 25 0 1 0 893424327 11829248 2014 4294967295 134512640 134716908 3221224576 3221220804 1075114923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2888 2014 1111 63 0 2825 0
vsize: 11552
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 124436 0 0 0 49688 317 0 0 25 0 1 0 893424327 10596352 1913 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2587 1913 1111 63 0 2524 0
vsize: 10348
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 126535 0 0 0 50681 324 0 0 25 0 1 0 893424327 11907072 2054 4294967295 134512640 134716908 3221224576 3221220848 1074961387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2907 2054 1111 63 0 2844 0
vsize: 11628
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 128919 0 0 0 51677 328 0 0 25 0 1 0 893424327 11550720 2030 4294967295 134512640 134716908 3221224576 3221221624 1075850422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2820 2030 1111 63 0 2757 0
vsize: 11280
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 130854 0 0 0 52671 334 0 0 25 0 1 0 893424327 10747904 1950 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1950 1111 63 0 2561 0
vsize: 10496
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 133109 0 0 0 53665 340 0 0 25 0 1 0 893424327 12038144 2070 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2939 2071 1111 63 0 2876 0
vsize: 11756
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 135656 0 0 0 54658 348 0 0 25 0 1 0 893424327 10887168 1953 4294967295 134512640 134716908 3221224576 3221222496 1075799603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1953 1111 63 0 2595 0
vsize: 10632
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 137950 0 0 0 55652 353 0 0 25 0 1 0 893424327 10924032 1993 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2667 1993 1111 63 0 2604 0
vsize: 10668
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 139998 0 0 0 56648 358 0 0 25 0 1 0 893424327 12394496 2160 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3026 2160 1111 63 0 2963 0
vsize: 12104
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 142026 0 0 0 57642 364 0 0 25 0 1 0 893424327 12038144 2063 4294967295 134512640 134716908 3221224576 3221220848 1074961253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2939 2063 1111 63 0 2876 0
vsize: 11756
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 144360 0 0 0 58636 369 0 0 25 0 1 0 893424327 11870208 2102 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 2102 1111 63 0 2835 0
vsize: 11592
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 146651 0 0 0 59630 376 0 0 25 0 1 0 893424327 12201984 2082 4294967295 134512640 134716908 3221224576 3221220444 1074787713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2979 2082 1111 63 0 2916 0
vsize: 11916
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 148734 0 0 0 60625 381 0 0 25 0 1 0 893424327 11902976 2115 4294967295 134512640 134716908 3221224576 3221220736 1074794472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2906 2115 1111 63 0 2843 0
vsize: 11624
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 150737 0 0 0 61621 386 0 0 25 0 1 0 893424327 11890688 2132 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2903 2132 1111 63 0 2840 0
vsize: 11612
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 153018 0 0 0 62614 392 0 0 25 0 1 0 893424327 12247040 2124 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2990 2124 1111 63 0 2927 0
vsize: 11960
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 155326 0 0 0 63609 398 0 0 25 0 1 0 893424327 11681792 2078 4294967295 134512640 134716908 3221224576 3221220536 1075964740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2852 2078 1111 63 0 2789 0
vsize: 11408
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 157430 0 0 0 64605 402 0 0 25 0 1 0 893424327 11649024 2121 4294967295 134512640 134716908 3221224576 3221220640 1075895648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2844 2121 1111 63 0 2781 0
vsize: 11376
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 159489 0 0 0 65600 407 0 0 25 0 1 0 893424327 11849728 2148 4294967295 134512640 134716908 3221224576 3221220496 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2893 2148 1111 63 0 2830 0
vsize: 11572
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 161398 0 0 0 66596 412 0 0 25 0 1 0 893424327 12374016 2241 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3021 2241 1111 63 0 2958 0
vsize: 12084
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 163373 0 0 0 67591 417 0 0 25 0 1 0 893424327 12435456 2149 4294967295 134512640 134716908 3221224576 3221220608 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3036 2149 1111 63 0 2973 0
vsize: 12144
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 165242 0 0 0 68586 421 0 0 25 0 1 0 893424327 12173312 2197 4294967295 134512640 134716908 3221224576 3221220512 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2197 1111 63 0 2909 0
vsize: 11888
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 167237 0 0 0 69581 427 0 0 25 0 1 0 893424327 12648448 2180 4294967295 134512640 134716908 3221224576 3221220912 1075113511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3088 2180 1111 63 0 3025 0
vsize: 12352
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 169006 0 0 0 70578 431 0 0 25 0 1 0 893424327 11976704 2175 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2924 2175 1111 63 0 2861 0
vsize: 11696
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 171167 0 0 0 71573 435 0 0 25 0 1 0 893424327 12533760 2154 4294967295 134512640 134716908 3221224576 3221220848 1074961444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2154 1111 63 0 2997 0
vsize: 12240
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 173054 0 0 0 72568 440 0 0 25 0 1 0 893424327 11268096 2077 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2751 2077 1111 63 0 2688 0
vsize: 11004
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 174906 0 0 0 73564 445 0 0 25 0 1 0 893424327 11964416 2150 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2921 2150 1111 63 0 2858 0
vsize: 11684
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 176983 0 0 0 74558 451 0 0 25 0 1 0 893424327 12521472 2174 4294967295 134512640 134716908 3221224576 3221221620 1074846155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2174 1111 63 0 2994 0
vsize: 12228
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 178922 0 0 0 75553 456 0 0 25 0 1 0 893424327 12386304 2143 4294967295 134512640 134716908 3221224576 3221221616 1075860070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2143 1111 63 0 2961 0
vsize: 12096
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 180945 0 0 0 76549 460 0 0 25 0 1 0 893424327 11292672 2083 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2757 2083 1111 63 0 2694 0
vsize: 11028
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 182762 0 0 0 77545 464 0 0 25 0 1 0 893424327 12075008 2202 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2202 1111 63 0 2885 0
vsize: 11792
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 184583 0 0 0 78541 468 0 0 25 0 1 0 893424327 12587008 2205 4294967295 134512640 134716908 3221224576 3221220576 1075965240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 2205 1111 63 0 3010 0
vsize: 12292
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 186387 0 0 0 79536 473 0 0 25 0 1 0 893424327 12619776 2154 4294967295 134512640 134716908 3221224576 3221220724 1075964388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 2154 1111 63 0 3018 0
vsize: 12324
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 188262 0 0 0 80532 477 0 0 25 0 1 0 893424327 12365824 2249 4294967295 134512640 134716908 3221224576 3221220640 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3019 2249 1111 63 0 2956 0
vsize: 12076
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 190004 0 0 0 81528 482 0 0 25 0 1 0 893424327 11292672 2083 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2757 2083 1111 63 0 2694 0
vsize: 11028
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 191820 0 0 0 82523 487 0 0 25 0 1 0 893424327 12517376 2160 4294967295 134512640 134716908 3221224576 3221221104 1075397167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3056 2160 1111 63 0 2993 0
vsize: 12224
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 193907 0 0 0 83518 493 0 0 25 0 1 0 893424327 12554240 2198 4294967295 134512640 134716908 3221224576 3221220792 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3065 2198 1111 63 0 3002 0
vsize: 12260
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 195891 0 0 0 84512 498 0 0 25 0 1 0 893424327 12500992 2163 4294967295 134512640 134716908 3221224576 3221220736 1074883551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3052 2163 1111 63 0 2989 0
vsize: 12208
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 198075 0 0 0 85507 504 0 0 25 0 1 0 893424327 12599296 2197 4294967295 134512640 134716908 3221224576 3221221580 1074621110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3076 2197 1111 63 0 3013 0
vsize: 12304
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 200196 0 0 0 86501 510 0 0 25 0 1 0 893424327 11292672 2083 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2757 2083 1111 63 0 2694 0
vsize: 11028
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 202275 0 0 0 87495 516 0 0 25 0 1 0 893424327 12611584 2305 4294967295 134512640 134716908 3221224576 3221220620 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3079 2305 1111 63 0 3016 0
vsize: 12316
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 204544 0 0 0 88489 523 0 0 25 0 1 0 893424327 12206080 2187 4294967295 134512640 134716908 3221224576 3221220784 1074815290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2980 2187 1111 63 0 2917 0
vsize: 11920
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 206855 0 0 0 89484 528 0 0 25 0 1 0 893424327 12222464 2170 4294967295 134512640 134716908 3221224576 3221220736 1074815500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2984 2170 1111 63 0 2921 0
vsize: 11936
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 209107 0 0 0 90479 533 0 0 25 0 1 0 893424327 12890112 2277 4294967295 134512640 134716908 3221224576 3221220456 1074788427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3147 2277 1111 63 0 3084 0
vsize: 12588
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 211167 0 0 0 91474 538 0 0 25 0 1 0 893424327 12877824 2277 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3144 2277 1111 63 0 3081 0
vsize: 12576
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 213613 0 0 0 92469 543 0 0 25 0 1 0 893424327 12505088 2282 4294967295 134512640 134716908 3221224576 3221220676 1075964208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3053 2282 1111 63 0 2990 0
vsize: 12212
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 215710 0 0 0 93465 547 0 0 25 0 1 0 893424327 11628544 2165 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2839 2165 1111 63 0 2776 0
vsize: 11356
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 217680 0 0 0 94460 553 0 0 25 0 1 0 893424327 11628544 2165 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2839 2165 1111 63 0 2776 0
vsize: 11356
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 219697 0 0 0 95455 558 0 0 25 0 1 0 893424327 13004800 2261 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3175 2261 1111 63 0 3112 0
vsize: 12700
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 221675 0 0 0 96450 563 0 0 25 0 1 0 893424327 12873728 2270 4294967295 134512640 134716908 3221224576 3221220444 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 2270 1111 63 0 3080 0
vsize: 12572
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 223551 0 0 0 97445 568 0 0 25 0 1 0 893424327 11628544 2165 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2839 2165 1111 63 0 2776 0
vsize: 11356
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 225580 0 0 0 98440 573 0 0 25 0 1 0 893424327 12537856 2272 4294967295 134512640 134716908 3221224576 3221220792 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3061 2272 1111 63 0 2998 0
vsize: 12244
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 227659 0 0 0 99435 578 0 0 25 0 1 0 893424327 12914688 2292 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3153 2292 1111 63 0 3090 0
vsize: 12612
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 229849 0 0 0 100430 584 0 0 25 0 1 0 893424327 12869632 2269 4294967295 134512640 134716908 3221224576 3221220704 1075561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3142 2269 1111 63 0 3079 0
vsize: 12568
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 231765 0 0 0 101426 588 0 0 25 0 1 0 893424327 12554240 2312 4294967295 134512640 134716908 3221224576 3221220756 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3065 2312 1111 63 0 3002 0
vsize: 12260
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 234012 0 0 0 102420 594 0 0 25 0 1 0 893424327 11628544 2165 4294967295 134512640 134716908 3221224576 3221222884 1077402435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2839 2165 1111 63 0 2776 0
vsize: 11356
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 236146 0 0 0 103416 598 0 0 25 0 1 0 893424327 12578816 2312 4294967295 134512640 134716908 3221224576 3221220640 1075895661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2312 1111 63 0 3008 0
vsize: 12284
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 238190 0 0 0 104410 604 0 0 25 0 1 0 893424327 12795904 2253 4294967295 134512640 134716908 3221224576 3221220552 1074788507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3124 2253 1111 63 0 3061 0
vsize: 12496
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 240224 0 0 0 105406 609 0 0 25 0 1 0 893424327 11722752 2188 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2862 2188 1111 63 0 2799 0
vsize: 11448
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 242210 0 0 0 106401 614 0 0 25 0 1 0 893424327 11722752 2188 4294967295 134512640 134716908 3221224576 3221222992 1074117068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2862 2188 1111 63 0 2799 0
vsize: 11448
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 244151 0 0 0 107395 620 0 0 25 0 1 0 893424327 12963840 2387 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3165 2387 1111 63 0 3102 0
vsize: 12660
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 246326 0 0 0 108390 625 0 0 25 0 1 0 893424327 13447168 2361 4294967295 134512640 134716908 3221224576 3221221232 1075967861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3283 2361 1111 63 0 3220 0
vsize: 13132
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 248144 0 0 0 109386 630 0 0 25 0 1 0 893424327 11722752 2188 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2862 2188 1111 63 0 2799 0
vsize: 11448
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11744
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 250572 0 0 0 110379 636 0 0 25 0 1 0 893424327 12832768 2355 4294967295 134512640 134716908 3221224576 3221220648 1075964733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2355 1111 63 0 3070 0
vsize: 12532
[startup+1120.02 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 11797
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 252457 0 0 0 111374 641 0 0 25 0 1 0 893424327 12898304 2365 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3149 2365 1111 63 0 3086 0
vsize: 12596
[startup+1130.02 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 11797
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 254279 0 0 0 112370 645 0 0 25 0 1 0 893424327 12931072 2360 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 2360 1111 63 0 3094 0
vsize: 12628
[startup+1140.02 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 11797
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 256325 0 0 0 113365 651 0 0 25 0 1 0 893424327 11907072 2233 4294967295 134512640 134716908 3221224576 3221223084 1074152784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2907 2233 1111 63 0 2844 0
vsize: 11628
[startup+1150.02 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 11797
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 258464 0 0 0 114359 656 0 0 25 0 1 0 893424327 13287424 2365 4294967295 134512640 134716908 3221224576 3221220804 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3244 2365 1111 63 0 3181 0
vsize: 12976
[startup+1160.02 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 11797
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 260530 0 0 0 115355 660 0 0 25 0 1 0 893424327 13008896 2403 4294967295 134512640 134716908 3221224576 3221220760 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3176 2403 1111 63 0 3113 0
vsize: 12704
[startup+1170.02 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 11797
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 262678 0 0 0 116350 666 0 0 25 0 1 0 893424327 12091392 2278 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2278 1111 63 0 2889 0
vsize: 11808
[startup+1175.04 s]
Raw data (loadavg): 1.11 1.01 0.93 1/53 11797
Raw data (stat): 11744 (bsolo_lpr-v2) R 11743 20224 20223 0 -1 0 262678 0 0 0 116350 666 0 0 25 0 1 0 893424327 12091392 2278 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2278 1111 63 0 2889 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.18
CPU user time (s): 1168.48
CPU system time (s): 6.70198
CPU usage (%): 100.012
Max. virtual memory (Kb): 13132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####