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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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	1175.06
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 28402

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 02:16:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12937 boxname=wulflinc25 idbench=996 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 12937
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        915332 kB
Buffers:          7932 kB
Cached:          87356 kB
SwapCached:        592 kB
Active:          23040 kB
Inactive:        74504 kB
HighTotal:      131008 kB
HighFree:        79324 kB
LowTotal:       903652 kB
LowFree:        836008 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16080 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:35:49 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 12937 7 1175.12 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.04 s
c Initial Lower Bound: -41
c Lower Bound Elapsed time: 22.07
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.81 0.94 0.98 1/54 7708
Raw data (stat): 7708 (runsolver) D 7707 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 835221230 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0063 s]
Raw data (loadavg): 0.84 0.94 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 13942 0 0 0 928 35 0 0 25 0 1 0 835221230 60264448 13859 4294967295 134512640 134714508 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14713 13859 1111 63 0 14650 0
vsize: 58852
[startup+20.0148 s]
Raw data (loadavg): 0.86 0.94 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 16378 0 0 0 1922 43 0 0 25 0 1 0 835221230 70270976 16295 4294967295 134512640 134714508 3221224576 3221223128 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17156 16295 1111 63 0 17093 0
vsize: 68624
[startup+30.0238 s]
Raw data (loadavg): 0.88 0.94 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 17740 0 0 0 2919 47 0 0 25 0 1 0 835221230 75816960 17657 4294967295 134512640 134714508 3221224576 3221223248 134627250 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.0389 s]
Raw data (loadavg): 0.90 0.94 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 17753 0 0 0 3921 47 0 0 25 0 1 0 835221230 75816960 17670 4294967295 134512640 134714508 3221224576 3221223248 134627187 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.0537 s]
Raw data (loadavg): 0.91 0.94 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 17763 0 0 0 4922 47 0 0 25 0 1 0 835221230 75952128 17680 4294967295 134512640 134714508 3221224576 3221223236 134627197 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.0603 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 17776 0 0 0 5923 47 0 0 25 0 1 0 835221230 75952128 17693 4294967295 134512640 134714508 3221224576 3221223228 134558493 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.063 s]
Raw data (loadavg): 0.94 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 17790 0 0 0 6923 47 0 0 25 0 1 0 835221230 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.0631 s]
Raw data (loadavg): 0.95 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 17801 0 0 0 7924 47 0 0 25 0 1 0 835221230 76087296 17718 4294967295 134512640 134714508 3221224576 3221223236 134627197 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.0633 s]
Raw data (loadavg): 0.95 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 18011 0 0 0 8923 47 0 0 25 0 1 0 835221230 76910592 17928 4294967295 134512640 134714508 3221224576 3221222320 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18777 17928 1111 63 0 18714 0
vsize: 75108
[startup+100.063 s]
Raw data (loadavg): 0.96 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 18980 0 0 0 9921 49 0 0 25 0 1 0 835221230 79597568 18629 4294967295 134512640 134714508 3221224576 3221220704 1074815309 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.063 s]
Raw data (loadavg): 0.97 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 19606 0 0 0 10918 52 0 0 25 0 1 0 835221230 78045184 18331 4294967295 134512640 134714508 3221224576 3221223004 134543156 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.063 s]
Raw data (loadavg): 0.97 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 19714 0 0 0 11915 54 0 0 25 0 1 0 835221230 78446592 18439 4294967295 134512640 134714508 3221224576 3221223060 134697180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19152 18439 1111 63 0 19089 0
vsize: 76608
[startup+130.063 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 19849 0 0 0 12913 56 0 0 25 0 1 0 835221230 78987264 18574 4294967295 134512640 134714508 3221224576 3221223232 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19284 18574 1111 63 0 19221 0
vsize: 77136
[startup+140.063 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 20006 0 0 0 13912 57 0 0 25 0 1 0 835221230 79663104 18731 4294967295 134512640 134714508 3221224576 3221223248 134543735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19449 18731 1111 63 0 19386 0
vsize: 77796
[startup+150.063 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 20231 0 0 0 14910 59 0 0 25 0 1 0 835221230 80474112 18956 4294967295 134512640 134714508 3221224576 3221223316 134594953 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.063 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 20368 0 0 0 15909 60 0 0 25 0 1 0 835221230 81149952 19093 4294967295 134512640 134714508 3221224576 3221223296 134528831 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.063 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 20590 0 0 0 16907 63 0 0 25 0 1 0 835221230 81956864 19315 4294967295 134512640 134714508 3221224576 3221223052 134535956 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.062 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 20765 0 0 0 17906 64 0 0 25 0 1 0 835221230 82767872 19490 4294967295 134512640 134714508 3221224576 3221223520 134576138 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.063 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 20920 0 0 0 18905 65 0 0 25 0 1 0 835221230 83308544 19645 4294967295 134512640 134714508 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20339 19645 1111 63 0 20276 0
vsize: 81356
[startup+200.062 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 21116 0 0 0 19904 66 0 0 25 0 1 0 835221230 84119552 19841 4294967295 134512640 134714508 3221224576 3221223112 134613753 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.062 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 21291 0 0 0 20903 68 0 0 25 0 1 0 835221230 84930560 20016 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20735 20016 1111 63 0 20672 0
vsize: 82940
[startup+220.062 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 21446 0 0 0 21902 69 0 0 25 0 1 0 835221230 85471232 20171 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20867 20171 1111 63 0 20804 0
vsize: 83468
[startup+230.062 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 21579 0 0 0 22900 71 0 0 25 0 1 0 835221230 86011904 20304 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20999 20304 1111 63 0 20936 0
vsize: 83996
[startup+240.062 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 21700 0 0 0 23900 71 0 0 25 0 1 0 835221230 86552576 20425 4294967295 134512640 134714508 3221224576 3221223132 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21131 20425 1111 63 0 21068 0
vsize: 84524
[startup+250.062 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 21855 0 0 0 24899 73 0 0 25 0 1 0 835221230 87228416 20580 4294967295 134512640 134714508 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21296 20580 1111 63 0 21233 0
vsize: 85184
[startup+260.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 22053 0 0 0 25897 75 0 0 25 0 1 0 835221230 88039424 20778 4294967295 134512640 134714508 3221224576 3221223376 134597766 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.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 22185 0 0 0 26896 76 0 0 25 0 1 0 835221230 88580096 20910 4294967295 134512640 134714508 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21626 20910 1111 63 0 21563 0
vsize: 86504
[startup+280.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 22397 0 0 0 27895 77 0 0 25 0 1 0 835221230 89391104 21122 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21824 21122 1111 63 0 21761 0
vsize: 87296
[startup+290.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 22560 0 0 0 28894 79 0 0 25 0 1 0 835221230 90066944 21285 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21989 21285 1111 63 0 21926 0
vsize: 87956
[startup+300.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 22782 0 0 0 29892 80 0 0 25 0 1 0 835221230 91013120 21507 4294967295 134512640 134714508 3221224576 3221223156 134696248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22220 21507 1111 63 0 22157 0
vsize: 88880
[startup+310.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 22940 0 0 0 30891 81 0 0 25 0 1 0 835221230 91553792 21665 4294967295 134512640 134714508 3221224576 3221223132 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22352 21665 1111 63 0 22289 0
vsize: 89408
[startup+320.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 23155 0 0 0 31891 82 0 0 25 0 1 0 835221230 92495872 21880 4294967295 134512640 134714508 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22582 21880 1111 63 0 22519 0
vsize: 90328
[startup+330.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 23263 0 0 0 32890 83 0 0 25 0 1 0 835221230 92971008 21988 4294967295 134512640 134714508 3221224576 3221223208 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22698 21988 1111 63 0 22635 0
vsize: 90792
[startup+340.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 23427 0 0 0 33889 84 0 0 25 0 1 0 835221230 93646848 22152 4294967295 134512640 134714508 3221224576 3221223136 134542297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22863 22152 1111 63 0 22800 0
vsize: 91452
[startup+350.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 23569 0 0 0 34887 86 0 0 25 0 1 0 835221230 94187520 22294 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22995 22294 1111 63 0 22932 0
vsize: 91980
[startup+360.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 23740 0 0 0 35886 87 0 0 25 0 1 0 835221230 94863360 22465 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23160 22465 1111 63 0 23097 0
vsize: 92640
[startup+370.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 23894 0 0 0 36885 88 0 0 25 0 1 0 835221230 95539200 22619 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23325 22619 1111 63 0 23262 0
vsize: 93300
[startup+380.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 24068 0 0 0 37885 89 0 0 25 0 1 0 835221230 96215040 22793 4294967295 134512640 134714508 3221224576 3221223112 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23490 22793 1111 63 0 23427 0
vsize: 93960
[startup+390.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 24214 0 0 0 38884 90 0 0 25 0 1 0 835221230 96886784 22939 4294967295 134512640 134714508 3221224576 3221223192 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23654 22939 1111 63 0 23591 0
vsize: 94616
[startup+400.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 24380 0 0 0 39882 92 0 0 25 0 1 0 835221230 97562624 23105 4294967295 134512640 134714508 3221224576 3221223232 134543735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23819 23105 1111 63 0 23756 0
vsize: 95276
[startup+410.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 24548 0 0 0 40882 93 0 0 25 0 1 0 835221230 98234368 23273 4294967295 134512640 134714508 3221224576 3221223168 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23983 23273 1111 63 0 23920 0
vsize: 95932
[startup+420.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 24712 0 0 0 41881 93 0 0 25 0 1 0 835221230 98910208 23437 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24148 23437 1111 63 0 24085 0
vsize: 96592
[startup+430.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 24886 0 0 0 42880 94 0 0 25 0 1 0 835221230 99586048 23611 4294967295 134512640 134714508 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24313 23611 1111 63 0 24250 0
vsize: 97252
[startup+440.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 25020 0 0 0 43880 95 0 0 25 0 1 0 835221230 100126720 23745 4294967295 134512640 134714508 3221224576 3221223224 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24445 23745 1111 63 0 24382 0
vsize: 97780
[startup+450.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 25159 0 0 0 44879 96 0 0 25 0 1 0 835221230 100667392 23884 4294967295 134512640 134714508 3221224576 3221223136 134542362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24577 23884 1111 63 0 24514 0
vsize: 98308
[startup+460.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 25341 0 0 0 45878 97 0 0 25 0 1 0 835221230 101478400 24066 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24775 24066 1111 63 0 24712 0
vsize: 99100
[startup+470.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 25494 0 0 0 46876 99 0 0 25 0 1 0 835221230 102019072 24219 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24907 24219 1111 63 0 24844 0
vsize: 99628
[startup+480.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 25611 0 0 0 47875 101 0 0 25 0 1 0 835221230 102559744 24336 4294967295 134512640 134714508 3221224576 3221223376 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25039 24336 1111 63 0 24976 0
vsize: 100156
[startup+490.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 25736 0 0 0 48874 102 0 0 25 0 1 0 835221230 103100416 24461 4294967295 134512640 134714508 3221224576 3221223244 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25171 24461 1111 63 0 25108 0
vsize: 100684
[startup+500.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 25838 0 0 0 49873 103 0 0 25 0 1 0 835221230 103505920 24563 4294967295 134512640 134714508 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25270 24563 1111 63 0 25207 0
vsize: 101080
[startup+510.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 25960 0 0 0 50872 104 0 0 25 0 1 0 835221230 104046592 24685 4294967295 134512640 134714508 3221224576 3221223336 134592385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25402 24685 1111 63 0 25339 0
vsize: 101608
[startup+520.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 25970 0 0 0 51874 104 0 0 25 0 1 0 835221230 104013824 24695 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25394 24695 1111 63 0 25331 0
vsize: 101576
[startup+530.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26041 0 0 0 52874 104 0 0 25 0 1 0 835221230 104284160 24766 4294967295 134512640 134714508 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25460 24766 1111 63 0 25397 0
vsize: 101840
[startup+540.087 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26054 0 0 0 53875 105 0 0 25 0 1 0 835221230 104419328 24779 4294967295 134512640 134714508 3221224576 3221223184 134549316 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.087 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26068 0 0 0 54874 105 0 0 25 0 1 0 835221230 104411136 24793 4294967295 134512640 134714508 3221224576 3221223500 1077781665 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.087 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26138 0 0 0 55874 106 0 0 25 0 1 0 835221230 104681472 24863 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25557 24863 1111 63 0 25494 0
vsize: 102228
[startup+570.088 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26167 0 0 0 56874 106 0 0 25 0 1 0 835221230 104812544 24892 4294967295 134512640 134714508 3221224576 3221223168 134549818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24892 1111 63 0 25526 0
vsize: 102356
[startup+580.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26174 0 0 0 57874 106 0 0 25 0 1 0 835221230 104812544 24899 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24899 1111 63 0 25526 0
vsize: 102356
[startup+590.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26213 0 0 0 58873 107 0 0 25 0 1 0 835221230 105062400 24938 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25650 24938 1111 63 0 25587 0
vsize: 102600
[startup+600.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26243 0 0 0 59873 107 0 0 25 0 1 0 835221230 105197568 24968 4294967295 134512640 134714508 3221224576 3221223232 134536710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25683 24968 1111 63 0 25620 0
vsize: 102732
[startup+610.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26399 0 0 0 60872 109 0 0 25 0 1 0 835221230 105738240 25124 4294967295 134512640 134714508 3221224576 3221223208 134696001 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25815 25124 1111 63 0 25752 0
vsize: 103260
[startup+620.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26555 0 0 0 61871 110 0 0 25 0 1 0 835221230 106414080 25280 4294967295 134512640 134714508 3221224576 3221223148 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25980 25280 1111 63 0 25917 0
vsize: 103920
[startup+630.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26665 0 0 0 62871 111 0 0 25 0 1 0 835221230 106819584 25390 4294967295 134512640 134714508 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26079 25390 1111 63 0 26016 0
vsize: 104316
[startup+640.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26781 0 0 0 63870 112 0 0 25 0 1 0 835221230 107360256 25506 4294967295 134512640 134714508 3221224576 3221223192 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26211 25506 1111 63 0 26148 0
vsize: 104844
[startup+650.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 26880 0 0 0 64869 112 0 0 25 0 1 0 835221230 107765760 25605 4294967295 134512640 134714508 3221224576 3221223136 134549600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26310 25605 1111 63 0 26247 0
vsize: 105240
[startup+660.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27030 0 0 0 65868 114 0 0 25 0 1 0 835221230 108306432 25755 4294967295 134512640 134714508 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26442 25755 1111 63 0 26379 0
vsize: 105768
[startup+670.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27195 0 0 0 66867 115 0 0 25 0 1 0 835221230 108982272 25920 4294967295 134512640 134714508 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26607 25920 1111 63 0 26544 0
vsize: 106428
[startup+680.089 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27264 0 0 0 67866 116 0 0 25 0 1 0 835221230 109387776 25989 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26706 25989 1111 63 0 26643 0
vsize: 106824
[startup+690.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27343 0 0 0 68866 116 0 0 25 0 1 0 835221230 109658112 26068 4294967295 134512640 134714508 3221224576 3221223376 134597777 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.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27423 0 0 0 69866 117 0 0 25 0 1 0 835221230 109928448 26148 4294967295 134512640 134714508 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26838 26148 1111 63 0 26775 0
vsize: 107352
[startup+710.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27542 0 0 0 70865 118 0 0 25 0 1 0 835221230 110469120 26267 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26970 26267 1111 63 0 26907 0
vsize: 107880
[startup+720.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27584 0 0 0 71865 118 0 0 25 0 1 0 835221230 110604288 26309 4294967295 134512640 134714508 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27003 26309 1111 63 0 26940 0
vsize: 108012
[startup+730.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27703 0 0 0 72864 119 0 0 25 0 1 0 835221230 111140864 26428 4294967295 134512640 134714508 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27134 26428 1111 63 0 27071 0
vsize: 108536
[startup+740.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27857 0 0 0 73863 120 0 0 25 0 1 0 835221230 111816704 26582 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27299 26582 1111 63 0 27236 0
vsize: 109196
[startup+750.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 27983 0 0 0 74862 121 0 0 25 0 1 0 835221230 112218112 26708 4294967295 134512640 134714508 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27397 26708 1111 63 0 27334 0
vsize: 109588
[startup+760.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28060 0 0 0 75861 122 0 0 25 0 1 0 835221230 112623616 26785 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27496 26785 1111 63 0 27433 0
vsize: 109984
[startup+770.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28166 0 0 0 76860 124 0 0 25 0 1 0 835221230 113029120 26891 4294967295 134512640 134714508 3221224576 3221223312 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27595 26891 1111 63 0 27532 0
vsize: 110380
[startup+780.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28325 0 0 0 77859 126 0 0 25 0 1 0 835221230 113704960 27050 4294967295 134512640 134714508 3221224576 3221223200 134696249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27760 27050 1111 63 0 27697 0
vsize: 111040
[startup+790.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28399 0 0 0 78857 127 0 0 25 0 1 0 835221230 113975296 27124 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27826 27124 1111 63 0 27763 0
vsize: 111304
[startup+800.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28451 0 0 0 79856 129 0 0 25 0 1 0 835221230 114245632 27176 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27892 27176 1111 63 0 27829 0
vsize: 111568
[startup+810.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28527 0 0 0 80855 130 0 0 25 0 1 0 835221230 114515968 27252 4294967295 134512640 134714508 3221224576 3221223136 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27958 27252 1111 63 0 27895 0
vsize: 111832
[startup+820.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28650 0 0 0 81854 131 0 0 25 0 1 0 835221230 115052544 27375 4294967295 134512640 134714508 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28089 27375 1111 63 0 28026 0
vsize: 112356
[startup+830.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28750 0 0 0 82853 133 0 0 25 0 1 0 835221230 115458048 27475 4294967295 134512640 134714508 3221224576 3221223132 134539312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28188 27475 1111 63 0 28125 0
vsize: 112752
[startup+840.091 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28823 0 0 0 83852 134 0 0 25 0 1 0 835221230 115728384 27548 4294967295 134512640 134714508 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28254 27548 1111 63 0 28191 0
vsize: 113016
[startup+850.091 s]
Raw data (loadavg): 1.15 1.00 0.99 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28886 0 0 0 84852 134 0 0 25 0 1 0 835221230 115994624 27611 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28319 27611 1111 63 0 28256 0
vsize: 113276
[startup+860.091 s]
Raw data (loadavg): 1.13 1.00 0.99 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 28960 0 0 0 85851 135 0 0 25 0 1 0 835221230 116264960 27685 4294967295 134512640 134714508 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28385 27685 1111 63 0 28322 0
vsize: 113540
[startup+870.092 s]
Raw data (loadavg): 1.11 1.00 0.99 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 29034 0 0 0 86850 136 0 0 25 0 1 0 835221230 116535296 27759 4294967295 134512640 134714508 3221224576 3221223192 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28451 27759 1111 63 0 28388 0
vsize: 113804
[startup+880.093 s]
Raw data (loadavg): 1.17 1.02 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 29113 0 0 0 87850 136 0 0 25 0 1 0 835221230 116940800 27838 4294967295 134512640 134714508 3221224576 3221223232 134524111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28550 27838 1111 63 0 28487 0
vsize: 114200
[startup+890.094 s]
Raw data (loadavg): 1.15 1.02 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 29219 0 0 0 88849 138 0 0 25 0 1 0 835221230 117346304 27944 4294967295 134512640 134714508 3221224576 3221223236 134535798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28649 27944 1111 63 0 28586 0
vsize: 114596
[startup+900.094 s]
Raw data (loadavg): 1.12 1.02 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 29364 0 0 0 89848 139 0 0 25 0 1 0 835221230 117886976 28089 4294967295 134512640 134714508 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28781 28089 1111 63 0 28718 0
vsize: 115124
[startup+910.094 s]
Raw data (loadavg): 1.10 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 29462 0 0 0 90847 140 0 0 25 0 1 0 835221230 118292480 28187 4294967295 134512640 134714508 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28880 28187 1111 63 0 28817 0
vsize: 115520
[startup+920.094 s]
Raw data (loadavg): 1.09 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 29540 0 0 0 91846 141 0 0 25 0 1 0 835221230 118693888 28265 4294967295 134512640 134714508 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28978 28265 1111 63 0 28915 0
vsize: 115912
[startup+930.095 s]
Raw data (loadavg): 1.07 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 29677 0 0 0 92846 142 0 0 25 0 1 0 835221230 119234560 28402 4294967295 134512640 134714508 3221224576 3221223184 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29110 28402 1111 63 0 29047 0
vsize: 116440
[startup+940.095 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 29824 0 0 0 93845 143 0 0 25 0 1 0 835221230 119775232 28549 4294967295 134512640 134714508 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29242 28549 1111 63 0 29179 0
vsize: 116968
[startup+950.095 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 29948 0 0 0 94845 143 0 0 25 0 1 0 835221230 120315904 28673 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29374 28673 1111 63 0 29311 0
vsize: 117496
[startup+960.095 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30084 0 0 0 95844 144 0 0 25 0 1 0 835221230 120852480 28809 4294967295 134512640 134714508 3221224576 3221223164 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29505 28809 1111 63 0 29442 0
vsize: 118020
[startup+970.096 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30137 0 0 0 96843 145 0 0 25 0 1 0 835221230 121122816 28862 4294967295 134512640 134714508 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29571 28862 1111 63 0 29508 0
vsize: 118284
[startup+980.097 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30227 0 0 0 97843 146 0 0 25 0 1 0 835221230 121528320 28952 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29670 28952 1111 63 0 29607 0
vsize: 118680
[startup+990.096 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30276 0 0 0 98842 147 0 0 25 0 1 0 835221230 121663488 29001 4294967295 134512640 134714508 3221224576 3221223168 134549742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29703 29001 1111 63 0 29640 0
vsize: 118812
[startup+1000.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30370 0 0 0 99842 147 0 0 25 0 1 0 835221230 122068992 29095 4294967295 134512640 134714508 3221224576 3221223312 134529200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29802 29095 1111 63 0 29739 0
vsize: 119208
[startup+1010.1 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30447 0 0 0 100841 148 0 0 25 0 1 0 835221230 122339328 29172 4294967295 134512640 134714508 3221224576 3221223264 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29868 29172 1111 63 0 29805 0
vsize: 119472
[startup+1020.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30510 0 0 0 101841 148 0 0 25 0 1 0 835221230 122609664 29235 4294967295 134512640 134714508 3221224576 3221223216 134696097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29934 29235 1111 63 0 29871 0
vsize: 119736
[startup+1030.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30572 0 0 0 102840 149 0 0 25 0 1 0 835221230 122880000 29297 4294967295 134512640 134714508 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30000 29297 1111 63 0 29937 0
vsize: 120000
[startup+1040.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30629 0 0 0 103840 150 0 0 25 0 1 0 835221230 123150336 29354 4294967295 134512640 134714508 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30066 29354 1111 63 0 30003 0
vsize: 120264
[startup+1050.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30652 0 0 0 104840 150 0 0 25 0 1 0 835221230 123150336 29377 4294967295 134512640 134714508 3221224576 3221223112 134613763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30066 29377 1111 63 0 30003 0
vsize: 120264
[startup+1060.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30698 0 0 0 105840 150 0 0 25 0 1 0 835221230 123420672 29423 4294967295 134512640 134714508 3221224576 3221223296 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30132 29423 1111 63 0 30069 0
vsize: 120528
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30751 0 0 0 106840 151 0 0 25 0 1 0 835221230 123555840 29476 4294967295 134512640 134714508 3221224576 3221223280 134528543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30165 29476 1111 63 0 30102 0
vsize: 120660
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30786 0 0 0 107840 151 0 0 25 0 1 0 835221230 123691008 29511 4294967295 134512640 134714508 3221224576 3221223216 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30198 29511 1111 63 0 30135 0
vsize: 120792
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30807 0 0 0 108839 152 0 0 25 0 1 0 835221230 123822080 29532 4294967295 134512640 134714508 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30230 29532 1111 63 0 30167 0
vsize: 120920
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30832 0 0 0 109839 152 0 0 25 0 1 0 835221230 123936768 29557 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30258 29557 1111 63 0 30195 0
vsize: 121032
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30849 0 0 0 110839 152 0 0 25 0 1 0 835221230 124063744 29574 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29574 1111 63 0 30226 0
vsize: 121156
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30858 0 0 0 111839 153 0 0 25 0 1 0 835221230 124063744 29583 4294967295 134512640 134714508 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29583 1111 63 0 30226 0
vsize: 121156
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30872 0 0 0 112839 153 0 0 25 0 1 0 835221230 124063744 29597 4294967295 134512640 134714508 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29597 1111 63 0 30226 0
vsize: 121156
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30909 0 0 0 113838 154 0 0 25 0 1 0 835221230 124198912 29634 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30322 29634 1111 63 0 30259 0
vsize: 121288
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30923 0 0 0 114838 154 0 0 25 0 1 0 835221230 124334080 29648 4294967295 134512640 134714508 3221224576 3221223248 134535760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 29648 1111 63 0 30292 0
vsize: 121420
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30935 0 0 0 115838 155 0 0 25 0 1 0 835221230 124334080 29660 4294967295 134512640 134714508 3221224576 3221223264 134528607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 29660 1111 63 0 30292 0
vsize: 121420
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30946 0 0 0 116838 155 0 0 25 0 1 0 835221230 124444672 29671 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29671 1111 63 0 30319 0
vsize: 121528
[startup+1175.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 7708
Raw data (stat): 7708 (bsolo_lpr_cuts) R 7707 1586 1585 0 -1 0 30946 0 0 0 116838 155 0 0 25 0 1 0 835221230 124444672 29671 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29671 1111 63 0 30319 0
vsize: 0

Child status: 0
Real time (s): 1175.28
CPU time (s): 1175.12
CPU user time (s): 1173.51
CPU system time (s): 1.60876
CPU usage (%): 99.986
Max. virtual memory (Kb): 121528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####