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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap3.opb
MD5SUM	9acbf5c4d628ba2ce39f0b2ebe624ef2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64629117
Optimality of the best value was proved	NO
Number of terms in the objective function	37200
Biggest coefficient in the objective function	41943040
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	30639361500
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	41943040
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	30639361500
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.14
Number of variables	49600
Total number of constraints	1480
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1480
Minimum length of a constraint	60
Maximum length of a constraint	620
Trace number 27655

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-24 22:50:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16330 boxname=wulflinc18 idbench=1257 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9acbf5c4d628ba2ce39f0b2ebe624ef2  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-sctap3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-sctap3.opb
IDLAUNCH: 16330
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        889980 kB
Buffers:         11048 kB
Cached:         111944 kB
SwapCached:        836 kB
Active:          25132 kB
Inactive:       100440 kB
HighTotal:      131008 kB
HighFree:        57456 kB
LowTotal:       903652 kB
LowFree:        832524 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            13412 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:09:38 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 16330 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 49600 variables and 2028 constraints.
c After prepocess the problem consists of 27280 variables and 2432 constraints.
c preprocess terminated 350.331 s
c Initial Lower Bound: 182272
c Lower Bound Elapsed time: 14.0365
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.93 2/54 26730
Raw data (stat): 26730 (runsolver) R 26729 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833955434 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+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 1272 0 0 0 993 4 0 0 25 0 1 0 833955434 17612800 1196 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 1196 1111 63 0 4237 0
vsize: 17200
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 1916 0 0 0 1992 5 0 0 25 0 1 0 833955434 20303872 1840 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4957 1840 1111 63 0 4894 0
vsize: 19828
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 2569 0 0 0 2991 6 0 0 25 0 1 0 833955434 22982656 2493 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5611 2493 1111 63 0 5548 0
vsize: 22444
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 3225 0 0 0 3990 8 0 0 25 0 1 0 833955434 25665536 3149 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6266 3149 1111 63 0 6203 0
vsize: 25064
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 3922 0 0 0 4988 10 0 0 25 0 1 0 833955434 28512256 3846 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6961 3846 1111 63 0 6898 0
vsize: 27844
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 4640 0 0 0 5986 12 0 0 25 0 1 0 833955434 31477760 4564 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7685 4564 1111 63 0 7622 0
vsize: 30740
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 5374 0 0 0 6985 13 0 0 25 0 1 0 833955434 34443264 5298 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8409 5298 1111 63 0 8346 0
vsize: 33636
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 6131 0 0 0 7984 14 0 0 25 0 1 0 833955434 37548032 6055 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9167 6055 1111 63 0 9104 0
vsize: 36668
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 6917 0 0 0 8983 15 0 0 25 0 1 0 833955434 40808448 6841 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9963 6841 1111 63 0 9900 0
vsize: 39852
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 7693 0 0 0 9982 17 0 0 25 0 1 0 833955434 43909120 7617 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10720 7617 1111 63 0 10657 0
vsize: 42880
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 8493 0 0 0 10981 18 0 0 25 0 1 0 833955434 47300608 8417 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11548 8417 1111 63 0 11485 0
vsize: 46192
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 9323 0 0 0 11979 20 0 0 25 0 1 0 833955434 50692096 9247 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12376 9247 1111 63 0 12313 0
vsize: 49504
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 10194 0 0 0 12978 22 0 0 25 0 1 0 833955434 54222848 10118 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13238 10118 1111 63 0 13175 0
vsize: 52952
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 11113 0 0 0 13976 23 0 0 25 0 1 0 833955434 57892864 11037 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14134 11037 1111 63 0 14071 0
vsize: 56536
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 12070 0 0 0 14974 25 0 0 25 0 1 0 833955434 61923328 11994 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15118 11994 1111 63 0 15055 0
vsize: 60472
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 13018 0 0 0 15973 27 0 0 25 0 1 0 833955434 65875968 12942 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16083 12942 1111 63 0 16020 0
vsize: 64332
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 14012 0 0 0 16971 29 0 0 25 0 1 0 833955434 69971968 13936 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17083 13936 1111 63 0 17020 0
vsize: 68332
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 15021 0 0 0 17969 31 0 0 25 0 1 0 833955434 74067968 14945 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18083 14945 1111 63 0 18020 0
vsize: 72332
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 16072 0 0 0 18968 33 0 0 25 0 1 0 833955434 78307328 15996 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19118 15996 1111 63 0 19055 0
vsize: 76472
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 17227 0 0 0 19966 36 0 0 25 0 1 0 833955434 83107840 17151 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20290 17151 1111 63 0 20227 0
vsize: 81160
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 18424 0 0 0 20964 38 0 0 25 0 1 0 833955434 87908352 18348 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21462 18348 1111 63 0 21399 0
vsize: 85848
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 19710 0 0 0 21961 41 0 0 25 0 1 0 833955434 93130752 19634 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22737 19634 1111 63 0 22674 0
vsize: 90948
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 21023 0 0 0 22958 44 0 0 25 0 1 0 833955434 98496512 20947 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24047 20947 1111 63 0 23984 0
vsize: 96188
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 22405 0 0 0 23955 47 0 0 25 0 1 0 833955434 104140800 22329 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25425 22329 1111 63 0 25362 0
vsize: 101700
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 23847 0 0 0 24953 49 0 0 25 0 1 0 833955434 110321664 23771 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26934 23771 1111 63 0 26871 0
vsize: 107736
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 25340 0 0 0 25951 51 0 0 25 0 1 0 833955434 116391936 25264 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28416 25264 1111 63 0 28353 0
vsize: 113664
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 27094 0 0 0 26947 55 0 0 25 0 1 0 833955434 123543552 27018 4294967295 134512640 134714508 3221224576 3221221196 1077254186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30162 27018 1111 63 0 30099 0
vsize: 120648
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 38150 0 0 0 27921 81 0 0 25 0 1 0 833955434 168157184 37926 4294967295 134512640 134714508 3221224576 3221221116 1077091057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41054 37926 1111 63 0 40991 0
vsize: 164216
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 106411 0 0 0 28768 234 0 0 25 0 1 0 833955434 182407168 43375 4294967295 134512640 134714508 3221224576 3221223276 134586032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44533 43375 1111 63 0 44470 0
vsize: 178132
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 106930 0 0 0 29766 235 0 0 25 0 1 0 833955434 184504320 43894 4294967295 134512640 134714508 3221224576 3221223248 134627170 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45045 43894 1111 63 0 44982 0
vsize: 180180
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 106939 0 0 0 30765 236 0 0 25 0 1 0 833955434 184639488 43903 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45078 43903 1111 63 0 45015 0
vsize: 180312
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 106950 0 0 0 31765 237 0 0 25 0 1 0 833955434 184639488 43914 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45078 43914 1111 63 0 45015 0
vsize: 180312
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 106960 0 0 0 32765 237 0 0 25 0 1 0 833955434 184639488 43924 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45078 43924 1111 63 0 45015 0
vsize: 180312
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 106970 0 0 0 33764 238 0 0 25 0 1 0 833955434 184774656 43934 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45111 43934 1111 63 0 45048 0
vsize: 180444
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 107403 0 0 0 34764 239 0 0 25 0 1 0 833955434 187252736 44318 4294967295 134512640 134714508 3221224576 3221223256 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45716 44321 1111 63 0 45653 0
vsize: 182864
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 239886 0 0 0 35485 518 0 0 25 0 1 0 833955434 194801664 46224 4294967295 134512640 134714508 3221224576 3221222616 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47559 46232 1111 63 0 47496 0
vsize: 190236
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 326813 0 0 0 36286 717 0 0 25 0 1 0 833955434 195555328 46470 4294967295 134512640 134714508 3221224576 3221222160 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47743 46470 1111 63 0 47680 0
vsize: 190972
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 357120 0 0 0 37213 790 0 0 25 0 1 0 833955434 199094272 47170 4294967295 134512640 134714508 3221224576 3221222944 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48607 47176 1111 63 0 48544 0
vsize: 194428
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 386220 0 0 0 38149 853 0 0 25 0 1 0 833955434 214454272 50583 4294967295 134512640 134714508 3221224576 3221222224 1075828541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52357 50583 1111 63 0 52294 0
vsize: 209428
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 409285 0 0 0 39097 906 0 0 25 0 1 0 833955434 220766208 52285 4294967295 134512640 134714508 3221224576 3221220568 1074950198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53898 52285 1111 63 0 53835 0
vsize: 215592
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412159 0 0 0 40091 912 0 0 25 0 1 0 833955434 210108416 50139 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50139 1111 63 0 51233 0
vsize: 205184
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412159 0 0 0 41090 912 0 0 25 0 1 0 833955434 210108416 50139 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51296 50139 1111 63 0 51233 0
vsize: 205184
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412159 0 0 0 42089 913 0 0 25 0 1 0 833955434 210108416 50139 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50139 1111 63 0 51233 0
vsize: 205184
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412159 0 0 0 43089 913 0 0 25 0 1 0 833955434 210108416 50139 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50139 1111 63 0 51233 0
vsize: 205184
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412161 0 0 0 44089 913 0 0 25 0 1 0 833955434 210108416 50141 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50141 1111 63 0 51233 0
vsize: 205184
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412161 0 0 0 45090 913 0 0 25 0 1 0 833955434 210108416 50141 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50141 1111 63 0 51233 0
vsize: 205184
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412161 0 0 0 46090 913 0 0 25 0 1 0 833955434 210108416 50141 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50141 1111 63 0 51233 0
vsize: 205184
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412163 0 0 0 47090 913 0 0 25 0 1 0 833955434 210108416 50143 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50143 1111 63 0 51233 0
vsize: 205184
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412163 0 0 0 48090 913 0 0 25 0 1 0 833955434 210108416 50143 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50143 1111 63 0 51233 0
vsize: 205184
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412163 0 0 0 49090 913 0 0 25 0 1 0 833955434 210108416 50143 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50143 1111 63 0 51233 0
vsize: 205184
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412165 0 0 0 50090 913 0 0 25 0 1 0 833955434 210108416 50145 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50145 1111 63 0 51233 0
vsize: 205184
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412165 0 0 0 51090 913 0 0 25 0 1 0 833955434 210108416 50145 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50145 1111 63 0 51233 0
vsize: 205184
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412165 0 0 0 52090 914 0 0 25 0 1 0 833955434 210108416 50145 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50145 1111 63 0 51233 0
vsize: 205184
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412167 0 0 0 53090 914 0 0 25 0 1 0 833955434 210108416 50147 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50147 1111 63 0 51233 0
vsize: 205184
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412167 0 0 0 54090 914 0 0 25 0 1 0 833955434 210108416 50147 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50147 1111 63 0 51233 0
vsize: 205184
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412167 0 0 0 55090 914 0 0 25 0 1 0 833955434 210108416 50147 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50147 1111 63 0 51233 0
vsize: 205184
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412169 0 0 0 56090 914 0 0 25 0 1 0 833955434 210108416 50149 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50149 1111 63 0 51233 0
vsize: 205184
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412169 0 0 0 57090 914 0 0 25 0 1 0 833955434 210108416 50149 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50149 1111 63 0 51233 0
vsize: 205184
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412169 0 0 0 58090 914 0 0 25 0 1 0 833955434 210108416 50149 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50149 1111 63 0 51233 0
vsize: 205184
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26730
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412171 0 0 0 59091 914 0 0 25 0 1 0 833955434 210108416 50151 4294967295 134512640 134714508 3221224576 3221223376 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50151 1111 63 0 51233 0
vsize: 205184
[startup+610.019 s]
Raw data (loadavg): 1.22 1.02 0.95 2/54 26783
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412171 0 0 0 60086 918 0 0 25 0 1 0 833955434 210108416 50151 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50151 1111 63 0 51233 0
vsize: 205184
[startup+620.019 s]
Raw data (loadavg): 1.18 1.02 0.95 2/54 26783
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412173 0 0 0 61086 919 0 0 25 0 1 0 833955434 210108416 50153 4294967295 134512640 134714508 3221224576 3221223376 134597708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50153 1111 63 0 51233 0
vsize: 205184
[startup+630.019 s]
Raw data (loadavg): 1.15 1.02 0.95 2/54 26783
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412173 0 0 0 62085 919 0 0 25 0 1 0 833955434 210108416 50153 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50153 1111 63 0 51233 0
vsize: 205184
[startup+640.019 s]
Raw data (loadavg): 1.13 1.02 0.95 2/54 26783
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412175 0 0 0 63085 919 0 0 25 0 1 0 833955434 210108416 50155 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50155 1111 63 0 51233 0
vsize: 205184
[startup+650.02 s]
Raw data (loadavg): 1.11 1.02 0.95 2/54 26783
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412175 0 0 0 64085 920 0 0 25 0 1 0 833955434 210108416 50155 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50155 1111 63 0 51233 0
vsize: 205184
[startup+660.02 s]
Raw data (loadavg): 1.09 1.02 0.95 2/54 26783
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412177 0 0 0 65085 920 0 0 25 0 1 0 833955434 210108416 50157 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50157 1111 63 0 51233 0
vsize: 205184
[startup+670.021 s]
Raw data (loadavg): 1.08 1.01 0.95 2/54 26783
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 66084 921 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+680.023 s]
Raw data (loadavg): 1.06 1.01 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 67084 922 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+690.022 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 68084 922 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+700.022 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 69083 923 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+710.022 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 70083 923 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+720.023 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 71083 923 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223368 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+730.022 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 72082 924 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+740.022 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 73082 924 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+750.022 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 74082 925 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+760.022 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 75081 926 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+770.022 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 76080 926 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+780.022 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 77080 927 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+790.023 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 78080 927 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+800.023 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 79080 928 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 80080 928 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 81079 928 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 82079 929 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 83079 929 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 84079 930 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+860.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 85078 930 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+870.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 86078 931 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 87077 931 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+890.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 88077 932 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+900.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 89077 932 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26785
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 90076 933 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+920.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 91076 934 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 92076 934 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 93076 934 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 94075 935 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 95075 936 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 96074 936 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+980.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 97074 937 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+990.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 98074 937 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 99073 938 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 100073 938 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 101073 939 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 102072 939 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 103072 940 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 104072 940 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 105071 940 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 106071 941 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 107071 942 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 108070 943 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223336 134613522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412178 0 0 0 109069 943 0 0 25 0 1 0 833955434 210108416 50158 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50158 1111 63 0 51233 0
vsize: 205184
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412180 0 0 0 110069 944 0 0 25 0 1 0 833955434 210108416 50160 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412180 0 0 0 111068 944 0 0 25 0 1 0 833955434 210108416 50160 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412180 0 0 0 112068 945 0 0 25 0 1 0 833955434 210108416 50160 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412180 0 0 0 113067 946 0 0 25 0 1 0 833955434 210108416 50160 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412180 0 0 0 114067 946 0 0 25 0 1 0 833955434 210108416 50160 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412180 0 0 0 115067 947 0 0 25 0 1 0 833955434 210108416 50160 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412180 0 0 0 116067 947 0 0 25 0 1 0 833955434 210108416 50160 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 205184
[startup+1175 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 26787
Raw data (stat): 26730 (bsolo_lpr_cuts) R 26729 24172 24171 0 -1 0 412180 0 0 0 116067 947 0 0 25 0 1 0 833955434 210108416 50160 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51296 50160 1111 63 0 51233 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.11
CPU user time (s): 1165.54
CPU system time (s): 9.57354
CPU usage (%): 100.01
Max. virtual memory (Kb): 215592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####