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/een/normalized-p0548.opb
MD5SUM	422c0da7d5380a26c4dac413428db5c9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14670
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.14
Number of variables	527
Total number of constraints	156
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	2
Maximum length of a constraint	134
Trace number 40969

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 03:34:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29017 boxname=wulflinc5 idbench=403 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  422c0da7d5380a26c4dac413428db5c9  /oldhome/oroussel/tmp/wulflinc5/normalized-p0548.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-p0548.opb
IDLAUNCH: 29017
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        889788 kB
Buffers:         22440 kB
Cached:         101404 kB
SwapCached:        732 kB
Active:          24800 kB
Inactive:       101128 kB
HighTotal:      131008 kB
HighFree:        28280 kB
LowTotal:       903652 kB
LowFree:        861508 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            13456 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:54:06 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 29017 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 535 variables and 156 constraints.
c After prepocess the problem consists of 530 variables and 154 constraints.
c preprocess terminated 0.153 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.03025
c 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.88 0.93 0.90 1/54 25753
Raw data (stat): 25753 (runsolver) R 25752 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907072541 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 4659 0 0 0 982 15 0 0 25 0 1 0 907072541 6402048 821 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1563 821 1111 63 0 1500 0
vsize: 6252
[startup+20.001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 10727 0 0 0 1962 35 0 0 25 0 1 0 907072541 7413760 1112 4294967295 134512640 134716908 3221224576 3221223024 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1810 1112 1111 63 0 1747 0
vsize: 7240
[startup+30.001 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 17120 0 0 0 2939 58 0 0 25 0 1 0 907072541 8937472 1488 4294967295 134512640 134716908 3221224576 3221222576 1074056273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2182 1488 1111 63 0 2119 0
vsize: 8728
[startup+40.0015 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 22909 0 0 0 3919 78 0 0 25 0 1 0 907072541 10231808 1809 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2498 1809 1111 63 0 2435 0
vsize: 9992
[startup+50.0012 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 29346 0 0 0 4893 104 0 0 25 0 1 0 907072541 11395072 2092 4294967295 134512640 134716908 3221224576 3221222576 1074140688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2782 2092 1111 63 0 2719 0
vsize: 11128
[startup+60.0013 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 35676 0 0 0 5872 126 0 0 25 0 1 0 907072541 12611584 2390 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 2390 1111 63 0 3016 0
vsize: 12316
[startup+70.0017 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 40815 0 0 0 6858 140 0 0 25 0 1 0 907072541 12992512 2484 4294967295 134512640 134716908 3221224576 3221222496 1075799550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3172 2484 1111 63 0 3109 0
vsize: 12688
[startup+80.0015 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 56100 0 0 0 7817 182 0 0 25 0 1 0 907072541 14647296 2860 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2856 1111 63 0 3496 0
vsize: 14304
[startup+90.0016 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 59636 0 0 0 8809 190 0 0 25 0 1 0 907072541 15425536 3076 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3766 3076 1111 63 0 3703 0
vsize: 15064
[startup+100.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 61778 0 0 0 9804 195 0 0 25 0 1 0 907072541 15065088 2988 4294967295 134512640 134716908 3221224576 3221222576 1074056262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3678 2988 1111 63 0 3615 0
vsize: 14712
[startup+110.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 70304 0 0 0 10783 216 0 0 25 0 1 0 907072541 16297984 3281 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3979 3281 1111 63 0 3916 0
vsize: 15916
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 74754 0 0 0 11771 228 0 0 25 0 1 0 907072541 16556032 3338 4294967295 134512640 134716908 3221224576 3221222576 1074918322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4042 3338 1111 63 0 3979 0
vsize: 16168
[startup+130 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 78646 0 0 0 12759 240 0 0 25 0 1 0 907072541 16306176 3291 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3981 3291 1111 63 0 3918 0
vsize: 15924
[startup+140.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 83757 0 0 0 13746 254 0 0 25 0 1 0 907072541 16801792 3412 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4102 3412 1111 63 0 4039 0
vsize: 16408
[startup+150.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 92546 0 0 0 14721 279 0 0 25 0 1 0 907072541 17235968 3518 4294967295 134512640 134716908 3221224576 3221222768 1073978447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3518 1111 63 0 4145 0
vsize: 16832
[startup+160.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 102897 0 0 0 15692 308 0 0 25 0 1 0 907072541 18063360 3714 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3714 1111 63 0 4347 0
vsize: 17640
[startup+170.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 110068 0 0 0 16674 326 0 0 25 0 1 0 907072541 19140608 3978 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4673 3978 1111 63 0 4610 0
vsize: 18692
[startup+180.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 118102 0 0 0 17655 345 0 0 25 0 1 0 907072541 19750912 4132 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4822 4132 1111 63 0 4759 0
vsize: 19288
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 126408 0 0 0 18634 366 0 0 25 0 1 0 907072541 20099072 4215 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4907 4215 1111 63 0 4844 0
vsize: 19628
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 141869 0 0 0 19597 404 0 0 25 0 1 0 907072541 21880832 4612 4294967295 134512640 134716908 3221224576 3221222544 1075809106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5342 4612 1111 63 0 5279 0
vsize: 21368
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 153875 0 0 0 20566 434 0 0 25 0 1 0 907072541 22642688 4795 4294967295 134512640 134716908 3221224576 3221222040 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5528 4795 1111 63 0 5465 0
vsize: 22112
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 172374 0 0 0 21527 473 0 0 25 0 1 0 907072541 23760896 5059 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5801 5059 1111 63 0 5738 0
vsize: 23204
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 174592 0 0 0 22522 479 0 0 25 0 1 0 907072541 24584192 5279 4294967295 134512640 134716908 3221224576 3221223292 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6002 5279 1111 63 0 5939 0
vsize: 24008
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 174592 0 0 0 23522 479 0 0 25 0 1 0 907072541 24584192 5279 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6002 5279 1111 63 0 5939 0
vsize: 24008
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 174905 0 0 0 24522 480 0 0 25 0 1 0 907072541 23969792 5129 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5852 5129 1111 63 0 5789 0
vsize: 23408
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 193175 0 0 0 25478 524 0 0 25 0 1 0 907072541 24530944 5251 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5989 5251 1111 63 0 5926 0
vsize: 23956
[startup+270.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 213102 0 0 0 26432 569 0 0 25 0 1 0 907072541 25231360 5438 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6160 5438 1111 63 0 6097 0
vsize: 24640
[startup+280.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 230999 0 0 0 27392 610 0 0 25 0 1 0 907072541 26058752 5659 4294967295 134512640 134716908 3221224576 3221222976 1074118794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6362 5659 1111 63 0 6299 0
vsize: 25448
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 246710 0 0 0 28356 646 0 0 25 0 1 0 907072541 26484736 5763 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6466 5763 1111 63 0 6403 0
vsize: 25864
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 262866 0 0 0 29320 682 0 0 25 0 1 0 907072541 27238400 5947 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6650 5947 1111 63 0 6587 0
vsize: 26600
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 281980 0 0 0 30277 726 0 0 25 0 1 0 907072541 27922432 6106 4294967295 134512640 134716908 3221224576 3221221688 1077377639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6919 6108 1111 63 0 6856 0
vsize: 27268
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 299573 0 0 0 31235 767 0 0 25 0 1 0 907072541 28536832 6270 4294967295 134512640 134716908 3221224576 3221222824 1077374433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 6270 1111 63 0 6904 0
vsize: 27868
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 317171 0 0 0 32196 807 0 0 25 0 1 0 907072541 29192192 6423 4294967295 134512640 134716908 3221224576 3221223392 134622567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7127 6423 1111 63 0 7064 0
vsize: 28508
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 333028 0 0 0 33159 844 0 0 25 0 1 0 907072541 30052352 6604 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7337 6604 1111 63 0 7274 0
vsize: 29348
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 343180 0 0 0 34135 868 0 0 25 0 1 0 907072541 29945856 6615 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7311 6615 1111 63 0 7248 0
vsize: 29244
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 360162 0 0 0 35098 906 0 0 25 0 1 0 907072541 30113792 6656 4294967295 134512640 134716908 3221224576 3221223232 134652244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7352 6656 1111 63 0 7289 0
vsize: 29408
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 373973 0 0 0 36067 937 0 0 25 0 1 0 907072541 30924800 6854 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7550 6854 1111 63 0 7487 0
vsize: 30200
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 387451 0 0 0 37035 969 0 0 25 0 1 0 907072541 30789632 6813 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7517 6813 1111 63 0 7454 0
vsize: 30068
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 403494 0 0 0 38000 1004 0 0 25 0 1 0 907072541 31334400 6954 4294967295 134512640 134716908 3221224576 3221222576 1074056223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7650 6954 1111 63 0 7587 0
vsize: 30600
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 421137 0 0 0 38962 1043 0 0 25 0 1 0 907072541 32149504 7153 4294967295 134512640 134716908 3221224576 3221222928 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7849 7153 1111 63 0 7786 0
vsize: 31396
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 439093 0 0 0 39918 1086 0 0 25 0 1 0 907072541 32718848 7291 4294967295 134512640 134716908 3221224576 3221222852 1077374467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7988 7291 1111 63 0 7925 0
vsize: 31952
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 456699 0 0 0 40876 1129 0 0 25 0 1 0 907072541 34689024 7619 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8469 7619 1111 63 0 8406 0
vsize: 33876
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 471900 0 0 0 41842 1163 0 0 25 0 1 0 907072541 36560896 7776 4294967295 134512640 134716908 3221224576 3221221556 1075964086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8926 7776 1111 63 0 8863 0
vsize: 35704
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 490101 0 0 0 42801 1205 0 0 25 0 1 0 907072541 35643392 7856 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8702 7856 1111 63 0 8639 0
vsize: 34808
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 496184 0 0 0 43786 1220 0 0 25 0 1 0 907072541 36200448 7992 4294967295 134512640 134716908 3221224576 3221223288 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8838 7992 1111 63 0 8775 0
vsize: 35352
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 500328 0 0 0 44777 1229 0 0 25 0 1 0 907072541 36900864 8115 4294967295 134512640 134716908 3221224576 3221222304 1075828449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9009 8115 1111 63 0 8946 0
vsize: 36036
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 504281 0 0 0 45767 1239 0 0 25 0 1 0 907072541 36003840 7944 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8790 7944 1111 63 0 8727 0
vsize: 35160
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 509548 0 0 0 46755 1251 0 0 25 0 1 0 907072541 35819520 7899 4294967295 134512640 134716908 3221224576 3221222832 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8745 7899 1111 63 0 8682 0
vsize: 34980
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 521462 0 0 0 47730 1277 0 0 25 0 1 0 907072541 36560896 8048 4294967295 134512640 134716908 3221224576 3221222352 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8926 8048 1111 63 0 8863 0
vsize: 35704
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 535238 0 0 0 48700 1307 0 0 25 0 1 0 907072541 36515840 8065 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8915 8065 1111 63 0 8852 0
vsize: 35660
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 548794 0 0 0 49667 1340 0 0 25 0 1 0 907072541 37232640 8220 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 8220 1111 63 0 9027 0
vsize: 36360
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 563952 0 0 0 50634 1374 0 0 25 0 1 0 907072541 38383616 8368 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9371 8368 1111 63 0 9308 0
vsize: 37484
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 579299 0 0 0 51598 1410 0 0 25 0 1 0 907072541 37920768 8423 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8423 1111 63 0 9195 0
vsize: 37032
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 584523 0 0 0 52588 1420 0 0 25 0 1 0 907072541 38735872 8622 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9457 8622 1111 63 0 9394 0
vsize: 37828
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 594115 0 0 0 53565 1443 0 0 25 0 1 0 907072541 38457344 8541 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9389 8541 1111 63 0 9326 0
vsize: 37556
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 598593 0 0 0 54556 1453 0 0 25 0 1 0 907072541 38469632 8566 4294967295 134512640 134716908 3221224576 3221223024 1073990251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9392 8566 1111 63 0 9329 0
vsize: 37568
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 610807 0 0 0 55529 1479 0 0 25 0 1 0 907072541 38977536 8690 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9516 8690 1111 63 0 9453 0
vsize: 38064
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 619693 0 0 0 56508 1500 0 0 25 0 1 0 907072541 39022592 8680 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9527 8680 1111 63 0 9464 0
vsize: 38108
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 627646 0 0 0 57490 1519 0 0 25 0 1 0 907072541 39280640 8764 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9590 8764 1111 63 0 9527 0
vsize: 38360
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 636955 0 0 0 58472 1537 0 0 25 0 1 0 907072541 39493632 8816 4294967295 134512640 134716908 3221224576 3221223372 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9642 8816 1111 63 0 9579 0
vsize: 38568
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 648318 0 0 0 59445 1565 0 0 25 0 1 0 907072541 39501824 8818 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9644 8818 1111 63 0 9581 0
vsize: 38576
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 656827 0 0 0 60424 1585 0 0 25 0 1 0 907072541 40345600 9024 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9850 9024 1111 63 0 9787 0
vsize: 39400
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 661075 0 0 0 61415 1595 0 0 25 0 1 0 907072541 40218624 8993 4294967295 134512640 134716908 3221224576 3221222488 1074138259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9819 8993 1111 63 0 9756 0
vsize: 39276
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 667055 0 0 0 62401 1609 0 0 25 0 1 0 907072541 39682048 8862 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9688 8862 1111 63 0 9625 0
vsize: 38752
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 679240 0 0 0 63372 1638 0 0 25 0 1 0 907072541 39997440 8939 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9765 8939 1111 63 0 9702 0
vsize: 39060
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 690347 0 0 0 64347 1663 0 0 25 0 1 0 907072541 40308736 9015 4294967295 134512640 134716908 3221224576 3221222576 1074056253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9841 9015 1111 63 0 9778 0
vsize: 39364
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 697012 0 0 0 65333 1677 0 0 25 0 1 0 907072541 40689664 9104 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9934 9104 1111 63 0 9871 0
vsize: 39736
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 711668 0 0 0 66302 1708 0 0 25 0 1 0 907072541 40722432 9116 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9942 9116 1111 63 0 9879 0
vsize: 39768
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 724410 0 0 0 67272 1739 0 0 25 0 1 0 907072541 41168896 9225 4294967295 134512640 134716908 3221224576 3221223392 134622567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10051 9225 1111 63 0 9988 0
vsize: 40204
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 737004 0 0 0 68243 1768 0 0 25 0 1 0 907072541 41377792 9268 4294967295 134512640 134716908 3221224576 3221222576 1074916430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10102 9268 1111 63 0 10039 0
vsize: 40408
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 744555 0 0 0 69226 1785 0 0 25 0 1 0 907072541 41992192 9426 4294967295 134512640 134716908 3221224576 3221223360 134622306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10252 9426 1111 63 0 10189 0
vsize: 41008
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 749929 0 0 0 70212 1799 0 0 25 0 1 0 907072541 41873408 9367 4294967295 134512640 134716908 3221224576 3221222304 1075828608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10223 9367 1111 63 0 10160 0
vsize: 40892
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 769849 0 0 0 71170 1841 0 0 25 0 1 0 907072541 42041344 9435 4294967295 134512640 134716908 3221224576 3221222992 1074116203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10264 9435 1111 63 0 10201 0
vsize: 41056
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 795315 0 0 0 72120 1892 0 0 25 0 1 0 907072541 42418176 9550 4294967295 134512640 134716908 3221224576 3221222760 1077377495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10356 9550 1111 63 0 10293 0
vsize: 41424
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 800099 0 0 0 73110 1902 0 0 25 0 1 0 907072541 43274240 9759 4294967295 134512640 134716908 3221224576 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10565 9759 1111 63 0 10502 0
vsize: 42260
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 818327 0 0 0 74068 1944 0 0 25 0 1 0 907072541 43315200 9761 4294967295 134512640 134716908 3221224576 3221222880 1073987045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10575 9761 1111 63 0 10512 0
vsize: 42300
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 839028 0 0 0 75024 1988 0 0 25 0 1 0 907072541 44662784 10080 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10904 10080 1111 63 0 10841 0
vsize: 43616
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 840758 0 0 0 76021 1991 0 0 25 0 1 0 907072541 44670976 10100 4294967295 134512640 134716908 3221224576 3221223392 134622480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10906 10100 1111 63 0 10843 0
vsize: 43624
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 843744 0 0 0 77012 2000 0 0 25 0 1 0 907072541 44179456 9978 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10786 9978 1111 63 0 10723 0
vsize: 43144
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 847548 0 0 0 78004 2009 0 0 25 0 1 0 907072541 44576768 10054 4294967295 134512640 134716908 3221224576 3221222576 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10883 10054 1111 63 0 10820 0
vsize: 43532
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 856569 0 0 0 78983 2030 0 0 25 0 1 0 907072541 44507136 10060 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10866 10060 1111 63 0 10803 0
vsize: 43464
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 864391 0 0 0 79965 2048 0 0 25 0 1 0 907072541 44417024 10038 4294967295 134512640 134716908 3221224576 3221222764 1074206265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10844 10038 1111 63 0 10781 0
vsize: 43376
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 876472 0 0 0 80938 2076 0 0 25 0 1 0 907072541 44765184 10123 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10929 10123 1111 63 0 10866 0
vsize: 43716
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 885764 0 0 0 81916 2097 0 0 25 0 1 0 907072541 45662208 10342 4294967295 134512640 134716908 3221224576 3221223296 134622833 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11148 10342 1111 63 0 11085 0
vsize: 44592
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 886289 0 0 0 82915 2099 0 0 25 0 1 0 907072541 46759936 10598 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11416 10598 1111 63 0 11353 0
vsize: 45664
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 889927 0 0 0 83905 2109 0 0 25 0 1 0 907072541 46911488 10617 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11453 10617 1111 63 0 11390 0
vsize: 45812
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 893540 0 0 0 84896 2119 0 0 25 0 1 0 907072541 46751744 10598 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11414 10598 1111 63 0 11351 0
vsize: 45656
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 919320 0 0 0 85843 2171 0 0 25 0 1 0 907072541 46354432 10312 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10312 1111 63 0 11254 0
vsize: 45268
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 925524 0 0 0 86828 2187 0 0 25 0 1 0 907072541 46546944 10557 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11364 10557 1111 63 0 11301 0
vsize: 45456
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 927510 0 0 0 87823 2192 0 0 25 0 1 0 907072541 46399488 10521 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11328 10521 1111 63 0 11265 0
vsize: 45312
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 931134 0 0 0 88816 2199 0 0 25 0 1 0 907072541 46403584 10521 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11329 10521 1111 63 0 11266 0
vsize: 45316
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 934867 0 0 0 89807 2209 0 0 25 0 1 0 907072541 46505984 10524 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11354 10524 1111 63 0 11291 0
vsize: 45416
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 951347 0 0 0 90772 2244 0 0 25 0 1 0 907072541 47087616 10448 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11373 10446 1111 63 0 11310 0
vsize: 45984
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 964670 0 0 0 91745 2271 0 0 25 0 1 0 907072541 47140864 10702 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11509 10702 1111 63 0 11446 0
vsize: 46036
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 966410 0 0 0 92741 2275 0 0 25 0 1 0 907072541 46788608 10587 4294967295 134512640 134716908 3221224576 3221222488 1077380714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11423 10587 1111 63 0 11360 0
vsize: 45692
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 970099 0 0 0 93731 2285 0 0 25 0 1 0 907072541 46866432 10632 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11442 10632 1111 63 0 11379 0
vsize: 45768
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 973852 0 0 0 94722 2294 0 0 25 0 1 0 907072541 47415296 10760 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11576 10760 1111 63 0 11513 0
vsize: 46304
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 987768 0 0 0 95693 2324 0 0 25 0 1 0 907072541 47755264 10645 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11536 10643 1111 63 0 11473 0
vsize: 46636
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1011295 0 0 0 96640 2377 0 0 25 0 1 0 907072541 47280128 10745 4294967295 134512640 134716908 3221224576 3221222744 1077378266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11543 10745 1111 63 0 11480 0
vsize: 46172
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1014877 0 0 0 97631 2386 0 0 25 0 1 0 907072541 48214016 10979 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11771 10979 1111 63 0 11708 0
vsize: 47084
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1020211 0 0 0 98619 2398 0 0 25 0 1 0 907072541 47697920 10858 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11645 10858 1111 63 0 11582 0
vsize: 46580
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1022835 0 0 0 99613 2405 0 0 25 0 1 0 907072541 48132096 10964 4294967295 134512640 134716908 3221224576 3221223352 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11751 10964 1111 63 0 11688 0
vsize: 47004
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1025348 0 0 0 100606 2412 0 0 25 0 1 0 907072541 48930816 11159 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11946 11159 1111 63 0 11883 0
vsize: 47784
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1026730 0 0 0 101602 2415 0 0 25 0 1 0 907072541 47722496 10864 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11651 10864 1111 63 0 11588 0
vsize: 46604
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1031567 0 0 0 102592 2426 0 0 25 0 1 0 907072541 48451584 11042 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11829 11042 1111 63 0 11766 0
vsize: 47316
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1033648 0 0 0 103585 2433 0 0 25 0 1 0 907072541 48652288 11091 4294967295 134512640 134716908 3221224576 3221222768 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11878 11091 1111 63 0 11815 0
vsize: 47512
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1033748 0 0 0 104584 2435 0 0 25 0 1 0 907072541 49061888 11191 4294967295 134512640 134716908 3221224576 3221222432 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11978 11191 1111 63 0 11915 0
vsize: 47912
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1034885 0 0 0 105581 2438 0 0 25 0 1 0 907072541 52310016 11977 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 11977 1111 63 0 12708 0
vsize: 51084
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1038212 0 0 0 106573 2445 0 0 25 0 1 0 907072541 49451008 11286 4294967295 134512640 134716908 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12073 11286 1111 63 0 12010 0
vsize: 48292
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1038212 0 0 0 107574 2445 0 0 25 0 1 0 907072541 49451008 11286 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12073 11286 1111 63 0 12010 0
vsize: 48292
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1038212 0 0 0 108574 2445 0 0 25 0 1 0 907072541 49451008 11286 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12073 11286 1111 63 0 12010 0
vsize: 48292
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1038212 0 0 0 109574 2445 0 0 25 0 1 0 907072541 49451008 11286 4294967295 134512640 134716908 3221224576 3221223304 134622898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12073 11286 1111 63 0 12010 0
vsize: 48292
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1038212 0 0 0 110574 2445 0 0 25 0 1 0 907072541 49451008 11286 4294967295 134512640 134716908 3221224576 3221223360 134622627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12073 11286 1111 63 0 12010 0
vsize: 48292
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1038212 0 0 0 111575 2445 0 0 25 0 1 0 907072541 49451008 11286 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12073 11286 1111 63 0 12010 0
vsize: 48292
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1038212 0 0 0 112575 2445 0 0 25 0 1 0 907072541 49451008 11286 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12073 11286 1111 63 0 12010 0
vsize: 48292
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1038212 0 0 0 113575 2445 0 0 25 0 1 0 907072541 49451008 11286 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12073 11286 1111 63 0 12010 0
vsize: 48292
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1046567 0 0 0 114553 2467 0 0 25 0 1 0 907072541 48111616 10955 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11746 10955 1111 63 0 11683 0
vsize: 46984
[startup+1174.85 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25753
Raw data (stat): 25753 (bsolo_lpr_cuts-) R 25752 7266 7265 0 -1 0 1046567 0 0 0 114553 2467 0 0 25 0 1 0 907072541 48111616 10955 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11746 10955 1111 63 0 11683 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.03
CPU user time (s): 1150.07
CPU system time (s): 24.9632
CPU usage (%): 100.015
Max. virtual memory (Kb): 51084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####