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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
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	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
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	1176.86
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 27212

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 20:11:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17929 boxname=wulflinc30 idbench=1380 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-protfold.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-protfold.opb
IDLAUNCH: 17929
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        742264 kB
Buffers:         18792 kB
Cached:         246528 kB
SwapCached:        628 kB
Active:          20684 kB
Inactive:       246860 kB
HighTotal:      131008 kB
HighFree:        50344 kB
LowTotal:       903652 kB
LowFree:        691920 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            19188 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:30:47 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 17929 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1835 variables and 2149 constraints.
c After prepocess the problem consists of 1835 variables and 2368 constraints.
c preprocess terminated 89.01 s
c Initial Lower Bound: -41
c Lower Bound Elapsed time: 22.081
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.76 0.92 0.96 2/54 26501
Raw data (stat): 26501 (runsolver) R 26500 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833011346 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.80 0.92 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 13995 0 0 0 962 36 0 0 25 0 1 0 833011346 60534784 13912 4294967295 134512640 134714508 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14779 13912 1111 63 0 14716 0
vsize: 59116
[startup+20.0018 s]
Raw data (loadavg): 0.83 0.93 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 16434 0 0 0 1956 42 0 0 25 0 1 0 833011346 70541312 16351 4294967295 134512640 134714508 3221224576 3221223020 134542656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17222 16351 1111 63 0 17159 0
vsize: 68888
[startup+30.0016 s]
Raw data (loadavg): 0.85 0.93 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 17740 0 0 0 2953 45 0 0 25 0 1 0 833011346 75816960 17657 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18510 17657 1111 63 0 18447 0
vsize: 74040
[startup+40.0014 s]
Raw data (loadavg): 0.88 0.93 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 17753 0 0 0 3952 46 0 0 25 0 1 0 833011346 75816960 17670 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18510 17670 1111 63 0 18447 0
vsize: 74040
[startup+50.0022 s]
Raw data (loadavg): 0.89 0.93 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 17763 0 0 0 4952 47 0 0 25 0 1 0 833011346 75952128 17680 4294967295 134512640 134714508 3221224576 3221223228 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17680 1111 63 0 18480 0
vsize: 74172
[startup+60.003 s]
Raw data (loadavg): 0.91 0.93 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 17776 0 0 0 5951 47 0 0 25 0 1 0 833011346 75952128 17693 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17693 1111 63 0 18480 0
vsize: 74172
[startup+70.0038 s]
Raw data (loadavg): 0.92 0.93 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 17790 0 0 0 6951 48 0 0 25 0 1 0 833011346 76087296 17707 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17707 1111 63 0 18513 0
vsize: 74304
[startup+80.0036 s]
Raw data (loadavg): 0.93 0.94 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 17801 0 0 0 7951 48 0 0 25 0 1 0 833011346 76087296 17718 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17718 1111 63 0 18513 0
vsize: 74304
[startup+90.0035 s]
Raw data (loadavg): 0.94 0.94 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 18053 0 0 0 8950 49 0 0 25 0 1 0 833011346 77062144 17970 4294967295 134512640 134714508 3221224576 3221222704 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18814 17970 1111 63 0 18751 0
vsize: 75256
[startup+100.003 s]
Raw data (loadavg): 0.95 0.94 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 18978 0 2 0 9922 52 0 0 25 0 1 0 833011346 79597568 18629 4294967295 134512640 134714508 3221224576 3221220540 1074873456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19433 18629 1111 63 0 19370 0
vsize: 77732
[startup+110.004 s]
Raw data (loadavg): 0.96 0.94 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 19604 0 2 0 10920 54 0 0 25 0 1 0 833011346 78045184 18331 4294967295 134512640 134714508 3221224576 3221223024 134648533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19054 18331 1111 63 0 18991 0
vsize: 76216
[startup+120.005 s]
Raw data (loadavg): 0.97 0.94 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 19712 0 2 0 11919 55 0 0 25 0 1 0 833011346 78446592 18439 4294967295 134512640 134714508 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19152 18439 1111 63 0 19089 0
vsize: 76608
[startup+130.005 s]
Raw data (loadavg): 0.97 0.94 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 19846 0 2 0 12917 58 0 0 25 0 1 0 833011346 78987264 18573 4294967295 134512640 134714508 3221224576 3221223156 134696214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19284 18573 1111 63 0 19221 0
vsize: 77136
[startup+140.005 s]
Raw data (loadavg): 0.97 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 20003 0 2 0 13915 60 0 0 25 0 1 0 833011346 79663104 18730 4294967295 134512640 134714508 3221224576 3221223200 134696220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19449 18730 1111 63 0 19386 0
vsize: 77796
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 20229 0 2 0 14914 61 0 0 25 0 1 0 833011346 80474112 18956 4294967295 134512640 134714508 3221224576 3221223304 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19647 18956 1111 63 0 19584 0
vsize: 78588
[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 20366 0 2 0 15913 63 0 0 25 0 1 0 833011346 81149952 19093 4294967295 134512640 134714508 3221224576 3221223288 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19812 19093 1111 63 0 19749 0
vsize: 79248
[startup+170.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 20588 0 2 0 16910 65 0 0 25 0 1 0 833011346 81956864 19315 4294967295 134512640 134714508 3221224576 3221223304 134536906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20009 19315 1111 63 0 19946 0
vsize: 80036
[startup+180.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 20763 0 2 0 17909 67 0 0 25 0 1 0 833011346 82767872 19490 4294967295 134512640 134714508 3221224576 3221223116 134539217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20207 19490 1111 63 0 20144 0
vsize: 80828
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 20921 0 2 0 18908 68 0 0 25 0 1 0 833011346 83308544 19648 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20339 19648 1111 63 0 20276 0
vsize: 81356
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 21114 0 2 0 19906 70 0 0 25 0 1 0 833011346 84119552 19841 4294967295 134512640 134714508 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20537 19841 1111 63 0 20474 0
vsize: 82148
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 21296 0 2 0 20905 71 0 0 25 0 1 0 833011346 84930560 20023 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20735 20023 1111 63 0 20672 0
vsize: 82940
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 21446 0 2 0 21904 73 0 0 25 0 1 0 833011346 85471232 20173 4294967295 134512640 134714508 3221224576 3221223340 134552557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20867 20173 1111 63 0 20804 0
vsize: 83468
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 21582 0 2 0 22902 75 0 0 25 0 1 0 833011346 86011904 20309 4294967295 134512640 134714508 3221224576 3221223340 134613672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20999 20309 1111 63 0 20936 0
vsize: 83996
[startup+240.009 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 21710 0 2 0 23901 76 0 0 25 0 1 0 833011346 86552576 20437 4294967295 134512640 134714508 3221224576 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21131 20437 1111 63 0 21068 0
vsize: 84524
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 21865 0 2 0 24900 77 0 0 25 0 1 0 833011346 87228416 20592 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21296 20592 1111 63 0 21233 0
vsize: 85184
[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 22051 0 2 0 25898 79 0 0 25 0 1 0 833011346 88039424 20778 4294967295 134512640 134714508 3221224576 3221223244 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21494 20778 1111 63 0 21431 0
vsize: 85976
[startup+270.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 22192 0 2 0 26896 81 0 0 25 0 1 0 833011346 88580096 20919 4294967295 134512640 134714508 3221224576 3221223164 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21626 20919 1111 63 0 21563 0
vsize: 86504
[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 22414 0 2 0 27895 83 0 0 25 0 1 0 833011346 89526272 21141 4294967295 134512640 134714508 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21857 21141 1111 63 0 21794 0
vsize: 87428
[startup+290.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 22570 0 2 0 28894 84 0 0 25 0 1 0 833011346 90066944 21297 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21989 21297 1111 63 0 21926 0
vsize: 87956
[startup+300.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 22787 0 2 0 29893 85 0 0 25 0 1 0 833011346 91013120 21514 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22220 21514 1111 63 0 22157 0
vsize: 88880
[startup+310.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 22944 0 2 0 30893 85 0 0 25 0 1 0 833011346 91688960 21671 4294967295 134512640 134714508 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22385 21671 1111 63 0 22322 0
vsize: 89540
[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 23171 0 2 0 31891 87 0 0 25 0 1 0 833011346 92631040 21898 4294967295 134512640 134714508 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22615 21898 1111 63 0 22552 0
vsize: 90460
[startup+330.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 23275 0 2 0 32890 88 0 0 25 0 1 0 833011346 92971008 22002 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22698 22002 1111 63 0 22635 0
vsize: 90792
[startup+340.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 23438 0 2 0 33889 90 0 0 25 0 1 0 833011346 93646848 22165 4294967295 134512640 134714508 3221224576 3221223256 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22863 22165 1111 63 0 22800 0
vsize: 91452
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 23581 0 2 0 34887 92 0 0 25 0 1 0 833011346 94187520 22308 4294967295 134512640 134714508 3221224576 3221223264 134535821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22995 22308 1111 63 0 22932 0
vsize: 91980
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 23749 0 2 0 35886 93 0 0 25 0 1 0 833011346 94998528 22476 4294967295 134512640 134714508 3221224576 3221223300 134652856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23193 22476 1111 63 0 23130 0
vsize: 92772
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 23909 0 2 0 36884 95 0 0 25 0 1 0 833011346 95539200 22636 4294967295 134512640 134714508 3221224576 3221223168 134543735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23325 22636 1111 63 0 23262 0
vsize: 93300
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 24087 0 2 0 37883 96 0 0 25 0 1 0 833011346 96350208 22814 4294967295 134512640 134714508 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23523 22814 1111 63 0 23460 0
vsize: 94092
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 24225 0 2 0 38881 98 0 0 25 0 1 0 833011346 96886784 22952 4294967295 134512640 134714508 3221224576 3221223244 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23654 22952 1111 63 0 23591 0
vsize: 94616
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 24393 0 2 0 39880 100 0 0 25 0 1 0 833011346 97562624 23120 4294967295 134512640 134714508 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23819 23120 1111 63 0 23756 0
vsize: 95276
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 24568 0 2 0 40878 101 0 0 25 0 1 0 833011346 98234368 23295 4294967295 134512640 134714508 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23983 23295 1111 63 0 23920 0
vsize: 95932
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 24725 0 2 0 41877 103 0 0 25 0 1 0 833011346 98910208 23452 4294967295 134512640 134714508 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24148 23452 1111 63 0 24085 0
vsize: 96592
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 24885 0 2 0 42875 105 0 0 25 0 1 0 833011346 99586048 23612 4294967295 134512640 134714508 3221224576 3221223220 134613632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24313 23612 1111 63 0 24250 0
vsize: 97252
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 25040 0 2 0 43873 107 0 0 25 0 1 0 833011346 100261888 23767 4294967295 134512640 134714508 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24478 23767 1111 63 0 24415 0
vsize: 97912
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 25174 0 2 0 44872 108 0 0 25 0 1 0 833011346 100802560 23901 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24610 23901 1111 63 0 24547 0
vsize: 98440
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 25363 0 2 0 45870 110 0 0 25 0 1 0 833011346 101613568 24090 4294967295 134512640 134714508 3221224576 3221223292 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24808 24090 1111 63 0 24745 0
vsize: 99232
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 25533 0 2 0 46869 112 0 0 25 0 1 0 833011346 102289408 24260 4294967295 134512640 134714508 3221224576 3221222992 134697396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24973 24260 1111 63 0 24910 0
vsize: 99892
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 25624 0 2 0 47868 113 0 0 25 0 1 0 833011346 102559744 24351 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25039 24351 1111 63 0 24976 0
vsize: 100156
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 25740 0 2 0 48867 114 0 0 25 0 1 0 833011346 103100416 24467 4294967295 134512640 134714508 3221224576 3221223168 134543710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25171 24467 1111 63 0 25108 0
vsize: 100684
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 25853 0 2 0 49866 115 0 0 25 0 1 0 833011346 103505920 24580 4294967295 134512640 134714508 3221224576 3221223220 134613632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25270 24580 1111 63 0 25207 0
vsize: 101080
[startup+510.023 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 25962 0 2 0 50865 117 0 0 25 0 1 0 833011346 104013824 24689 4294967295 134512640 134714508 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25394 24689 1111 63 0 25331 0
vsize: 101576
[startup+520.024 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 25969 0 2 0 51863 118 0 0 25 0 1 0 833011346 104013824 24696 4294967295 134512640 134714508 3221224576 3221223260 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25394 24696 1111 63 0 25331 0
vsize: 101576
[startup+530.023 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26041 0 2 0 52862 119 0 0 25 0 1 0 833011346 104284160 24768 4294967295 134512640 134714508 3221224576 3221223360 134585115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25460 24768 1111 63 0 25397 0
vsize: 101840
[startup+540.024 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26052 0 2 0 53861 120 0 0 25 0 1 0 833011346 104419328 24779 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25493 24779 1111 63 0 25430 0
vsize: 101972
[startup+550.025 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26066 0 2 0 54861 121 0 0 25 0 1 0 833011346 104411136 24793 4294967295 134512640 134714508 3221224576 3221223312 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25491 24793 1111 63 0 25428 0
vsize: 101964
[startup+560.026 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26143 0 2 0 55860 121 0 0 25 0 1 0 833011346 104681472 24870 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25557 24870 1111 63 0 25494 0
vsize: 102228
[startup+570.026 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26166 0 2 0 56860 122 0 0 25 0 1 0 833011346 104812544 24893 4294967295 134512640 134714508 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24893 1111 63 0 25526 0
vsize: 102356
[startup+580.026 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26175 0 2 0 57859 123 0 0 25 0 1 0 833011346 104812544 24902 4294967295 134512640 134714508 3221224576 3221223264 134528712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24902 1111 63 0 25526 0
vsize: 102356
[startup+590.027 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26212 0 2 0 58858 123 0 0 25 0 1 0 833011346 105062400 24939 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25650 24939 1111 63 0 25587 0
vsize: 102600
[startup+600.028 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26261 0 2 0 59858 124 0 0 25 0 1 0 833011346 105197568 24988 4294967295 134512640 134714508 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25683 24988 1111 63 0 25620 0
vsize: 102732
[startup+610.029 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26425 0 2 0 60856 126 0 0 25 0 1 0 833011346 105873408 25152 4294967295 134512640 134714508 3221224576 3221223200 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25848 25152 1111 63 0 25785 0
vsize: 103392
[startup+620.03 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26574 0 2 0 61855 127 0 0 25 0 1 0 833011346 106549248 25301 4294967295 134512640 134714508 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26013 25301 1111 63 0 25950 0
vsize: 104052
[startup+630.029 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26674 0 2 0 62853 129 0 0 25 0 1 0 833011346 106954752 25401 4294967295 134512640 134714508 3221224576 3221223312 134535725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26112 25401 1111 63 0 26049 0
vsize: 104448
[startup+640.03 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26807 0 2 0 63853 129 0 0 25 0 1 0 833011346 107495424 25534 4294967295 134512640 134714508 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26244 25534 1111 63 0 26181 0
vsize: 104976
[startup+650.031 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 26904 0 2 0 64852 130 0 0 25 0 1 0 833011346 107900928 25631 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26343 25631 1111 63 0 26280 0
vsize: 105372
[startup+660.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27066 0 2 0 65851 131 0 0 25 0 1 0 833011346 108576768 25793 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26508 25793 1111 63 0 26445 0
vsize: 106032
[startup+670.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27196 0 2 0 66851 132 0 0 25 0 1 0 833011346 109117440 25923 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26640 25923 1111 63 0 26577 0
vsize: 106560
[startup+680.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27296 0 2 0 67849 134 0 0 25 0 1 0 833011346 109522944 26023 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26739 26023 1111 63 0 26676 0
vsize: 106956
[startup+690.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27341 0 2 0 68848 135 0 0 25 0 1 0 833011346 109658112 26068 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26772 26068 1111 63 0 26709 0
vsize: 107088
[startup+700.032 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27442 0 2 0 69848 135 0 0 25 0 1 0 833011346 110063616 26169 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26871 26169 1111 63 0 26808 0
vsize: 107484
[startup+710.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27561 0 2 0 70846 137 0 0 25 0 1 0 833011346 110604288 26288 4294967295 134512640 134714508 3221224576 3221223056 134535881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27003 26288 1111 63 0 26940 0
vsize: 108012
[startup+720.033 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27604 0 2 0 71845 138 0 0 25 0 1 0 833011346 110739456 26331 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27036 26331 1111 63 0 26973 0
vsize: 108144
[startup+730.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27722 0 2 0 72843 140 0 0 25 0 1 0 833011346 111276032 26449 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27167 26449 1111 63 0 27104 0
vsize: 108668
[startup+740.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27881 0 2 0 73841 143 0 0 25 0 1 0 833011346 111816704 26608 4294967295 134512640 134714508 3221224576 3221223216 134696257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27299 26608 1111 63 0 27236 0
vsize: 109196
[startup+750.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 27998 0 2 0 74840 144 0 0 25 0 1 0 833011346 112353280 26725 4294967295 134512640 134714508 3221224576 3221223168 134696323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27430 26725 1111 63 0 27367 0
vsize: 109720
[startup+760.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28076 0 2 0 75840 144 0 0 25 0 1 0 833011346 112623616 26803 4294967295 134512640 134714508 3221224576 3221223320 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27496 26803 1111 63 0 27433 0
vsize: 109984
[startup+770.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28203 0 2 0 76839 146 0 0 25 0 1 0 833011346 113164288 26930 4294967295 134512640 134714508 3221224576 3221223216 134696100 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26930 1111 63 0 27565 0
vsize: 110512
[startup+780.034 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28341 0 2 0 77838 147 0 0 25 0 1 0 833011346 113704960 27068 4294967295 134512640 134714508 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27760 27068 1111 63 0 27697 0
vsize: 111040
[startup+790.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28416 0 2 0 78837 148 0 0 25 0 1 0 833011346 114110464 27143 4294967295 134512640 134714508 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27859 27143 1111 63 0 27796 0
vsize: 111436
[startup+800.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28459 0 2 0 79836 149 0 0 25 0 1 0 833011346 114245632 27186 4294967295 134512640 134714508 3221224576 3221223160 134549708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27892 27186 1111 63 0 27829 0
vsize: 111568
[startup+810.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28570 0 2 0 80834 151 0 0 25 0 1 0 833011346 114651136 27297 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27991 27297 1111 63 0 27928 0
vsize: 111964
[startup+820.036 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28697 0 2 0 81833 152 0 0 25 0 1 0 833011346 115187712 27424 4294967295 134512640 134714508 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28122 27424 1111 63 0 28059 0
vsize: 112488
[startup+830.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28775 0 2 0 82832 153 0 0 25 0 1 0 833011346 115593216 27502 4294967295 134512640 134714508 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28221 27502 1111 63 0 28158 0
vsize: 112884
[startup+840.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28845 0 2 0 83831 154 0 0 25 0 1 0 833011346 115859456 27572 4294967295 134512640 134714508 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28286 27572 1111 63 0 28223 0
vsize: 113144
[startup+850.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28912 0 2 0 84830 156 0 0 25 0 1 0 833011346 116129792 27639 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28352 27639 1111 63 0 28289 0
vsize: 113408
[startup+860.036 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 28995 0 2 0 85829 157 0 0 25 0 1 0 833011346 116400128 27722 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28418 27722 1111 63 0 28355 0
vsize: 113672
[startup+870.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 29065 0 2 0 86828 158 0 0 25 0 1 0 833011346 116670464 27792 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28484 27792 1111 63 0 28421 0
vsize: 113936
[startup+880.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 29173 0 2 0 87828 159 0 0 25 0 1 0 833011346 117211136 27900 4294967295 134512640 134714508 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28616 27900 1111 63 0 28553 0
vsize: 114464
[startup+890.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 29286 0 2 0 88827 159 0 0 25 0 1 0 833011346 117616640 28013 4294967295 134512640 134714508 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28715 28013 1111 63 0 28652 0
vsize: 114860
[startup+900.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 29429 0 2 0 89826 161 0 0 25 0 1 0 833011346 118157312 28156 4294967295 134512640 134714508 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28847 28156 1111 63 0 28784 0
vsize: 115388
[startup+910.036 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 29520 0 2 0 90825 162 0 0 25 0 1 0 833011346 118558720 28247 4294967295 134512640 134714508 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28945 28247 1111 63 0 28882 0
vsize: 115780
[startup+920.036 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 29596 0 2 0 91824 163 0 0 25 0 1 0 833011346 118829056 28323 4294967295 134512640 134714508 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29011 28323 1111 63 0 28948 0
vsize: 116044
[startup+930.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 29767 0 2 0 92823 164 0 0 25 0 1 0 833011346 119640064 28494 4294967295 134512640 134714508 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29209 28494 1111 63 0 29146 0
vsize: 116836
[startup+940.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 29874 0 2 0 93822 165 0 0 25 0 1 0 833011346 120045568 28601 4294967295 134512640 134714508 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29308 28601 1111 63 0 29245 0
vsize: 117232
[startup+950.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30029 0 2 0 94822 166 0 0 25 0 1 0 833011346 120717312 28756 4294967295 134512640 134714508 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29472 28756 1111 63 0 29409 0
vsize: 117888
[startup+960.036 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30103 0 2 0 95821 166 0 0 25 0 1 0 833011346 120987648 28830 4294967295 134512640 134714508 3221224576 3221223336 134588015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29538 28830 1111 63 0 29475 0
vsize: 118152
[startup+970.036 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30187 0 2 0 96820 168 0 0 25 0 1 0 833011346 121257984 28914 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29604 28914 1111 63 0 29541 0
vsize: 118416
[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30268 0 2 0 97819 169 0 0 25 0 1 0 833011346 121663488 28995 4294967295 134512640 134714508 3221224576 3221223168 134549612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29703 28995 1111 63 0 29640 0
vsize: 118812
[startup+990.036 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30338 0 2 0 98818 171 0 0 25 0 1 0 833011346 121933824 29065 4294967295 134512640 134714508 3221224576 3221223152 134542748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29769 29065 1111 63 0 29706 0
vsize: 119076
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30425 0 2 0 99817 171 0 0 25 0 1 0 833011346 122339328 29152 4294967295 134512640 134714508 3221224576 3221223264 134528605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29868 29152 1111 63 0 29805 0
vsize: 119472
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30499 0 2 0 100817 172 0 0 25 0 1 0 833011346 122609664 29226 4294967295 134512640 134714508 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29934 29226 1111 63 0 29871 0
vsize: 119736
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30563 0 2 0 101816 172 0 0 25 0 1 0 833011346 122880000 29290 4294967295 134512640 134714508 3221224576 3221223280 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30000 29290 1111 63 0 29937 0
vsize: 120000
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30622 0 2 0 102816 173 0 0 25 0 1 0 833011346 123150336 29349 4294967295 134512640 134714508 3221224576 3221223256 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30066 29349 1111 63 0 30003 0
vsize: 120264
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30646 0 2 0 103816 173 0 0 25 0 1 0 833011346 123150336 29373 4294967295 134512640 134714508 3221224576 3221223264 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30066 29373 1111 63 0 30003 0
vsize: 120264
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30695 0 2 0 104815 174 0 0 25 0 1 0 833011346 123420672 29422 4294967295 134512640 134714508 3221224576 3221223292 134542828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30132 29422 1111 63 0 30069 0
vsize: 120528
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30746 0 2 0 105815 175 0 0 25 0 1 0 833011346 123555840 29473 4294967295 134512640 134714508 3221224576 3221223060 134697324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30165 29473 1111 63 0 30102 0
vsize: 120660
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30783 0 2 0 106814 175 0 0 25 0 1 0 833011346 123691008 29510 4294967295 134512640 134714508 3221224576 3221223108 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30198 29510 1111 63 0 30135 0
vsize: 120792
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30805 0 2 0 107814 176 0 0 25 0 1 0 833011346 123822080 29532 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30230 29532 1111 63 0 30167 0
vsize: 120920
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30830 0 2 0 108814 176 0 0 25 0 1 0 833011346 123936768 29557 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30258 29557 1111 63 0 30195 0
vsize: 121032
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30847 0 2 0 109814 176 0 0 25 0 1 0 833011346 124063744 29574 4294967295 134512640 134714508 3221224576 3221223220 134536694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30289 29574 1111 63 0 30226 0
vsize: 121156
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30856 0 2 0 110814 177 0 0 25 0 1 0 833011346 124063744 29583 4294967295 134512640 134714508 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30289 29583 1111 63 0 30226 0
vsize: 121156
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30870 0 2 0 111813 177 0 0 25 0 1 0 833011346 124063744 29597 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30289 29597 1111 63 0 30226 0
vsize: 121156
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30907 0 2 0 112813 178 0 0 25 0 1 0 833011346 124198912 29634 4294967295 134512640 134714508 3221224576 3221223280 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30322 29634 1111 63 0 30259 0
vsize: 121288
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30921 0 2 0 113812 179 0 0 25 0 1 0 833011346 124334080 29648 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30355 29648 1111 63 0 30292 0
vsize: 121420
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30934 0 2 0 114812 179 0 0 25 0 1 0 833011346 124334080 29661 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30355 29661 1111 63 0 30292 0
vsize: 121420
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30944 0 2 0 115812 179 0 0 25 0 1 0 833011346 124444672 29671 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30382 29671 1111 63 0 30319 0
vsize: 121528
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30953 0 2 0 116812 180 0 0 25 0 1 0 833011346 124444672 29680 4294967295 134512640 134714508 3221224576 3221223352 134600357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30382 29680 1111 63 0 30319 0
vsize: 121528
[startup+1175.19 s]
Raw data (loadavg): 1.00 0.99 0.97 1/53 26501
Raw data (stat): 26501 (bsolo_lpr_cuts) R 26500 22056 22055 0 -1 0 30953 0 2 0 116812 180 0 0 25 0 1 0 833011346 124444672 29680 4294967295 134512640 134714508 3221224576 3221223352 134600357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30382 29680 1111 63 0 30319 0
vsize: 0

Child status: 0
Real time (s): 1175.19
CPU time (s): 1175.08
CPU user time (s): 1173.21
CPU system time (s): 1.86372
CPU usage (%): 99.9902
Max. virtual memory (Kb): 121528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####