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-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	920
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.75
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 27373

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 21:20:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17370 boxname=wulflinc21 idbench=1337 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 17370
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        623080 kB
Buffers:         24632 kB
Cached:         366120 kB
SwapCached:       1064 kB
Active:          98348 kB
Inactive:       294976 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        622828 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:             324 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            12528 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:40:25 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 17370 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 767 constraints.
c preprocess terminated 67.714 s
c Initial Lower Bound: 897
c Lower Bound Elapsed time: 3.931
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.08 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.91 0.95 0.90 2/55 6466
Raw data (stat): 6466 (runsolver) R 6465 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 710699337 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99999 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 14034 0 0 0 966 31 0 0 25 0 1 0 710699337 60600320 13950 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14795 13950 1111 63 0 14732 0
vsize: 59180
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 14065 0 0 0 1965 31 0 0 25 0 1 0 710699337 60735488 13981 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14828 13981 1111 63 0 14765 0
vsize: 59312
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 14093 0 0 0 2965 31 0 0 25 0 1 0 710699337 60870656 14009 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14861 14009 1111 63 0 14798 0
vsize: 59444
[startup+39.9999 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 14124 0 0 0 3965 32 0 0 25 0 1 0 710699337 61005824 14040 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 14040 1111 63 0 14831 0
vsize: 59576
[startup+50.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 14150 0 0 0 4965 32 0 0 25 0 1 0 710699337 61140992 14066 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14927 14066 1111 63 0 14864 0
vsize: 59708
[startup+60.0002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 14180 0 0 0 5965 32 0 0 25 0 1 0 710699337 61276160 14096 4294967295 134512640 134714508 3221224576 3221223248 134627252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14960 14096 1111 63 0 14897 0
vsize: 59840
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 14918 0 0 0 6964 34 0 0 25 0 1 0 710699337 63483904 14708 4294967295 134512640 134714508 3221224576 3221220276 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15499 14708 1111 63 0 15436 0
vsize: 61996
[startup+80.0006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 15348 0 0 0 7961 36 0 0 25 0 1 0 710699337 63524864 14792 4294967295 134512640 134714508 3221224576 3221223132 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15509 14792 1111 63 0 15446 0
vsize: 62036
[startup+90.0003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 15616 0 0 0 8960 37 0 0 25 0 1 0 710699337 64602112 15060 4294967295 134512640 134714508 3221224576 3221223136 134696528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15772 15060 1111 63 0 15709 0
vsize: 63088
[startup+99.9999 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 15878 0 0 0 9959 38 0 0 25 0 1 0 710699337 65679360 15322 4294967295 134512640 134714508 3221224576 3221223312 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16035 15322 1111 63 0 15972 0
vsize: 64140
[startup+110 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16051 0 0 0 10958 39 0 0 25 0 1 0 710699337 66318336 15495 4294967295 134512640 134714508 3221224576 3221223264 134534129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16191 15495 1111 63 0 16128 0
vsize: 64764
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16172 0 0 0 11958 40 0 0 25 0 1 0 710699337 66854912 15616 4294967295 134512640 134714508 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16322 15616 1111 63 0 16259 0
vsize: 65288
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16236 0 0 0 12957 41 0 0 25 0 1 0 710699337 67104768 15680 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16383 15680 1111 63 0 16320 0
vsize: 65532
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16411 0 0 0 13957 42 0 0 25 0 1 0 710699337 67915776 15855 4294967295 134512640 134714508 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16581 15855 1111 63 0 16518 0
vsize: 66324
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16533 0 0 0 14956 42 0 0 25 0 1 0 710699337 68321280 15977 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16680 15977 1111 63 0 16617 0
vsize: 66720
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16563 0 0 0 15955 43 0 0 25 0 1 0 710699337 68452352 16007 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16712 16007 1111 63 0 16649 0
vsize: 66848
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16666 0 0 0 16955 43 0 0 25 0 1 0 710699337 68816896 16107 4294967295 134512640 134714508 3221224576 3221223136 134551998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16801 16107 1111 63 0 16738 0
vsize: 67204
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16676 0 0 0 17955 44 0 0 25 0 1 0 710699337 68952064 16117 4294967295 134512640 134714508 3221224576 3221223216 134696066 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16834 16117 1111 63 0 16771 0
vsize: 67336
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16750 0 0 0 18955 44 0 0 25 0 1 0 710699337 69222400 16191 4294967295 134512640 134714508 3221224576 3221223216 134613422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16900 16191 1111 63 0 16837 0
vsize: 67600
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16923 0 0 0 19954 45 0 0 25 0 1 0 710699337 69902336 16364 4294967295 134512640 134714508 3221224576 3221223296 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17066 16364 1111 63 0 17003 0
vsize: 68264
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16945 0 0 0 20954 45 0 0 25 0 1 0 710699337 70037504 16386 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17099 16386 1111 63 0 17036 0
vsize: 68396
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16945 0 0 0 21954 45 0 0 25 0 1 0 710699337 70037504 16386 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17099 16386 1111 63 0 17036 0
vsize: 68396
[startup+229.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 16991 0 0 0 22953 46 0 0 25 0 1 0 710699337 70172672 16432 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17132 16432 1111 63 0 17069 0
vsize: 68528
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17005 0 0 0 23953 46 0 0 25 0 1 0 710699337 70307840 16446 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17165 16446 1111 63 0 17102 0
vsize: 68660
[startup+249.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17094 0 0 0 24953 47 0 0 25 0 1 0 710699337 70578176 16535 4294967295 134512640 134714508 3221224576 3221223288 134524591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17231 16535 1111 63 0 17168 0
vsize: 68924
[startup+259.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17142 0 0 0 25952 48 0 0 25 0 1 0 710699337 70852608 16583 4294967295 134512640 134714508 3221224576 3221223216 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17298 16583 1111 63 0 17235 0
vsize: 69192
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17164 0 0 0 26952 48 0 0 25 0 1 0 710699337 70987776 16605 4294967295 134512640 134714508 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16605 1111 63 0 17268 0
vsize: 69324
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17164 0 0 0 27951 49 0 0 25 0 1 0 710699337 70987776 16605 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16605 1111 63 0 17268 0
vsize: 69324
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17203 0 0 0 28951 49 0 0 25 0 1 0 710699337 71122944 16644 4294967295 134512640 134714508 3221224576 3221223360 134529027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17364 16644 1111 63 0 17301 0
vsize: 69456
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17252 0 0 0 29950 50 0 0 25 0 1 0 710699337 71225344 16693 4294967295 134512640 134714508 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17389 16693 1111 63 0 17326 0
vsize: 69556
[startup+309.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17341 0 0 0 30950 50 0 0 25 0 1 0 710699337 71581696 16779 4294967295 134512640 134714508 3221224576 3221223164 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17476 16779 1111 63 0 17413 0
vsize: 69904
[startup+319.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17362 0 0 0 31950 51 0 0 25 0 1 0 710699337 71716864 16800 4294967295 134512640 134714508 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17509 16800 1111 63 0 17446 0
vsize: 70036
[startup+329.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17396 0 0 0 32950 51 0 0 25 0 1 0 710699337 71806976 16834 4294967295 134512640 134714508 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17531 16834 1111 63 0 17468 0
vsize: 70124
[startup+339.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17443 0 0 0 33949 52 0 0 25 0 1 0 710699337 72077312 16881 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17597 16881 1111 63 0 17534 0
vsize: 70388
[startup+349.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17570 0 0 0 34949 52 0 0 25 0 1 0 710699337 72499200 17006 4294967295 134512640 134714508 3221224576 3221223072 134697396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17700 17006 1111 63 0 17637 0
vsize: 70800
[startup+359.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17570 0 0 0 35948 53 0 0 25 0 1 0 710699337 72499200 17006 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17700 17006 1111 63 0 17637 0
vsize: 70800
[startup+369.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17570 0 0 0 36948 54 0 0 25 0 1 0 710699337 72499200 17006 4294967295 134512640 134714508 3221224576 3221223336 134592427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17700 17006 1111 63 0 17637 0
vsize: 70800
[startup+379.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17573 0 0 0 37947 54 0 0 25 0 1 0 710699337 72634368 17009 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17733 17009 1111 63 0 17670 0
vsize: 70932
[startup+389.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17626 0 0 0 38947 55 0 0 25 0 1 0 710699337 72769536 17062 4294967295 134512640 134714508 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17766 17062 1111 63 0 17703 0
vsize: 71064
[startup+399.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17715 0 0 0 39947 55 0 0 25 0 1 0 710699337 73175040 17151 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17865 17151 1111 63 0 17802 0
vsize: 71460
[startup+409.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17715 0 0 0 40946 56 0 0 25 0 1 0 710699337 73175040 17151 4294967295 134512640 134714508 3221224576 3221223336 134552685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17865 17151 1111 63 0 17802 0
vsize: 71460
[startup+419.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17723 0 0 0 41946 56 0 0 25 0 1 0 710699337 73175040 17159 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17865 17159 1111 63 0 17802 0
vsize: 71460
[startup+429.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17759 0 0 0 42946 56 0 0 25 0 1 0 710699337 73310208 17195 4294967295 134512640 134714508 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17898 17195 1111 63 0 17835 0
vsize: 71592
[startup+439.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17792 0 0 0 43945 58 0 0 25 0 1 0 710699337 73445376 17228 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17931 17228 1111 63 0 17868 0
vsize: 71724
[startup+449.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17908 0 0 0 44945 58 0 0 25 0 1 0 710699337 73932800 17344 4294967295 134512640 134714508 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18050 17344 1111 63 0 17987 0
vsize: 72200
[startup+459.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 17994 0 0 0 45944 59 0 0 25 0 1 0 710699337 74321920 17430 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18145 17430 1111 63 0 18082 0
vsize: 72580
[startup+469.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18032 0 0 0 46944 59 0 0 25 0 1 0 710699337 74457088 17468 4294967295 134512640 134714508 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18178 17468 1111 63 0 18115 0
vsize: 72712
[startup+479.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18043 0 0 0 47944 59 0 0 25 0 1 0 710699337 74457088 17479 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18178 17479 1111 63 0 18115 0
vsize: 72712
[startup+489.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18043 0 0 0 48944 60 0 0 25 0 1 0 710699337 74457088 17479 4294967295 134512640 134714508 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18178 17479 1111 63 0 18115 0
vsize: 72712
[startup+499.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18043 0 0 0 49944 60 0 0 25 0 1 0 710699337 74457088 17479 4294967295 134512640 134714508 3221224576 3221223360 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18178 17479 1111 63 0 18115 0
vsize: 72712
[startup+509.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18043 0 0 0 50944 60 0 0 25 0 1 0 710699337 74457088 17479 4294967295 134512640 134714508 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18178 17479 1111 63 0 18115 0
vsize: 72712
[startup+519.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18109 0 0 0 51943 61 0 0 25 0 1 0 710699337 74727424 17545 4294967295 134512640 134714508 3221224576 3221223248 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18244 17545 1111 63 0 18181 0
vsize: 72976
[startup+529.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18254 0 0 0 52943 61 0 0 25 0 1 0 710699337 75403264 17690 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18409 17690 1111 63 0 18346 0
vsize: 73636
[startup+539.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18308 0 0 0 53943 62 0 0 25 0 1 0 710699337 75534336 17744 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18441 17744 1111 63 0 18378 0
vsize: 73764
[startup+549.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18332 0 0 0 54942 62 0 0 25 0 1 0 710699337 75620352 17768 4294967295 134512640 134714508 3221224576 3221223264 134523171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18462 17768 1111 63 0 18399 0
vsize: 73848
[startup+560.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18422 0 0 0 55952 63 0 0 25 0 1 0 710699337 76025856 17858 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18561 17858 1111 63 0 18498 0
vsize: 74244
[startup+570.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18447 0 0 0 56952 63 0 0 25 0 1 0 710699337 76161024 17883 4294967295 134512640 134714508 3221224576 3221223320 134551632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18594 17883 1111 63 0 18531 0
vsize: 74376
[startup+580.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18514 0 0 0 57952 64 0 0 25 0 1 0 710699337 76492800 17950 4294967295 134512640 134714508 3221224576 3221223216 134613431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18675 17950 1111 63 0 18612 0
vsize: 74700
[startup+590.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18562 0 0 0 58952 64 0 0 25 0 1 0 710699337 76627968 17998 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18708 17998 1111 63 0 18645 0
vsize: 74832
[startup+600.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18632 0 0 0 59951 64 0 0 25 0 1 0 710699337 76898304 18068 4294967295 134512640 134714508 3221224576 3221223204 134696338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18774 18068 1111 63 0 18711 0
vsize: 75096
[startup+610.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18636 0 0 0 60951 65 0 0 25 0 1 0 710699337 76898304 18072 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18774 18072 1111 63 0 18711 0
vsize: 75096
[startup+620.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18720 0 0 0 61951 66 0 0 25 0 1 0 710699337 77303808 18156 4294967295 134512640 134714508 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18873 18156 1111 63 0 18810 0
vsize: 75492
[startup+630.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18745 0 0 0 62950 66 0 0 25 0 1 0 710699337 77373440 18181 4294967295 134512640 134714508 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18890 18181 1111 63 0 18827 0
vsize: 75560
[startup+640.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18861 0 0 0 63950 66 0 0 25 0 1 0 710699337 77914112 18297 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19022 18297 1111 63 0 18959 0
vsize: 76088
[startup+650.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18911 0 0 0 64950 67 0 0 25 0 1 0 710699337 78049280 18347 4294967295 134512640 134714508 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19055 18347 1111 63 0 18992 0
vsize: 76220
[startup+660.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 18959 0 0 0 65949 68 0 0 25 0 1 0 710699337 78319616 18395 4294967295 134512640 134714508 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19121 18395 1111 63 0 19058 0
vsize: 76484
[startup+670.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19009 0 0 0 66949 68 0 0 25 0 1 0 710699337 78454784 18445 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19154 18445 1111 63 0 19091 0
vsize: 76616
[startup+680.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19083 0 0 0 67949 68 0 0 25 0 1 0 710699337 78725120 18519 4294967295 134512640 134714508 3221224576 3221223352 134613532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19220 18519 1111 63 0 19157 0
vsize: 76880
[startup+690.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19151 0 0 0 68948 69 0 0 25 0 1 0 710699337 78995456 18587 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19286 18587 1111 63 0 19223 0
vsize: 77144
[startup+700.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19238 0 0 0 69948 70 0 0 25 0 1 0 710699337 79400960 18674 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19385 18674 1111 63 0 19322 0
vsize: 77540
[startup+710.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19310 0 0 0 70947 70 0 0 25 0 1 0 710699337 79671296 18746 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+720.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19310 0 0 0 71947 71 0 0 25 0 1 0 710699337 79671296 18746 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+730.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19310 0 0 0 72947 71 0 0 25 0 1 0 710699337 79671296 18746 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+740.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19310 0 0 0 73947 71 0 0 25 0 1 0 710699337 79671296 18746 4294967295 134512640 134714508 3221224576 3221223244 1077378650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+750.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19310 0 0 0 74947 71 0 0 25 0 1 0 710699337 79671296 18746 4294967295 134512640 134714508 3221224576 3221223284 1077374508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+760.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19310 0 0 0 75947 71 0 0 25 0 1 0 710699337 79671296 18746 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+770.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19404 0 0 0 76947 72 0 0 25 0 1 0 710699337 80076800 18840 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19550 18840 1111 63 0 19487 0
vsize: 78200
[startup+780.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19466 0 0 0 77947 72 0 0 25 0 1 0 710699337 80347136 18902 4294967295 134512640 134714508 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19616 18902 1111 63 0 19553 0
vsize: 78464
[startup+790.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19466 0 0 0 78947 72 0 0 25 0 1 0 710699337 80347136 18902 4294967295 134512640 134714508 3221224576 3221223360 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19616 18902 1111 63 0 19553 0
vsize: 78464
[startup+800.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19466 0 0 0 79947 72 0 0 25 0 1 0 710699337 80347136 18902 4294967295 134512640 134714508 3221224576 3221223184 134549444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19616 18902 1111 63 0 19553 0
vsize: 78464
[startup+810.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19512 0 0 0 80946 73 0 0 25 0 1 0 710699337 80453632 18948 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19642 18948 1111 63 0 19579 0
vsize: 78568
[startup+820.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19661 0 0 0 81946 74 0 0 25 0 1 0 710699337 81129472 19097 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19807 19097 1111 63 0 19744 0
vsize: 79228
[startup+830.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19661 0 0 0 82945 74 0 0 25 0 1 0 710699337 81129472 19097 4294967295 134512640 134714508 3221224576 3221223280 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19807 19097 1111 63 0 19744 0
vsize: 79228
[startup+840.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19741 0 0 0 83945 75 0 0 25 0 1 0 710699337 81391616 19177 4294967295 134512640 134714508 3221224576 3221223288 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19871 19177 1111 63 0 19808 0
vsize: 79484
[startup+850.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19792 0 0 0 84945 75 0 0 25 0 1 0 710699337 81657856 19228 4294967295 134512640 134714508 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19936 19228 1111 63 0 19873 0
vsize: 79744
[startup+860.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19814 0 0 0 85945 75 0 0 25 0 1 0 710699337 81793024 19250 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19969 19250 1111 63 0 19906 0
vsize: 79876
[startup+870.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19877 0 0 0 86945 76 0 0 25 0 1 0 710699337 82063360 19313 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20035 19313 1111 63 0 19972 0
vsize: 80140
[startup+880.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19991 0 0 0 87944 77 0 0 25 0 1 0 710699337 82436096 19427 4294967295 134512640 134714508 3221224576 3221223304 134532446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+890.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19991 0 0 0 88944 77 0 0 25 0 1 0 710699337 82436096 19427 4294967295 134512640 134714508 3221224576 3221223304 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+900.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19991 0 0 0 89944 77 0 0 25 0 1 0 710699337 82436096 19427 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+910.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19991 0 0 0 90944 77 0 0 25 0 1 0 710699337 82436096 19427 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+920.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19991 0 0 0 91944 77 0 0 25 0 1 0 710699337 82436096 19427 4294967295 134512640 134714508 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+930.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 19991 0 0 0 92943 78 0 0 25 0 1 0 710699337 82436096 19427 4294967295 134512640 134714508 3221224576 3221223280 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+940.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20045 0 0 0 93943 78 0 0 25 0 1 0 710699337 82706432 19481 4294967295 134512640 134714508 3221224576 3221223132 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20192 19481 1111 63 0 20129 0
vsize: 80768
[startup+950.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20045 0 0 0 94943 79 0 0 25 0 1 0 710699337 82706432 19481 4294967295 134512640 134714508 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20192 19481 1111 63 0 20129 0
vsize: 80768
[startup+960.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20045 0 0 0 95943 79 0 0 25 0 1 0 710699337 82706432 19481 4294967295 134512640 134714508 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20192 19481 1111 63 0 20129 0
vsize: 80768
[startup+970.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20078 0 0 0 96943 79 0 0 25 0 1 0 710699337 82841600 19514 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20225 19514 1111 63 0 20162 0
vsize: 80900
[startup+980.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20090 0 0 0 97943 79 0 0 25 0 1 0 710699337 82841600 19526 4294967295 134512640 134714508 3221224576 3221223392 134588079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20225 19526 1111 63 0 20162 0
vsize: 80900
[startup+990.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20172 0 0 0 98943 79 0 0 25 0 1 0 710699337 83247104 19608 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20324 19608 1111 63 0 20261 0
vsize: 81296
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20316 0 0 0 99942 80 0 0 25 0 1 0 710699337 83787776 19752 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20456 19752 1111 63 0 20393 0
vsize: 81824
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20316 0 0 0 100942 80 0 0 25 0 1 0 710699337 83701760 19741 4294967295 134512640 134714508 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20316 0 0 0 101942 81 0 0 25 0 1 0 710699337 83701760 19741 4294967295 134512640 134714508 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20316 0 0 0 102942 81 0 0 25 0 1 0 710699337 83701760 19741 4294967295 134512640 134714508 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20316 0 0 0 103941 82 0 0 25 0 1 0 710699337 83701760 19741 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20316 0 0 0 104941 82 0 0 25 0 1 0 710699337 83701760 19741 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20316 0 0 0 105941 82 0 0 25 0 1 0 710699337 83701760 19741 4294967295 134512640 134714508 3221224576 3221223280 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20316 0 0 0 106940 83 0 0 25 0 1 0 710699337 83701760 19741 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20357 0 0 0 107940 84 0 0 25 0 1 0 710699337 83972096 19782 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20501 19782 1111 63 0 20438 0
vsize: 82004
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20408 0 0 0 108940 84 0 0 25 0 1 0 710699337 84107264 19833 4294967295 134512640 134714508 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20534 19833 1111 63 0 20471 0
vsize: 82136
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20408 0 0 0 109939 85 0 0 25 0 1 0 710699337 83972096 19807 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20501 19807 1111 63 0 20438 0
vsize: 82004
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20408 0 0 0 110939 85 0 0 25 0 1 0 710699337 83972096 19807 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20501 19807 1111 63 0 20438 0
vsize: 82004
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20442 0 0 0 111938 86 0 0 25 0 1 0 710699337 84242432 19841 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20567 19841 1111 63 0 20504 0
vsize: 82268
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20546 0 0 0 112938 86 0 0 25 0 1 0 710699337 84611072 19945 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20657 19945 1111 63 0 20594 0
vsize: 82628
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20581 0 0 0 113938 86 0 0 25 0 1 0 710699337 84746240 19980 4294967295 134512640 134714508 3221224576 3221223280 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20690 19980 1111 63 0 20627 0
vsize: 82760
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20581 0 0 0 114938 87 0 0 25 0 1 0 710699337 84733952 19980 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20687 19980 1111 63 0 20624 0
vsize: 82748
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20591 0 0 0 115937 87 0 0 25 0 1 0 710699337 84733952 19990 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20687 19990 1111 63 0 20624 0
vsize: 82748
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20641 0 0 0 116937 88 0 0 25 0 1 0 710699337 85004288 20040 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20753 20040 1111 63 0 20690 0
vsize: 83012
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6466
Raw data (stat): 6466 (bsolo_lpr_cuts) R 6465 32363 32362 0 -1 0 20641 0 0 0 116937 88 0 0 25 0 1 0 710699337 85004288 20040 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20753 20040 1111 63 0 20690 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.12
CPU user time (s): 1174.2
CPU system time (s): 0.921859
CPU usage (%): 100.015
Max. virtual memory (Kb): 83012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####