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-3-c.opb
MD5SUM	9758fd8c9a8bc907d5083400c8e6642e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	334
Optimality of the best value was proved	NO
Number of terms in the objective function	668
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	668
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	668
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.53961
Number of variables	668
Total number of constraints	1666
Number of constraints which are clauses	1666
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 24123

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 06:09:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1766 boxname=wulflinc31 idbench=197 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9758fd8c9a8bc907d5083400c8e6642e  /oldhome/oroussel/tmp/wulflinc31/normalized-par16-3-c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par16-3-c.opb
IDLAUNCH: 1766
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        142292 kB
Buffers:         41128 kB
Cached:         817136 kB
SwapCached:        644 kB
Active:         491420 kB
Inactive:       369164 kB
HighTotal:      131008 kB
HighFree:         4536 kB
LowTotal:       903652 kB
LowFree:        137756 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26332 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 06:29:05 (client local time) WITH STATUS 0 IN 1177.71 SECONDS
stats: 1766 7 1177.71 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 668 variables and 1666 constraints.
c After prepocess the problem consists of 638 variables and 2086 constraints.
c preprocess terminated 3.004 s
c Initial Lower Bound: 223
c Lower Bound Elapsed time: 0.9961
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1177.69 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
Raw data (loadavg): 0.92 0.95 0.91 2/54 12297
Raw data (stat): 12297 (runsolver) R 12296 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 689689790 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 5977 0 0 0 979 17 0 0 25 0 1 0 689689790 11968512 2046 4294967295 134512640 134714508 3221221776 3221217916 1075116757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2922 2046 1111 63 0 2859 0
vsize: 11688
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 8439 0 0 0 1974 22 0 0 25 0 1 0 689689790 11718656 2066 4294967295 134512640 134714508 3221221776 3221217920 1074970224 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2861 2066 1111 63 0 2798 0
vsize: 11444
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 9927 0 0 0 2971 25 0 0 25 0 1 0 689689790 11558912 2044 4294967295 134512640 134714508 3221221776 3221217980 1075564165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2822 2044 1111 63 0 2759 0
vsize: 11288
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 11823 0 0 0 3966 30 0 0 25 0 1 0 689689790 11505664 2028 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2809 2028 1111 63 0 2746 0
vsize: 11236
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 13947 0 0 0 4962 34 0 0 25 0 1 0 689689790 11636736 1933 4294967295 134512640 134714508 3221221776 3221217996 1074878536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1933 1111 63 0 2778 0
vsize: 11364
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 17008 0 0 0 5954 42 0 0 25 0 1 0 689689790 11636736 1922 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1922 1111 63 0 2778 0
vsize: 11364
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 19548 0 0 0 6947 50 0 0 25 0 1 0 689689790 11636736 1924 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1924 1111 63 0 2778 0
vsize: 11364
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 22306 0 0 0 7940 56 0 0 25 0 1 0 689689790 11636736 1916 4294967295 134512640 134714508 3221221776 3221218816 1075971398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1916 1111 63 0 2778 0
vsize: 11364
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 24204 0 0 0 8935 61 0 0 25 0 1 0 689689790 11370496 1979 4294967295 134512640 134714508 3221221776 3221218816 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2776 1979 1111 63 0 2713 0
vsize: 11104
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 26139 0 0 0 9930 67 0 0 25 0 1 0 689689790 11780096 1951 4294967295 134512640 134714508 3221221776 3221218004 1075114975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2876 1951 1111 63 0 2813 0
vsize: 11504
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 28220 0 0 0 10924 73 0 0 25 0 1 0 689689790 11636736 1922 4294967295 134512640 134714508 3221221776 3221219008 1075552832 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1922 1111 63 0 2778 0
vsize: 11364
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 30376 0 0 0 11919 78 0 0 25 0 1 0 689689790 10657792 1930 4294967295 134512640 134714508 3221221776 3221218896 1074865658 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1930 1111 63 0 2539 0
vsize: 10408
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 32435 0 0 0 12913 84 0 0 25 0 1 0 689689790 12042240 2017 4294967295 134512640 134714508 3221221776 3221218816 1075971404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2940 2017 1111 63 0 2877 0
vsize: 11760
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 34529 0 0 0 13908 90 0 0 25 0 1 0 689689790 12054528 2036 4294967295 134512640 134714508 3221221776 3221218004 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2036 1111 63 0 2880 0
vsize: 11772
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 36592 0 0 0 14903 95 0 0 25 0 1 0 689689790 12222464 2065 4294967295 134512640 134714508 3221221776 3221218004 1075115070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2984 2065 1111 63 0 2921 0
vsize: 11936
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 38621 0 0 0 15898 100 0 0 25 0 1 0 689689790 12156928 2052 4294967295 134512640 134714508 3221221776 3221218048 1074961387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2968 2052 1111 63 0 2905 0
vsize: 11872
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 40667 0 0 0 16892 106 0 0 25 0 1 0 689689790 10657792 1930 4294967295 134512640 134714508 3221221776 3221220380 1074152784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1930 1111 63 0 2539 0
vsize: 10408
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 42792 0 0 0 17886 112 0 0 25 0 1 0 689689790 11649024 2054 4294967295 134512640 134714508 3221221776 3221218004 1075115009 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2844 2054 1111 63 0 2781 0
vsize: 11376
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 44848 0 0 0 18880 119 0 0 25 0 1 0 689689790 10657792 1930 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1930 1111 63 0 2539 0
vsize: 10408
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 46769 0 0 0 19874 124 0 0 25 0 1 0 689689790 12017664 2007 4294967295 134512640 134714508 3221221776 3221218544 1076083873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2934 2007 1111 63 0 2871 0
vsize: 11736
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 48944 0 0 0 20868 130 0 0 25 0 1 0 689689790 12050432 2033 4294967295 134512640 134714508 3221221776 3221218608 1075115806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2942 2033 1111 63 0 2879 0
vsize: 11768
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 50787 0 0 0 21864 135 0 0 25 0 1 0 689689790 10657792 1930 4294967295 134512640 134714508 3221221776 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1930 1111 63 0 2539 0
vsize: 10408
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 53502 0 0 0 22857 142 0 0 25 0 1 0 689689790 12161024 2067 4294967295 134512640 134714508 3221221776 3221217984 1074815482 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2067 1111 63 0 2906 0
vsize: 11876
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 55636 0 0 0 23852 147 0 0 25 0 1 0 689689790 12034048 1978 4294967295 134512640 134714508 3221221776 3221218240 1075602610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2938 1978 1111 63 0 2875 0
vsize: 11752
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 57736 0 0 0 24845 154 0 0 25 0 1 0 689689790 12193792 2049 4294967295 134512640 134714508 3221221776 3221218048 1074961264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2977 2049 1111 63 0 2914 0
vsize: 11908
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 59601 0 0 0 25841 158 0 0 25 0 1 0 689689790 12161024 2061 4294967295 134512640 134714508 3221221776 3221218896 1074835529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2061 1111 63 0 2906 0
vsize: 11876
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 61724 0 0 0 26836 163 0 0 25 0 1 0 689689790 12173312 2052 4294967295 134512640 134714508 3221221776 3221217904 1075112091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2052 1111 63 0 2909 0
vsize: 11888
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 63846 0 0 0 27831 168 0 0 25 0 1 0 689689790 10657792 1930 4294967295 134512640 134714508 3221221776 3221219888 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1930 1111 63 0 2539 0
vsize: 10408
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 66681 0 0 0 28824 176 0 0 25 0 1 0 689689790 12029952 1988 4294967295 134512640 134714508 3221221776 3221218368 1074888120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2937 1988 1111 63 0 2874 0
vsize: 11748
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 68724 0 0 0 29818 182 0 0 25 0 1 0 689689790 12173312 2058 4294967295 134512640 134714508 3221221776 3221217860 1075964440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2058 1111 63 0 2909 0
vsize: 11888
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 71027 0 0 0 30812 188 0 0 25 0 1 0 689689790 12169216 2046 4294967295 134512640 134714508 3221221776 3221217724 1074788921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2971 2046 1111 63 0 2908 0
vsize: 11884
[startup+320.016 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 73511 0 0 0 31807 194 0 0 25 0 1 0 689689790 12029952 2015 4294967295 134512640 134714508 3221221776 3221218768 1075110391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2015 1111 63 0 2874 0
vsize: 11748
[startup+330.016 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 75610 0 0 0 32801 199 0 0 25 0 1 0 689689790 11784192 2073 4294967295 134512640 134714508 3221221776 3221218004 1075115078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2877 2073 1111 63 0 2814 0
vsize: 11508
[startup+340.016 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 77674 0 0 0 33795 205 0 0 25 0 1 0 689689790 10657792 1930 4294967295 134512640 134714508 3221221776 3221219848 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1930 1111 63 0 2539 0
vsize: 10408
[startup+350.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 80436 0 0 0 34788 212 0 0 25 0 1 0 689689790 11759616 2064 4294967295 134512640 134714508 3221221776 3221218864 1074867463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2871 2064 1111 63 0 2808 0
vsize: 11484
[startup+360.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 82733 0 0 0 35783 218 0 0 25 0 1 0 689689790 12218368 2056 4294967295 134512640 134714508 3221221776 3221217672 1074789806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2983 2056 1111 63 0 2920 0
vsize: 11932
[startup+370.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 85081 0 0 0 36777 224 0 0 25 0 1 0 689689790 12218368 2053 4294967295 134512640 134714508 3221221776 3221218288 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2983 2053 1111 63 0 2920 0
vsize: 11932
[startup+380.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 87601 0 0 0 37771 230 0 0 25 0 1 0 689689790 10657792 1930 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1930 1111 63 0 2539 0
vsize: 10408
[startup+390.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 90724 0 0 0 38765 237 0 0 25 0 1 0 689689790 11608064 2042 4294967295 134512640 134714508 3221221776 3221218048 1074961258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2834 2042 1111 63 0 2771 0
vsize: 11336
[startup+400.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 93798 0 0 0 39757 245 0 0 25 0 1 0 689689790 11628544 2035 4294967295 134512640 134714508 3221221776 3221218304 1075397184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2839 2035 1111 63 0 2776 0
vsize: 11356
[startup+410.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 96780 0 0 0 40749 253 0 0 25 0 1 0 689689790 12029952 2005 4294967295 134512640 134714508 3221221776 3221217868 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2937 2005 1111 63 0 2874 0
vsize: 11748
[startup+420.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 99478 0 0 0 41741 261 0 0 25 0 1 0 689689790 11698176 2073 4294967295 134512640 134714508 3221221776 3221217660 1074788947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2856 2073 1111 63 0 2793 0
vsize: 11424
[startup+430.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 101782 0 0 0 42735 267 0 0 25 0 1 0 689689790 11964416 1998 4294967295 134512640 134714508 3221221776 3221218588 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2921 1998 1111 63 0 2858 0
vsize: 11684
[startup+440.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 104216 0 0 0 43730 272 0 0 25 0 1 0 689689790 10960896 2004 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2676 2004 1111 63 0 2613 0
vsize: 10704
[startup+450.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 106649 0 0 0 44724 278 0 0 25 0 1 0 689689790 12505088 2121 4294967295 134512640 134714508 3221221776 3221217644 1074787659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3053 2121 1111 63 0 2990 0
vsize: 12212
[startup+460.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 109357 0 0 0 45716 286 0 0 25 0 1 0 689689790 11677696 2094 4294967295 134512640 134714508 3221221776 3221218000 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2851 2094 1111 63 0 2788 0
vsize: 11404
[startup+470.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 111891 0 0 0 46710 292 0 0 25 0 1 0 689689790 12701696 2177 4294967295 134512640 134714508 3221221776 3221218432 1075967705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 2177 1111 63 0 3038 0
vsize: 12404
[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 114725 0 0 0 47704 299 0 0 25 0 1 0 689689790 11149312 2016 4294967295 134512640 134714508 3221221776 3221219688 1075802525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2722 2016 1111 63 0 2659 0
vsize: 10888
[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 117547 0 0 0 48698 305 0 0 25 0 1 0 689689790 12627968 2139 4294967295 134512640 134714508 3221221776 3221217840 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2139 1111 63 0 3020 0
vsize: 12332
[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 120004 0 0 0 49692 311 0 0 25 0 1 0 689689790 11022336 2019 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2691 2019 1111 63 0 2628 0
vsize: 10764
[startup+510.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 123069 0 0 0 50685 318 0 0 25 0 1 0 689689790 11005952 2015 4294967295 134512640 134714508 3221221776 3221220128 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2687 2015 1111 63 0 2624 0
vsize: 10748
[startup+520.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 125986 0 0 0 51677 326 0 0 25 0 1 0 689689790 12279808 2069 4294967295 134512640 134714508 3221221776 3221218048 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2998 2069 1111 63 0 2935 0
vsize: 11992
[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 128960 0 0 0 52668 335 0 0 25 0 1 0 689689790 12365824 2200 4294967295 134512640 134714508 3221221776 3221217744 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3019 2200 1111 63 0 2956 0
vsize: 12076
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 131312 0 0 0 53662 341 0 0 25 0 1 0 689689790 11472896 2124 4294967295 134512640 134714508 3221221776 3221220080 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2801 2124 1111 63 0 2738 0
vsize: 11204
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 133332 0 0 0 54658 346 0 0 25 0 1 0 689689790 13283328 2393 4294967295 134512640 134714508 3221221776 3221218004 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3243 2393 1111 63 0 3180 0
vsize: 12972
[startup+560.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 135355 0 0 0 55651 353 0 0 25 0 1 0 689689790 13107200 2279 4294967295 134512640 134714508 3221221776 3221217984 1074815234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3200 2279 1111 63 0 3137 0
vsize: 12800
[startup+570.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 137997 0 0 0 56644 360 0 0 25 0 1 0 689689790 12812288 2205 4294967295 134512640 134714508 3221221776 3221218112 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3128 2205 1111 63 0 3065 0
vsize: 12512
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 140503 0 0 0 57638 366 0 0 25 0 1 0 689689790 12390400 2227 4294967295 134512640 134714508 3221221776 3221218304 1075397211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3025 2227 1111 63 0 2962 0
vsize: 12100
[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 143332 0 0 0 58631 373 0 0 25 0 1 0 689689790 12828672 2215 4294967295 134512640 134714508 3221221776 3221218316 1075119904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3132 2215 1111 63 0 3069 0
vsize: 12528
[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 145954 0 0 0 59624 380 0 0 25 0 1 0 689689790 12996608 2228 4294967295 134512640 134714508 3221221776 3221218308 1075863672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3173 2228 1111 63 0 3110 0
vsize: 12692
[startup+610.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 148906 0 0 0 60617 387 0 0 25 0 1 0 689689790 12886016 2236 4294967295 134512640 134714508 3221221776 3221217776 1075965260 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3146 2236 1111 63 0 3083 0
vsize: 12584
[startup+620.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 151736 0 0 0 61610 395 0 0 25 0 1 0 689689790 13086720 2253 4294967295 134512640 134714508 3221221776 3221217860 1075964386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3195 2253 1111 63 0 3132 0
vsize: 12780
[startup+630.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 153920 0 0 0 62605 400 0 0 25 0 1 0 689689790 12976128 2245 4294967295 134512640 134714508 3221221776 3221217820 1074873554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3168 2245 1111 63 0 3105 0
vsize: 12672
[startup+640.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 156121 0 0 0 63600 405 0 0 25 0 1 0 689689790 12984320 2220 4294967295 134512640 134714508 3221221776 3221217676 1074787750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3170 2220 1111 63 0 3107 0
vsize: 12680
[startup+650.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 159152 0 0 0 64592 413 0 0 25 0 1 0 689689790 12820480 2202 4294967295 134512640 134714508 3221221776 3221218048 1074961275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3130 2202 1111 63 0 3067 0
vsize: 12520
[startup+660.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 162612 0 0 0 65584 421 0 0 25 0 1 0 689689790 13217792 2304 4294967295 134512640 134714508 3221221776 3221217936 1075091577 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2304 1111 63 0 3164 0
vsize: 12908
[startup+670.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 165419 0 0 0 66578 427 0 0 25 0 1 0 689689790 11550720 2148 4294967295 134512640 134714508 3221221776 3221218968 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2820 2148 1111 63 0 2757 0
vsize: 11280
[startup+680.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 167625 0 0 0 67573 432 0 0 25 0 1 0 689689790 11550720 2148 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2820 2148 1111 63 0 2757 0
vsize: 11280
[startup+690.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 170035 0 0 0 68568 438 0 0 25 0 1 0 689689790 11796480 2208 4294967295 134512640 134714508 3221221776 3221220160 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 2208 1111 63 0 2817 0
vsize: 11520
[startup+700.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 172889 0 0 0 69560 445 0 0 25 0 1 0 689689790 11603968 2161 4294967295 134512640 134714508 3221221776 3221219472 1075636575 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2833 2161 1111 63 0 2770 0
vsize: 11332
[startup+710.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 175481 0 0 0 70553 453 0 0 25 0 1 0 689689790 12804096 2325 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3126 2325 1111 63 0 3063 0
vsize: 12504
[startup+720.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 177848 0 0 0 71548 458 0 0 25 0 1 0 689689790 13041664 2262 4294967295 134512640 134714508 3221221776 3221217712 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2262 1111 63 0 3121 0
vsize: 12736
[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 180818 0 0 0 72542 465 0 0 25 0 1 0 689689790 13549568 2361 4294967295 134512640 134714508 3221221776 3221217808 1075965287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2361 1111 63 0 3245 0
vsize: 13232
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 183674 0 0 0 73534 472 0 0 25 0 1 0 689689790 12636160 2288 4294967295 134512640 134714508 3221221776 3221217660 1074788921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3085 2288 1111 63 0 3022 0
vsize: 12340
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 186454 0 0 0 74527 480 0 0 25 0 1 0 689689790 13058048 2268 4294967295 134512640 134714508 3221221776 3221217920 1074970240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2268 1111 63 0 3125 0
vsize: 12752
[startup+760.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 189861 0 0 0 75519 488 0 0 25 0 1 0 689689790 13455360 2374 4294967295 134512640 134714508 3221221776 3221217820 1074873504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3285 2374 1111 63 0 3222 0
vsize: 13140
[startup+770.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 192783 0 0 0 76512 495 0 0 25 0 1 0 689689790 13115392 2406 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3202 2406 1111 63 0 3139 0
vsize: 12808
[startup+780.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 194946 0 0 0 77506 501 0 0 25 0 1 0 689689790 11997184 2257 4294967295 134512640 134714508 3221221776 3221220128 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2929 2257 1111 63 0 2866 0
vsize: 11716
[startup+790.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 197634 0 0 0 78499 509 0 0 25 0 1 0 689689790 12021760 2263 4294967295 134512640 134714508 3221221776 3221220072 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2935 2263 1111 63 0 2872 0
vsize: 11740
[startup+800.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 199876 0 0 0 79494 514 0 0 25 0 1 0 689689790 13631488 2387 4294967295 134512640 134714508 3221221776 3221218048 1074961273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3328 2387 1111 63 0 3265 0
vsize: 13312
[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 202170 0 0 0 80490 518 0 0 25 0 1 0 689689790 13996032 2479 4294967295 134512640 134714508 3221221776 3221217644 1074787800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3417 2479 1111 63 0 3354 0
vsize: 13668
[startup+820.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 204501 0 0 0 81484 524 0 0 25 0 1 0 689689790 12222464 2312 4294967295 134512640 134714508 3221221776 3221219916 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2312 1111 63 0 2921 0
vsize: 11936
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 206534 0 0 0 82478 530 0 0 25 0 1 0 689689790 13139968 2454 4294967295 134512640 134714508 3221221776 3221217888 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2454 1111 63 0 3145 0
vsize: 12832
[startup+840.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 208966 0 0 0 83472 536 0 0 25 0 1 0 689689790 13627392 2408 4294967295 134512640 134714508 3221221776 3221217936 1074883634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2408 1111 63 0 3264 0
vsize: 13308
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 211359 0 0 0 84465 543 0 0 25 0 1 0 689689790 13783040 2418 4294967295 134512640 134714508 3221221776 3221217980 1075564165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3365 2418 1111 63 0 3302 0
vsize: 13460
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 213729 0 0 0 85459 549 0 0 25 0 1 0 689689790 13918208 2466 4294967295 134512640 134714508 3221221776 3221218016 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3398 2466 1111 63 0 3335 0
vsize: 13592
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 215984 0 0 0 86453 555 0 0 25 0 1 0 689689790 13340672 2463 4294967295 134512640 134714508 3221221776 3221218048 1075170490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2463 1111 63 0 3194 0
vsize: 13028
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 217976 0 0 0 87448 559 0 0 25 0 1 0 689689790 12468224 2372 4294967295 134512640 134714508 3221221776 3221219824 1074140701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3044 2372 1111 63 0 2981 0
vsize: 12176
[startup+890.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 220005 0 0 0 88443 565 0 0 25 0 1 0 689689790 13893632 2416 4294967295 134512640 134714508 3221221776 3221218816 1075971414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3392 2421 1111 63 0 3329 0
vsize: 13568
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 222403 0 0 0 89437 572 0 0 25 0 1 0 689689790 13889536 2438 4294967295 134512640 134714508 3221221776 3221217644 1074787538 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3391 2438 1111 63 0 3328 0
vsize: 13564
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 224863 0 0 0 90431 577 0 0 25 0 1 0 689689790 13201408 2435 4294967295 134512640 134714508 3221221776 3221217872 1074969383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3223 2435 1111 63 0 3160 0
vsize: 12892
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 227284 0 0 0 91424 584 0 0 25 0 1 0 689689790 13860864 2580 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 2580 1111 63 0 3321 0
vsize: 13536
[startup+930.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 230014 0 0 0 92418 591 0 0 25 0 1 0 689689790 13737984 2421 4294967295 134512640 134714508 3221221776 3221217840 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3354 2421 1111 63 0 3291 0
vsize: 13416
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 232148 0 0 0 93412 597 0 0 25 0 1 0 689689790 14094336 2514 4294967295 134512640 134714508 3221221776 3221217620 1074786520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3441 2514 1111 63 0 3378 0
vsize: 13764
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 234305 0 0 0 94408 601 0 0 25 0 1 0 689689790 14217216 2545 4294967295 134512640 134714508 3221221776 3221217592 1074788452 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2545 1111 63 0 3408 0
vsize: 13884
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 236589 0 0 0 95402 607 0 0 25 0 1 0 689689790 12660736 2419 4294967295 134512640 134714508 3221221776 3221219936 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3091 2419 1111 63 0 3028 0
vsize: 12364
[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 238785 0 0 0 96396 613 0 0 25 0 1 0 689689790 14127104 2515 4294967295 134512640 134714508 3221221776 3221217996 1075116508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2515 1111 63 0 3386 0
vsize: 13796
[startup+980.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 241427 0 0 0 97390 620 0 0 25 0 1 0 689689790 14143488 2516 4294967295 134512640 134714508 3221221776 3221218544 1076084141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2516 1111 63 0 3390 0
vsize: 13812
[startup+990.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 244200 0 0 0 98383 627 0 0 25 0 1 0 689689790 13398016 2475 4294967295 134512640 134714508 3221221776 3221218984 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3271 2475 1111 63 0 3208 0
vsize: 13084
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 246574 0 0 0 99376 633 0 0 25 0 1 0 689689790 14172160 2636 4294967295 134512640 134714508 3221221776 3221217660 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3460 2636 1111 63 0 3397 0
vsize: 13840
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 248545 0 0 0 100371 639 0 0 25 0 1 0 689689790 14372864 2567 4294967295 134512640 134714508 3221221776 3221217984 1074815372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3509 2567 1111 63 0 3446 0
vsize: 14036
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 250511 0 0 0 101367 643 0 0 25 0 1 0 689689790 13619200 2564 4294967295 134512640 134714508 3221221776 3221217724 1074788131 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2564 1111 63 0 3262 0
vsize: 13300
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 252204 0 0 0 102363 647 0 0 25 0 1 0 689689790 14229504 2560 4294967295 134512640 134714508 3221221776 3221218432 1075967892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2560 1111 63 0 3411 0
vsize: 13896
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 254473 0 0 0 103357 653 0 0 25 0 1 0 689689790 14233600 2548 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3475 2548 1111 63 0 3412 0
vsize: 13900
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 256865 0 0 0 104351 659 0 0 25 0 1 0 689689790 12812288 2453 4294967295 134512640 134714508 3221221776 3221220444 134543760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3128 2453 1111 63 0 3065 0
vsize: 12512
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 259388 0 0 0 105345 665 0 0 25 0 1 0 689689790 13762560 2601 4294967295 134512640 134714508 3221221776 3221218000 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3360 2601 1111 63 0 3297 0
vsize: 13440
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 261543 0 0 0 106340 671 0 0 25 0 1 0 689689790 12984320 2498 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3170 2498 1111 63 0 3107 0
vsize: 12680
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 264170 0 0 0 107333 678 0 0 25 0 1 0 689689790 14139392 2626 4294967295 134512640 134714508 3221221776 3221217936 1075095157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3452 2626 1111 63 0 3389 0
vsize: 13808
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 266577 0 0 0 108327 684 0 0 25 0 1 0 689689790 14438400 2738 4294967295 134512640 134714508 3221221776 3221217776 1075965260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2738 1111 63 0 3462 0
vsize: 14100
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 268866 0 0 0 109322 690 0 0 25 0 1 0 689689790 12996608 2501 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2501 1111 63 0 3110 0
vsize: 12692
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 271194 0 0 0 110316 695 0 0 25 0 1 0 689689790 14069760 2641 4294967295 134512640 134714508 3221221776 3221217836 1074788595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2641 1111 63 0 3372 0
vsize: 13740
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 273667 0 0 0 111310 702 0 0 25 0 1 0 689689790 13111296 2529 4294967295 134512640 134714508 3221221776 3221219744 1075552811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3201 2529 1111 63 0 3138 0
vsize: 12804
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 275999 0 0 0 112304 708 0 0 25 0 1 0 689689790 14606336 2640 4294967295 134512640 134714508 3221221776 3221218432 1075968649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3566 2640 1111 63 0 3503 0
vsize: 14264
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 278435 0 0 0 113299 714 0 0 25 0 1 0 689689790 14569472 2622 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2622 1111 63 0 3494 0
vsize: 14228
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 280593 0 0 0 114294 719 0 0 25 0 1 0 689689790 14381056 2693 4294967295 134512640 134714508 3221221776 3221217956 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3511 2693 1111 63 0 3448 0
vsize: 14044
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 282760 0 0 0 115289 724 0 0 25 0 1 0 689689790 13287424 2572 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3244 2572 1111 63 0 3181 0
vsize: 12976
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 284953 0 0 0 116283 730 0 0 25 0 1 0 689689790 13340672 2585 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2585 1111 63 0 3194 0
vsize: 13028
[startup+1177.62 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 12297
Raw data (stat): 12297 (bsolo_lpr_cuts) R 12296 7876 7672 0 -1 0 284953 0 0 0 116283 730 0 0 25 0 1 0 689689790 13340672 2585 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2585 1111 63 0 3194 0
vsize: 0

Child status: 0
Real time (s): 1177.62
CPU time (s): 1177.71
CPU user time (s): 1170.37
CPU system time (s): 7.34788
CPU usage (%): 100.008
Max. virtual memory (Kb): 14264
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####