PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb
MD5SUM	962e64054cef66ff1ace4918a032c24a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1983976
Optimality of the best value was proved	NO
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	3584
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	160
Trace number 25741

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 03:28:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17916 boxname=wulflinc31 idbench=1379 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  962e64054cef66ff1ace4918a032c24a  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08a.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08a.opb
IDLAUNCH: 17916
/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:        658072 kB
Buffers:         13564 kB
Cached:         342768 kB
SwapCached:        940 kB
Active:         233812 kB
Inactive:       124640 kB
HighTotal:      131008 kB
HighFree:         1148 kB
LowTotal:       903652 kB
LowFree:        656924 kB
SwapTotal:     2097892 kB
SwapFree:      2095960 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            12392 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 03:47:39 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 17916 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3584 variables and 200 constraints.
c After prepocess the problem consists of 3288 variables and 219 constraints.
c preprocess terminated 1.375 s
c Initial Lower Bound: 351789
c Lower Bound Elapsed time: 0.464
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 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.98 0.94 2/55 19800
Raw data (stat): 19800 (runsolver) R 19799 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 809695210 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.0001 s]
Raw data (loadavg): 0.93 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 8748 0 8 0 949 22 0 0 25 0 1 0 809695210 21450752 4492 4294967295 134512640 134714508 3221221776 3221219776 1074918533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5237 4492 1111 63 0 5174 0
vsize: 20948
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 14575 0 8 0 1937 35 0 0 25 0 1 0 809695210 21782528 4576 4294967295 134512640 134714508 3221221776 3221218096 1075171754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5318 4576 1111 63 0 5255 0
vsize: 21272
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 20413 0 8 0 2924 48 0 0 25 0 1 0 809695210 21778432 4576 4294967295 134512640 134714508 3221221776 3221218696 1074950077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5317 4576 1111 63 0 5254 0
vsize: 21268
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 26225 0 8 0 3911 61 0 0 25 0 1 0 809695210 21164032 4454 4294967295 134512640 134714508 3221221776 3221218968 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4454 1111 63 0 5104 0
vsize: 20668
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 32070 0 8 0 4897 75 0 0 25 0 1 0 809695210 21164032 4454 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4454 1111 63 0 5104 0
vsize: 20668
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 37017 0 8 0 5889 84 0 0 25 0 1 0 809695210 21164032 4455 4294967295 134512640 134714508 3221221776 3221219072 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4455 1111 63 0 5104 0
vsize: 20668
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 41908 0 8 0 6876 96 0 0 25 0 1 0 809695210 21164032 4455 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4455 1111 63 0 5104 0
vsize: 20668
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 47518 0 8 0 7863 109 0 0 25 0 1 0 809695210 21618688 4491 4294967295 134512640 134714508 3221221776 3221219504 1075829570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5278 4491 1111 63 0 5215 0
vsize: 21112
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 52794 0 8 0 8851 121 0 0 25 0 1 0 809695210 21164032 4456 4294967295 134512640 134714508 3221221776 3221219288 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4456 1111 63 0 5104 0
vsize: 20668
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 57680 0 8 0 9838 134 0 0 25 0 1 0 809695210 21839872 4566 4294967295 134512640 134714508 3221221776 3221218680 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4566 1111 63 0 5269 0
vsize: 21328
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 62328 0 8 0 10826 147 0 0 25 0 1 0 809695210 21819392 4561 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5327 4561 1111 63 0 5264 0
vsize: 21308
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 66744 0 8 0 11815 158 0 0 25 0 1 0 809695210 21164032 4459 4294967295 134512640 134714508 3221221776 3221220532 134624796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4459 1111 63 0 5104 0
vsize: 20668
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 71350 0 8 0 12805 168 0 0 25 0 1 0 809695210 21262336 4483 4294967295 134512640 134714508 3221221776 3221219776 1074918929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5191 4483 1111 63 0 5128 0
vsize: 20764
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 75939 0 8 0 13794 179 0 0 25 0 1 0 809695210 21798912 4561 4294967295 134512640 134714508 3221221776 3221217848 1074950169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5322 4561 1111 63 0 5259 0
vsize: 21288
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 80262 0 8 0 14783 190 0 0 25 0 1 0 809695210 21598208 4494 4294967295 134512640 134714508 3221221776 3221219840 1075961606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5273 4494 1111 63 0 5210 0
vsize: 21092
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 84610 0 8 0 15772 203 0 0 25 0 1 0 809695210 21786624 4558 4294967295 134512640 134714508 3221221776 3221218004 1075114931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5319 4558 1111 63 0 5256 0
vsize: 21276
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 89218 0 8 0 16761 213 0 0 25 0 1 0 809695210 21716992 4566 4294967295 134512640 134714508 3221221776 3221218004 1075115109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5302 4566 1111 63 0 5239 0
vsize: 21208
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 93798 0 8 0 17751 223 0 0 25 0 1 0 809695210 21164032 4461 4294967295 134512640 134714508 3221221776 3221219424 1074247419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4461 1111 63 0 5104 0
vsize: 20668
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 98677 0 8 0 18741 233 0 0 25 0 1 0 809695210 21164032 4461 4294967295 134512640 134714508 3221221776 3221219120 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4461 1111 63 0 5104 0
vsize: 20668
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 103857 0 8 0 19730 245 0 0 25 0 1 0 809695210 21164032 4461 4294967295 134512640 134714508 3221221776 3221219600 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4461 1111 63 0 5104 0
vsize: 20668
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 109140 0 8 0 20717 257 0 0 25 0 1 0 809695210 21778432 4546 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5317 4546 1111 63 0 5254 0
vsize: 21268
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 114272 0 8 0 21706 269 0 0 25 0 1 0 809695210 21164032 4461 4294967295 134512640 134714508 3221221776 3221218860 1074247360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4461 1111 63 0 5104 0
vsize: 20668
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 118853 0 8 0 22696 279 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219216 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 123490 0 8 0 23683 292 0 0 25 0 1 0 809695210 21753856 4543 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5311 4543 1111 63 0 5248 0
vsize: 21244
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 127981 0 8 0 24671 304 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219216 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 132534 0 8 0 25663 313 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219772 1074152822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 136782 0 8 0 26652 324 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219392 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 141042 0 8 0 27641 334 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221220224 1074039475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 144734 0 8 0 28634 342 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219440 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 148177 0 8 0 29625 351 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219456 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 151615 0 8 0 30615 362 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219776 1074916565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 155131 0 8 0 31605 371 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219296 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 158794 0 8 0 32595 382 0 0 25 0 1 0 809695210 21164032 4462 4294967295 134512640 134714508 3221221776 3221219416 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4462 1111 63 0 5104 0
vsize: 20668
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 162548 0 8 0 33585 392 0 0 25 0 1 0 809695210 21303296 4465 4294967295 134512640 134714508 3221221776 3221218888 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5201 4466 1111 63 0 5138 0
vsize: 20804
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 168214 0 8 0 34572 405 0 0 25 0 1 0 809695210 21164032 4463 4294967295 134512640 134714508 3221221776 3221219320 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4463 1111 63 0 5104 0
vsize: 20668
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 175705 0 8 0 35554 424 0 0 25 0 1 0 809695210 21663744 4512 4294967295 134512640 134714508 3221221776 3221219912 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5289 4512 1111 63 0 5226 0
vsize: 21156
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 183470 0 8 0 36536 442 0 0 25 0 1 0 809695210 21712896 4530 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5301 4530 1111 63 0 5238 0
vsize: 21204
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 190429 0 8 0 37521 457 0 0 25 0 1 0 809695210 22052864 4618 4294967295 134512640 134714508 3221221776 3221218004 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5384 4618 1111 63 0 5321 0
vsize: 21536
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 197049 0 8 0 38505 473 0 0 25 0 1 0 809695210 21798912 4583 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5322 4590 1111 63 0 5259 0
vsize: 21288
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 204876 0 8 0 39487 491 0 0 25 0 1 0 809695210 21446656 4509 4294967295 134512640 134714508 3221221776 3221218880 1074138642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5236 4511 1111 63 0 5173 0
vsize: 20944
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 213050 0 8 0 40468 510 0 0 25 0 1 0 809695210 22044672 4615 4294967295 134512640 134714508 3221221776 3221218048 1074806019 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5382 4615 1111 63 0 5319 0
vsize: 21528
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 220744 0 8 0 41450 528 0 0 25 0 1 0 809695210 21164032 4463 4294967295 134512640 134714508 3221221776 3221219584 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4463 1111 63 0 5104 0
vsize: 20668
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 229581 0 8 0 42428 550 0 0 25 0 1 0 809695210 21164032 4463 4294967295 134512640 134714508 3221221776 3221219528 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4463 1111 63 0 5104 0
vsize: 20668
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 238344 0 8 0 43407 572 0 0 25 0 1 0 809695210 21835776 4552 4294967295 134512640 134714508 3221221776 3221219696 1075799660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5331 4552 1111 63 0 5268 0
vsize: 21324
[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 247039 0 8 0 44389 590 0 0 25 0 1 0 809695210 21164032 4463 4294967295 134512640 134714508 3221221776 3221218728 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5167 4463 1111 63 0 5104 0
vsize: 20668
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 256396 0 8 0 45366 613 0 0 25 0 1 0 809695210 21540864 4555 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5259 4555 1111 63 0 5196 0
vsize: 21036
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 265120 0 8 0 46345 634 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219072 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 273980 0 8 0 47324 655 0 0 25 0 1 0 809695210 21962752 4627 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5362 4627 1111 63 0 5299 0
vsize: 21448
[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 283030 0 8 0 48306 674 0 0 25 0 1 0 809695210 21815296 4556 4294967295 134512640 134714508 3221221776 3221218816 1075860576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5326 4556 1111 63 0 5263 0
vsize: 21304
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 291946 0 8 0 49285 694 0 0 25 0 1 0 809695210 22085632 4633 4294967295 134512640 134714508 3221221776 3221217740 1074860614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5392 4633 1111 63 0 5329 0
vsize: 21568
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 301004 0 8 0 50265 715 0 0 25 0 1 0 809695210 21983232 4632 4294967295 134512640 134714508 3221221776 3221217740 1074860611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5367 4632 1111 63 0 5304 0
vsize: 21468
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 310167 0 8 0 51243 737 0 0 25 0 1 0 809695210 21979136 4627 4294967295 134512640 134714508 3221221776 3221217740 1074861051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5366 4627 1111 63 0 5303 0
vsize: 21464
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 319477 0 8 0 52223 757 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219944 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 328841 0 8 0 53200 781 0 0 25 0 1 0 809695210 21843968 4562 4294967295 134512640 134714508 3221221776 3221218696 1074950117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5333 4562 1111 63 0 5270 0
vsize: 21332
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 338051 0 8 0 54179 802 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219452 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 347147 0 8 0 55158 823 0 0 25 0 1 0 809695210 22007808 4633 4294967295 134512640 134714508 3221221776 3221217740 1074860828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5373 4633 1111 63 0 5310 0
vsize: 21492
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 356396 0 8 0 56136 845 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219560 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 366004 0 8 0 57114 867 0 0 25 0 1 0 809695210 21397504 4488 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5224 4493 1111 63 0 5161 0
vsize: 20896
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 375944 0 8 0 58090 891 0 0 25 0 1 0 809695210 22020096 4638 4294967295 134512640 134714508 3221221776 3221218352 1076048195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5376 4638 1111 63 0 5313 0
vsize: 21504
[startup+600.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 386108 0 8 0 59066 916 0 0 25 0 1 0 809695210 22011904 4635 4294967295 134512640 134714508 3221221776 3221217772 1074788128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5374 4635 1111 63 0 5311 0
vsize: 21496
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 396405 0 8 0 60043 939 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219392 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 406254 0 8 0 61021 961 0 0 25 0 1 0 809695210 22032384 4641 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5379 4641 1111 63 0 5316 0
vsize: 21516
[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 416047 0 8 0 61999 983 0 0 25 0 1 0 809695210 21868544 4567 4294967295 134512640 134714508 3221221776 3221218760 1074831923 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5339 4567 1111 63 0 5276 0
vsize: 21356
[startup+640.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 425874 0 8 0 62976 1006 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219132 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 435571 0 8 0 63952 1030 0 0 25 0 1 0 809695210 21364736 4512 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5216 4512 1111 63 0 5153 0
vsize: 20864
[startup+660.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 444983 0 8 0 64929 1054 0 0 25 0 1 0 809695210 21520384 4547 4294967295 134512640 134714508 3221221776 3221218880 1074138729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5254 4547 1111 63 0 5191 0
vsize: 21016
[startup+670.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 454308 0 8 0 65907 1076 0 0 25 0 1 0 809695210 22040576 4646 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5381 4646 1111 63 0 5318 0
vsize: 21524
[startup+680.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 463760 0 8 0 66885 1098 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219896 1074138147 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+690.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 473096 0 8 0 67863 1120 0 0 25 0 1 0 809695210 21364736 4512 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5216 4512 1111 63 0 5153 0
vsize: 20864
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 482468 0 8 0 68841 1142 0 0 25 0 1 0 809695210 21430272 4484 4294967295 134512640 134714508 3221221776 3221218752 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5232 4490 1111 63 0 5169 0
vsize: 20928
[startup+710.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 491949 0 8 0 69818 1165 0 0 25 0 1 0 809695210 22052864 4646 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5384 4646 1111 63 0 5321 0
vsize: 21536
[startup+720.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 501177 0 8 0 70796 1188 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221218892 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+730.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 510004 0 8 0 71775 1208 0 0 25 0 1 0 809695210 21430272 4496 4294967295 134512640 134714508 3221221776 3221219344 134650102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5232 4497 1111 63 0 5169 0
vsize: 20928
[startup+740.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 518997 0 8 0 72754 1230 0 0 25 0 1 0 809695210 21573632 4556 4294967295 134512640 134714508 3221221776 3221218880 1074139113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5267 4556 1111 63 0 5204 0
vsize: 21068
[startup+750.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 527939 0 8 0 73732 1252 0 0 25 0 1 0 809695210 21921792 4613 4294967295 134512640 134714508 3221221776 3221218880 1074139075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5352 4613 1111 63 0 5289 0
vsize: 21408
[startup+760.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 536858 0 8 0 74713 1272 0 0 25 0 1 0 809695210 22069248 4648 4294967295 134512640 134714508 3221221776 3221217848 1074950198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4648 1111 63 0 5325 0
vsize: 21552
[startup+770.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 546273 0 8 0 75689 1295 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219084 1074207687 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+780.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 556113 0 8 0 76666 1319 0 0 25 0 1 0 809695210 21704704 4561 4294967295 134512640 134714508 3221221776 3221218880 1074138576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5299 4561 1111 63 0 5236 0
vsize: 21196
[startup+790.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 565385 0 8 0 77644 1340 0 0 25 0 1 0 809695210 22085632 4652 4294967295 134512640 134714508 3221221776 3221217740 1074860630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5392 4652 1111 63 0 5329 0
vsize: 21568
[startup+800.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 574595 0 8 0 78622 1363 0 0 25 0 1 0 809695210 22085632 4652 4294967295 134512640 134714508 3221221776 3221218816 1075860104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5392 4652 1111 63 0 5329 0
vsize: 21568
[startup+810.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 584050 0 8 0 79601 1384 0 0 25 0 1 0 809695210 21245952 4483 4294967295 134512640 134714508 3221221776 3221219312 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5187 4483 1111 63 0 5124 0
vsize: 20748
[startup+820.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 593583 0 8 0 80578 1407 0 0 25 0 1 0 809695210 21753856 4570 4294967295 134512640 134714508 3221221776 3221219120 1074839104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5311 4570 1111 63 0 5248 0
vsize: 21244
[startup+830.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 603005 0 8 0 81557 1428 0 0 25 0 1 0 809695210 22089728 4653 4294967295 134512640 134714508 3221221776 3221218800 1074810486 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5393 4653 1111 63 0 5330 0
vsize: 21572
[startup+840.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 611946 0 8 0 82536 1450 0 0 25 0 1 0 809695210 21323776 4502 4294967295 134512640 134714508 3221221776 3221219344 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5206 4502 1111 63 0 5143 0
vsize: 20824
[startup+850.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 620842 0 8 0 83514 1471 0 0 25 0 1 0 809695210 21598208 4569 4294967295 134512640 134714508 3221221776 3221220240 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5273 4569 1111 63 0 5210 0
vsize: 21092
[startup+860.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 629686 0 8 0 84493 1493 0 0 25 0 1 0 809695210 22204416 4654 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5421 4654 1111 63 0 5358 0
vsize: 21684
[startup+870.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 638266 0 8 0 85470 1516 0 0 25 0 1 0 809695210 21323776 4502 4294967295 134512640 134714508 3221221776 3221219072 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5206 4502 1111 63 0 5143 0
vsize: 20824
[startup+880.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 646846 0 8 0 86450 1536 0 0 25 0 1 0 809695210 21401600 4521 4294967295 134512640 134714508 3221221776 3221220192 1074116197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5225 4521 1111 63 0 5162 0
vsize: 20900
[startup+890.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 655327 0 8 0 87431 1555 0 0 25 0 1 0 809695210 21839872 4589 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5332 4594 1111 63 0 5269 0
vsize: 21328
[startup+900.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 663945 0 8 0 88411 1576 0 0 25 0 1 0 809695210 21798912 4573 4294967295 134512640 134714508 3221221776 3221219600 1075823360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5322 4573 1111 63 0 5259 0
vsize: 21288
[startup+910.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 673126 0 8 0 89390 1597 0 0 25 0 1 0 809695210 22183936 4651 4294967295 134512640 134714508 3221221776 3221218340 1076044942 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5416 4651 1111 63 0 5353 0
vsize: 21664
[startup+920.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 682311 0 8 0 90369 1618 0 0 25 0 1 0 809695210 22126592 4662 4294967295 134512640 134714508 3221221776 3221217772 1074860944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4662 1111 63 0 5339 0
vsize: 21608
[startup+930.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 692018 0 8 0 91346 1641 0 0 25 0 1 0 809695210 22126592 4661 4294967295 134512640 134714508 3221221776 3221217740 1074860598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4661 1111 63 0 5339 0
vsize: 21608
[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 701489 0 8 0 92324 1663 0 0 25 0 1 0 809695210 21630976 4577 4294967295 134512640 134714508 3221221776 3221219776 1074916565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5281 4577 1111 63 0 5218 0
vsize: 21124
[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 711110 0 8 0 93302 1685 0 0 25 0 1 0 809695210 21991424 4576 4294967295 134512640 134714508 3221221776 3221219708 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5369 4576 1111 63 0 5306 0
vsize: 21476
[startup+960.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 720562 0 8 0 94280 1708 0 0 25 0 1 0 809695210 21626880 4576 4294967295 134512640 134714508 3221221776 3221219776 1074918533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5280 4576 1111 63 0 5217 0
vsize: 21120
[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 730275 0 8 0 95256 1731 0 0 25 0 1 0 809695210 21323776 4502 4294967295 134512640 134714508 3221221776 3221219584 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5206 4502 1111 63 0 5143 0
vsize: 20824
[startup+980.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 740204 0 8 0 96233 1755 0 0 25 0 1 0 809695210 21708800 4585 4294967295 134512640 134714508 3221221776 3221218968 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5300 4585 1111 63 0 5237 0
vsize: 21200
[startup+990.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 749934 0 8 0 97210 1778 0 0 25 0 1 0 809695210 21323776 4502 4294967295 134512640 134714508 3221221776 3221219072 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5206 4502 1111 63 0 5143 0
vsize: 20824
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 759205 0 8 0 98188 1800 0 0 25 0 1 0 809695210 21405696 4522 4294967295 134512640 134714508 3221221776 3221218984 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5226 4522 1111 63 0 5163 0
vsize: 20904
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 767562 0 8 0 99167 1821 0 0 25 0 1 0 809695210 22147072 4667 4294967295 134512640 134714508 3221221776 3221218092 1074960596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5407 4667 1111 63 0 5344 0
vsize: 21628
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 776180 0 8 0 100148 1841 0 0 25 0 1 0 809695210 21405696 4522 4294967295 134512640 134714508 3221221776 3221218892 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5226 4522 1111 63 0 5163 0
vsize: 20904
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 785456 0 8 0 101126 1862 0 0 25 0 1 0 809695210 21618688 4553 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5278 4558 1111 63 0 5215 0
vsize: 21112
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 794819 0 8 0 102103 1886 0 0 25 0 1 0 809695210 22151168 4671 4294967295 134512640 134714508 3221221776 3221218280 1074971925 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5408 4671 1111 63 0 5345 0
vsize: 21632
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 803910 0 8 0 103083 1907 0 0 25 0 1 0 809695210 22028288 4599 4294967295 134512640 134714508 3221221776 3221219696 1075799732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5378 4599 1111 63 0 5315 0
vsize: 21512
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 812132 0 8 0 104063 1926 0 0 25 0 1 0 809695210 22167552 4658 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5412 4658 1111 63 0 5349 0
vsize: 21648
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 821173 0 8 0 105042 1948 0 0 25 0 1 0 809695210 21405696 4522 4294967295 134512640 134714508 3221221776 3221219120 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5226 4522 1111 63 0 5163 0
vsize: 20904
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 830663 0 8 0 106015 1974 0 0 25 0 1 0 809695210 21405696 4522 4294967295 134512640 134714508 3221221776 3221220128 1074142880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5226 4522 1111 63 0 5163 0
vsize: 20904
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 840007 0 8 0 106991 1999 0 0 25 0 1 0 809695210 21999616 4599 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5371 4599 1111 63 0 5308 0
vsize: 21484
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 848905 0 8 0 107968 2022 0 0 25 0 1 0 809695210 22052864 4605 4294967295 134512640 134714508 3221221776 3221219888 1074867341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5384 4605 1111 63 0 5321 0
vsize: 21536
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 857635 0 8 0 108947 2043 0 0 25 0 1 0 809695210 22192128 4677 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5418 4677 1111 63 0 5355 0
vsize: 21672
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 866022 0 8 0 109927 2064 0 0 25 0 1 0 809695210 22036480 4601 4294967295 134512640 134714508 3221221776 3221219888 1074867264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5380 4601 1111 63 0 5317 0
vsize: 21520
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 875741 0 8 0 110906 2085 0 0 25 0 1 0 809695210 21721088 4599 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5303 4599 1111 63 0 5240 0
vsize: 21212
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 885325 0 8 0 111885 2106 0 0 25 0 1 0 809695210 22077440 4613 4294967295 134512640 134714508 3221221776 3221219600 1075824332 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5390 4613 1111 63 0 5327 0
vsize: 21560
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 895264 0 8 0 112859 2132 0 0 25 0 1 0 809695210 22315008 4678 4294967295 134512640 134714508 3221221776 3221217740 1074860598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5448 4678 1111 63 0 5385 0
vsize: 21792
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 905232 0 8 0 113835 2156 0 0 25 0 1 0 809695210 21524480 4551 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5255 4551 1111 63 0 5192 0
vsize: 21020
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 914729 0 8 0 114813 2178 0 0 25 0 1 0 809695210 22278144 4698 4294967295 134512640 134714508 3221221776 3221217936 1074794664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5439 4698 1111 63 0 5376 0
vsize: 21756
[startup+1175.23 s]
Raw data (loadavg): 0.99 0.98 0.94 1/54 19800
Raw data (stat): 19800 (bsolo_lpr_cuts) R 19799 7876 7672 0 -1 0 914729 0 8 0 114813 2178 0 0 25 0 1 0 809695210 22278144 4698 4294967295 134512640 134714508 3221221776 3221217936 1074794664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5439 4698 1111 63 0 5376 0
vsize: 0

Child status: 0
Real time (s): 1175.23
CPU time (s): 1175.12
CPU user time (s): 1153.23
CPU system time (s): 21.8977
CPU usage (%): 99.9907
Max. virtual memory (Kb): 21792
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####