PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
MD5SUM	1f5fb3c191c2c77719f10f35e4f5f992
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.094985
Number of variables	3150
Total number of constraints	160
Number of constraints which are clauses	90
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	45
Trace number 23218

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 14:03:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=137 boxname=wulflinc31 idbench=16 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1f5fb3c191c2c77719f10f35e4f5f992  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_45_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_45_pb.cnf.cr.opb
IDLAUNCH: 137
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        931012 kB
Buffers:         36260 kB
Cached:          45564 kB
SwapCached:        864 kB
Active:          70624 kB
Inactive:        13560 kB
HighTotal:      131008 kB
HighFree:        84448 kB
LowTotal:       903652 kB
LowFree:        846564 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13856 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 14:22:46 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 137 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 3150 variables and 160 constraints.
c After prepocess the problem consists of 3150 variables and 160 constraints.
c preprocess terminated 1.302 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.91 2/54 12113
Raw data (stat): 12113 (runsolver) R 12112 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 632045597 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 1653 0 0 0 988 7 0 0 25 0 1 0 632045597 9949184 1574 4294967295 134512640 134714508 3221221776 3221220392 134613962 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2429 1574 1111 63 0 2366 0
vsize: 9716
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 1946 0 0 0 1985 10 0 0 25 0 1 0 632045597 11153408 1867 4294967295 134512640 134714508 3221221776 3221220416 134613411 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2723 1867 1111 63 0 2660 0
vsize: 10892
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2036 0 0 0 2984 12 0 0 25 0 1 0 632045597 11558912 1957 4294967295 134512640 134714508 3221221776 3221220480 134528543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2822 1957 1111 63 0 2759 0
vsize: 11288
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2183 0 0 0 3982 13 0 0 25 0 1 0 632045597 12087296 2104 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2951 2104 1111 63 0 2888 0
vsize: 11804
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2235 0 0 0 4981 15 0 0 25 0 1 0 632045597 12357632 2156 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3017 2156 1111 63 0 2954 0
vsize: 12068
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2271 0 0 0 5980 16 0 0 25 0 1 0 632045597 12492800 2192 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3050 2192 1111 63 0 2987 0
vsize: 12200
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2298 0 0 0 6978 18 0 0 25 0 1 0 632045597 12627968 2219 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2219 1111 63 0 3020 0
vsize: 12332
[startup+80.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2305 0 0 0 7977 19 0 0 25 0 1 0 632045597 12627968 2226 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2226 1111 63 0 3020 0
vsize: 12332
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2324 0 0 0 8975 21 0 0 25 0 1 0 632045597 12763136 2245 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3116 2245 1111 63 0 3053 0
vsize: 12464
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2345 0 0 0 9974 23 0 0 25 0 1 0 632045597 12763136 2266 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3116 2266 1111 63 0 3053 0
vsize: 12464
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2367 0 0 0 10973 24 0 0 25 0 1 0 632045597 12873728 2288 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3143 2288 1111 63 0 3080 0
vsize: 12572
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2400 0 0 0 11971 26 0 0 25 0 1 0 632045597 13008896 2321 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3176 2321 1111 63 0 3113 0
vsize: 12704
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2428 0 0 0 12970 27 0 0 25 0 1 0 632045597 13144064 2349 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3209 2349 1111 63 0 3146 0
vsize: 12836
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2463 0 0 0 13969 29 0 0 25 0 1 0 632045597 13279232 2384 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3242 2384 1111 63 0 3179 0
vsize: 12968
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2479 0 0 0 14968 30 0 0 25 0 1 0 632045597 13279232 2400 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3242 2400 1111 63 0 3179 0
vsize: 12968
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2595 0 0 0 15966 32 0 0 25 0 1 0 632045597 13811712 2516 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3372 2516 1111 63 0 3309 0
vsize: 13488
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2773 0 0 0 16964 34 0 0 25 0 1 0 632045597 14483456 2694 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2694 1111 63 0 3473 0
vsize: 14144
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12113
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2835 0 0 0 17963 36 0 0 25 0 1 0 632045597 14753792 2756 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2756 1111 63 0 3539 0
vsize: 14408
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2916 0 0 0 18962 37 0 0 25 0 1 0 632045597 15159296 2837 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3701 2837 1111 63 0 3638 0
vsize: 14804
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 2977 0 0 0 19960 38 0 0 25 0 1 0 632045597 15429632 2898 4294967295 134512640 134714508 3221221776 3221220512 134534159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3767 2898 1111 63 0 3704 0
vsize: 15068
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3010 0 0 0 20959 40 0 0 25 0 1 0 632045597 15564800 2931 4294967295 134512640 134714508 3221221776 3221220368 134549834 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3800 2931 1111 63 0 3737 0
vsize: 15200
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3048 0 0 0 21958 41 0 0 25 0 1 0 632045597 15699968 2969 4294967295 134512640 134714508 3221221776 3221220512 134523886 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3833 2969 1111 63 0 3770 0
vsize: 15332
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3111 0 0 0 22957 42 0 0 25 0 1 0 632045597 15953920 3032 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3895 3032 1111 63 0 3832 0
vsize: 15580
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3113 0 0 0 23956 44 0 0 25 0 1 0 632045597 15953920 3034 4294967295 134512640 134714508 3221221776 3221220404 1077374125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3895 3034 1111 63 0 3832 0
vsize: 15580
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3176 0 0 0 24955 45 0 0 25 0 1 0 632045597 16224256 3097 4294967295 134512640 134714508 3221221776 3221220432 134536621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3961 3097 1111 63 0 3898 0
vsize: 15844
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3250 0 0 0 25953 46 0 0 25 0 1 0 632045597 16494592 3171 4294967295 134512640 134714508 3221221776 3221220496 134523869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4027 3171 1111 63 0 3964 0
vsize: 16108
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3355 0 0 0 26952 48 0 0 25 0 1 0 632045597 16900096 3276 4294967295 134512640 134714508 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4126 3276 1111 63 0 4063 0
vsize: 16504
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3464 0 0 0 27950 50 0 0 25 0 1 0 632045597 17432576 3385 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4256 3385 1111 63 0 4193 0
vsize: 17024
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3523 0 0 0 28949 51 0 0 25 0 1 0 632045597 17567744 3444 4294967295 134512640 134714508 3221221776 3221220416 134696097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4289 3444 1111 63 0 4226 0
vsize: 17156
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3534 0 0 0 29948 53 0 0 25 0 1 0 632045597 17702912 3455 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4322 3455 1111 63 0 4259 0
vsize: 17288
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3574 0 0 0 30946 54 0 0 25 0 1 0 632045597 17838080 3495 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4355 3495 1111 63 0 4292 0
vsize: 17420
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3625 0 0 0 31944 57 0 0 25 0 1 0 632045597 17973248 3546 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4388 3546 1111 63 0 4325 0
vsize: 17552
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3672 0 0 0 32943 58 0 0 25 0 1 0 632045597 18243584 3593 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4454 3593 1111 63 0 4391 0
vsize: 17816
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3725 0 0 0 33942 59 0 0 25 0 1 0 632045597 18489344 3646 4294967295 134512640 134714508 3221221776 3221220272 134535335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4514 3646 1111 63 0 4451 0
vsize: 18056
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3740 0 0 0 34941 60 0 0 25 0 1 0 632045597 18489344 3661 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4514 3661 1111 63 0 4451 0
vsize: 18056
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3786 0 0 0 35940 61 0 0 25 0 1 0 632045597 18731008 3707 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4573 3707 1111 63 0 4510 0
vsize: 18292
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3801 0 0 0 36939 63 0 0 25 0 1 0 632045597 18731008 3722 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4573 3722 1111 63 0 4510 0
vsize: 18292
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3811 0 0 0 37939 63 0 0 25 0 1 0 632045597 18731008 3732 4294967295 134512640 134714508 3221221776 3221220416 134696069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4573 3732 1111 63 0 4510 0
vsize: 18292
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3823 0 0 0 38938 64 0 0 25 0 1 0 632045597 18862080 3744 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4605 3744 1111 63 0 4542 0
vsize: 18420
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3867 0 0 0 39937 65 0 0 25 0 1 0 632045597 18997248 3788 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4638 3788 1111 63 0 4575 0
vsize: 18552
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3895 0 0 0 40936 66 0 0 25 0 1 0 632045597 19132416 3816 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3816 1111 63 0 4608 0
vsize: 18684
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3899 0 0 0 41935 68 0 0 25 0 1 0 632045597 19132416 3820 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4671 3820 1111 63 0 4608 0
vsize: 18684
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 3939 0 0 0 42933 70 0 0 25 0 1 0 632045597 19267584 3860 4294967295 134512640 134714508 3221221776 3221220460 134524382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4704 3860 1111 63 0 4641 0
vsize: 18816
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4008 0 0 0 43931 72 0 0 25 0 1 0 632045597 19537920 3929 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4770 3929 1111 63 0 4707 0
vsize: 19080
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4057 0 0 0 44930 73 0 0 25 0 1 0 632045597 19808256 3978 4294967295 134512640 134714508 3221221776 3221220232 1077377725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4836 3978 1111 63 0 4773 0
vsize: 19344
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4113 0 0 0 45929 75 0 0 25 0 1 0 632045597 20078592 4034 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4902 4034 1111 63 0 4839 0
vsize: 19608
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4113 0 0 0 46927 76 0 0 25 0 1 0 632045597 20078592 4034 4294967295 134512640 134714508 3221221776 3221220416 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4902 4034 1111 63 0 4839 0
vsize: 19608
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4118 0 0 0 47927 77 0 0 25 0 1 0 632045597 20078592 4039 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4902 4039 1111 63 0 4839 0
vsize: 19608
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4155 0 0 0 48925 78 0 0 25 0 1 0 632045597 20213760 4076 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4935 4076 1111 63 0 4872 0
vsize: 19740
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4184 0 0 0 49924 80 0 0 25 0 1 0 632045597 20332544 4105 4294967295 134512640 134714508 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4964 4105 1111 63 0 4901 0
vsize: 19856
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4194 0 0 0 50923 81 0 0 25 0 1 0 632045597 20332544 4115 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4964 4115 1111 63 0 4901 0
vsize: 19856
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4219 0 0 0 51922 83 0 0 25 0 1 0 632045597 20467712 4140 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4997 4140 1111 63 0 4934 0
vsize: 19988
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4234 0 0 0 52920 84 0 0 25 0 1 0 632045597 20467712 4155 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4997 4155 1111 63 0 4934 0
vsize: 19988
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4242 0 0 0 53919 85 0 0 25 0 1 0 632045597 20602880 4163 4294967295 134512640 134714508 3221221776 3221220348 134535488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5030 4163 1111 63 0 4967 0
vsize: 20120
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4274 0 0 0 54918 87 0 0 25 0 1 0 632045597 20738048 4195 4294967295 134512640 134714508 3221221776 3221220496 1076647868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4195 1111 63 0 5000 0
vsize: 20252
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4307 0 0 0 55917 88 0 0 25 0 1 0 632045597 20865024 4228 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5094 4228 1111 63 0 5031 0
vsize: 20376
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4394 0 0 0 56916 89 0 0 25 0 1 0 632045597 21131264 4315 4294967295 134512640 134714508 3221221776 3221220232 1077377368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5159 4315 1111 63 0 5096 0
vsize: 20636
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4470 0 0 0 57914 91 0 0 25 0 1 0 632045597 21536768 4391 4294967295 134512640 134714508 3221221776 3221220432 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5258 4391 1111 63 0 5195 0
vsize: 21032
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4512 0 0 0 58913 93 0 0 25 0 1 0 632045597 21639168 4433 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5283 4433 1111 63 0 5220 0
vsize: 21132
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4536 0 0 0 59912 94 0 0 25 0 1 0 632045597 21774336 4457 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5316 4457 1111 63 0 5253 0
vsize: 21264
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4550 0 0 0 60911 95 0 0 25 0 1 0 632045597 21774336 4471 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5316 4471 1111 63 0 5253 0
vsize: 21264
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4589 0 0 0 61910 97 0 0 25 0 1 0 632045597 22032384 4510 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5379 4510 1111 63 0 5316 0
vsize: 21516
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4599 0 0 0 62909 98 0 0 25 0 1 0 632045597 22032384 4520 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5379 4520 1111 63 0 5316 0
vsize: 21516
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4616 0 0 0 63908 99 0 0 25 0 1 0 632045597 22032384 4537 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5379 4537 1111 63 0 5316 0
vsize: 21516
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4649 0 0 0 64907 100 0 0 25 0 1 0 632045597 22163456 4570 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5411 4570 1111 63 0 5348 0
vsize: 21644
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4649 0 0 0 65906 101 0 0 25 0 1 0 632045597 22163456 4570 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5411 4570 1111 63 0 5348 0
vsize: 21644
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4660 0 0 0 66905 102 0 0 25 0 1 0 632045597 22298624 4581 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5444 4581 1111 63 0 5381 0
vsize: 21776
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4660 0 0 0 67904 104 0 0 25 0 1 0 632045597 22298624 4581 4294967295 134512640 134714508 3221221776 3221220512 134558542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5444 4581 1111 63 0 5381 0
vsize: 21776
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4660 0 0 0 68903 105 0 0 25 0 1 0 632045597 22298624 4581 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5444 4581 1111 63 0 5381 0
vsize: 21776
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4681 0 0 0 69902 106 0 0 25 0 1 0 632045597 22298624 4602 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5444 4602 1111 63 0 5381 0
vsize: 21776
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4681 0 0 0 70901 107 0 0 25 0 1 0 632045597 22298624 4602 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5444 4602 1111 63 0 5381 0
vsize: 21776
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4681 0 0 0 71899 109 0 0 25 0 1 0 632045597 22298624 4602 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5444 4602 1111 63 0 5381 0
vsize: 21776
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4788 0 0 0 72899 110 0 0 25 0 1 0 632045597 22814720 4709 4294967295 134512640 134714508 3221221776 3221220492 134542828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5570 4709 1111 63 0 5507 0
vsize: 22280
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4891 0 0 0 73897 112 0 0 25 0 1 0 632045597 23203840 4812 4294967295 134512640 134714508 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5665 4812 1111 63 0 5602 0
vsize: 22660
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4916 0 0 0 74896 113 0 0 25 0 1 0 632045597 23326720 4837 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5695 4837 1111 63 0 5632 0
vsize: 22780
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4939 0 0 0 75894 115 0 0 25 0 1 0 632045597 23461888 4860 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4860 1111 63 0 5665 0
vsize: 22912
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4951 0 0 0 76893 116 0 0 25 0 1 0 632045597 23461888 4872 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4872 1111 63 0 5665 0
vsize: 22912
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 4978 0 0 0 77893 117 0 0 25 0 1 0 632045597 23597056 4899 4294967295 134512640 134714508 3221221776 3221220388 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5761 4899 1111 63 0 5698 0
vsize: 23044
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5049 0 0 0 78892 118 0 0 25 0 1 0 632045597 23867392 4970 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5827 4970 1111 63 0 5764 0
vsize: 23308
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5068 0 0 0 79890 119 0 0 25 0 1 0 632045597 24002560 4989 4294967295 134512640 134714508 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5860 4989 1111 63 0 5797 0
vsize: 23440
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5068 0 0 0 80889 120 0 0 25 0 1 0 632045597 24002560 4989 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5860 4989 1111 63 0 5797 0
vsize: 23440
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5080 0 0 0 81888 122 0 0 25 0 1 0 632045597 23965696 5001 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5851 5001 1111 63 0 5788 0
vsize: 23404
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5087 0 0 0 82886 124 0 0 25 0 1 0 632045597 23965696 5008 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5851 5008 1111 63 0 5788 0
vsize: 23404
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5102 0 0 0 83885 125 0 0 25 0 1 0 632045597 24100864 5023 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5884 5023 1111 63 0 5821 0
vsize: 23536
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5116 0 0 0 84884 126 0 0 25 0 1 0 632045597 24100864 5037 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5884 5037 1111 63 0 5821 0
vsize: 23536
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5136 0 0 0 85883 128 0 0 25 0 1 0 632045597 24236032 5057 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5917 5057 1111 63 0 5854 0
vsize: 23668
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5149 0 0 0 86882 129 0 0 25 0 1 0 632045597 24236032 5070 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5917 5070 1111 63 0 5854 0
vsize: 23668
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5153 0 0 0 87882 129 0 0 25 0 1 0 632045597 24236032 5074 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5917 5074 1111 63 0 5854 0
vsize: 23668
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5159 0 0 0 88880 131 0 0 25 0 1 0 632045597 24371200 5080 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5950 5080 1111 63 0 5887 0
vsize: 23800
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5225 0 0 0 89879 132 0 0 25 0 1 0 632045597 24641536 5146 4294967295 134512640 134714508 3221221776 3221220544 134528784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6016 5146 1111 63 0 5953 0
vsize: 24064
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5278 0 0 0 90878 133 0 0 25 0 1 0 632045597 24772608 5199 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6048 5199 1111 63 0 5985 0
vsize: 24192
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5299 0 0 0 91878 134 0 0 25 0 1 0 632045597 24907776 5220 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6081 5220 1111 63 0 6018 0
vsize: 24324
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5315 0 0 0 92876 135 0 0 25 0 1 0 632045597 24907776 5236 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6081 5236 1111 63 0 6018 0
vsize: 24324
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5315 0 0 0 93875 137 0 0 25 0 1 0 632045597 24907776 5236 4294967295 134512640 134714508 3221221776 3221220416 134696064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6081 5236 1111 63 0 6018 0
vsize: 24324
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5324 0 0 0 94875 137 0 0 25 0 1 0 632045597 25042944 5245 4294967295 134512640 134714508 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6114 5245 1111 63 0 6051 0
vsize: 24456
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5325 0 0 0 95873 139 0 0 25 0 1 0 632045597 25042944 5246 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6114 5246 1111 63 0 6051 0
vsize: 24456
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5346 0 0 0 96873 140 0 0 25 0 1 0 632045597 25042944 5267 4294967295 134512640 134714508 3221221776 3221220480 134535812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6114 5267 1111 63 0 6051 0
vsize: 24456
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5347 0 0 0 97871 142 0 0 25 0 1 0 632045597 25042944 5268 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6114 5268 1111 63 0 6051 0
vsize: 24456
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5357 0 0 0 98870 143 0 0 25 0 1 0 632045597 25178112 5278 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6147 5278 1111 63 0 6084 0
vsize: 24588
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5382 0 0 0 99869 144 0 0 25 0 1 0 632045597 25178112 5303 4294967295 134512640 134714508 3221221776 3221220416 134696323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6147 5303 1111 63 0 6084 0
vsize: 24588
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5382 0 0 0 100868 145 0 0 25 0 1 0 632045597 25178112 5303 4294967295 134512640 134714508 3221221776 3221220420 134613632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6147 5303 1111 63 0 6084 0
vsize: 24588
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5401 0 0 0 101867 146 0 0 25 0 1 0 632045597 25309184 5322 4294967295 134512640 134714508 3221221776 3221220364 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6179 5322 1111 63 0 6116 0
vsize: 24716
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5414 0 0 0 102866 147 0 0 25 0 1 0 632045597 25309184 5335 4294967295 134512640 134714508 3221221776 3221220404 134542296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6179 5335 1111 63 0 6116 0
vsize: 24716
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5423 0 0 0 103865 149 0 0 25 0 1 0 632045597 25440256 5344 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6211 5344 1111 63 0 6148 0
vsize: 24844
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5505 0 0 0 104863 151 0 0 25 0 1 0 632045597 25706496 5426 4294967295 134512640 134714508 3221221776 3221220332 134535600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6276 5426 1111 63 0 6213 0
vsize: 25104
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5543 0 0 0 105861 153 0 0 25 0 1 0 632045597 25841664 5464 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6309 5464 1111 63 0 6246 0
vsize: 25236
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5586 0 0 0 106860 154 0 0 25 0 1 0 632045597 26107904 5507 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6374 5507 1111 63 0 6311 0
vsize: 25496
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5591 0 0 0 107859 155 0 0 25 0 1 0 632045597 26107904 5512 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6374 5512 1111 63 0 6311 0
vsize: 25496
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5617 0 0 0 108858 157 0 0 25 0 1 0 632045597 26214400 5538 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6400 5538 1111 63 0 6337 0
vsize: 25600
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5692 0 0 0 109857 158 0 0 25 0 1 0 632045597 26484736 5613 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6466 5613 1111 63 0 6403 0
vsize: 25864
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5711 0 0 0 110856 159 0 0 25 0 1 0 632045597 26599424 5632 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6494 5632 1111 63 0 6431 0
vsize: 25976
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5737 0 0 0 111855 160 0 0 25 0 1 0 632045597 26734592 5658 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6527 5658 1111 63 0 6464 0
vsize: 26108
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5750 0 0 0 112854 162 0 0 25 0 1 0 632045597 26734592 5671 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6527 5671 1111 63 0 6464 0
vsize: 26108
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5778 0 0 0 113852 163 0 0 25 0 1 0 632045597 26869760 5699 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6560 5699 1111 63 0 6497 0
vsize: 26240
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5808 0 0 0 114851 165 0 0 25 0 1 0 632045597 27004928 5729 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6593 5729 1111 63 0 6530 0
vsize: 26372
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5844 0 0 0 115849 166 0 0 25 0 1 0 632045597 27140096 5765 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6626 5765 1111 63 0 6563 0
vsize: 26504
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5925 0 0 0 116848 168 0 0 25 0 1 0 632045597 27410432 5846 4294967295 134512640 134714508 3221221776 3221220480 134524393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6692 5846 1111 63 0 6629 0
vsize: 26768
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12115
Raw data (stat): 12113 (bsolo_lpr_cuts) R 12112 7876 7672 0 -1 0 5925 0 0 0 116848 168 0 0 25 0 1 0 632045597 27410432 5846 4294967295 134512640 134714508 3221221776 3221220480 134524393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6692 5846 1111 63 0 6629 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.33
CPU system time (s): 1.70174
CPU usage (%): 100.011
Max. virtual memory (Kb): 26768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####