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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12098
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 28759

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 03:52:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11650 boxname=wulflinc30 idbench=897 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 11650
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        801380 kB
Buffers:         30472 kB
Cached:         179204 kB
SwapCached:        716 kB
Active:          53796 kB
Inactive:       158036 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        801128 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:             252 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            15760 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:11:49 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 11650 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 383.725 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 87.164
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 32558
Raw data (stat): 32558 (runsolver) R 32557 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835777935 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 31838 0 0 0 930 67 0 0 25 0 1 0 835777935 143462400 31762 4294967295 134512640 134714508 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35025 31762 1111 63 0 34962 0
vsize: 140100
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 54961 0 0 0 1890 108 0 0 25 0 1 0 835777935 238170112 54885 4294967295 134512640 134714508 3221224576 3221222860 1077399560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58147 54885 1111 63 0 58084 0
vsize: 232588
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 55848 0 0 0 2887 110 0 0 25 0 1 0 835777935 241819648 55772 4294967295 134512640 134714508 3221224576 3221222880 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59038 55772 1111 63 0 58975 0
vsize: 236152
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 56725 0 0 0 3883 113 0 0 25 0 1 0 835777935 245334016 56649 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59896 56649 1111 63 0 59833 0
vsize: 239584
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 58809 0 0 0 4876 120 0 0 25 0 1 0 835777935 244080640 58690 4294967295 134512640 134714508 3221224576 3221222988 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59590 58690 1111 63 0 59527 0
vsize: 238360
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 61630 0 0 0 5870 127 0 0 25 0 1 0 835777935 255717376 61511 4294967295 134512640 134714508 3221224576 3221223056 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62431 61511 1111 63 0 62368 0
vsize: 249724
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 64297 0 0 0 6865 132 0 0 25 0 1 0 835777935 266555392 64178 4294967295 134512640 134714508 3221224576 3221223116 134528752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65077 64178 1111 63 0 65014 0
vsize: 260308
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 66608 0 0 0 7861 136 0 0 25 0 1 0 835777935 276041728 66489 4294967295 134512640 134714508 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67393 66489 1111 63 0 67330 0
vsize: 269572
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 68922 0 0 0 8856 141 0 0 25 0 1 0 835777935 285519872 68803 4294967295 134512640 134714508 3221224576 3221223080 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69707 68803 1111 63 0 69644 0
vsize: 278828
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 71151 0 0 0 9853 145 0 0 25 0 1 0 835777935 294727680 71032 4294967295 134512640 134714508 3221224576 3221223080 1077377527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71955 71032 1111 63 0 71892 0
vsize: 287820
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 73234 0 0 0 10848 149 0 0 25 0 1 0 835777935 303259648 73115 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74038 73115 1111 63 0 73975 0
vsize: 296152
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 75141 0 0 0 11845 153 0 0 25 0 1 0 835777935 310984704 75022 4294967295 134512640 134714508 3221224576 3221223008 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75924 75023 1111 63 0 75861 0
vsize: 303696
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 77060 0 0 0 12841 157 0 0 25 0 1 0 835777935 318836736 76941 4294967295 134512640 134714508 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77841 76941 1111 63 0 77778 0
vsize: 311364
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 78744 0 0 0 13837 162 0 0 25 0 1 0 835777935 325750784 78625 4294967295 134512640 134714508 3221224576 3221223044 134536691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79529 78625 1111 63 0 79466 0
vsize: 318116
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 80472 0 0 0 14833 165 0 0 25 0 1 0 835777935 332800000 80353 4294967295 134512640 134714508 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81250 80353 1111 63 0 81187 0
vsize: 325000
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 82276 0 0 0 15830 168 0 0 25 0 1 0 835777935 340246528 82157 4294967295 134512640 134714508 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83068 82157 1111 63 0 83005 0
vsize: 332272
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 83696 0 0 0 16826 172 0 0 25 0 1 0 835777935 346071040 83577 4294967295 134512640 134714508 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84490 83577 1111 63 0 84427 0
vsize: 337960
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 85062 0 0 0 17824 175 0 0 25 0 1 0 835777935 351629312 84943 4294967295 134512640 134714508 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85847 84943 1111 63 0 85784 0
vsize: 343388
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 86318 0 0 0 18821 178 0 0 25 0 1 0 835777935 356777984 86199 4294967295 134512640 134714508 3221224576 3221222960 134542340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87104 86199 1111 63 0 87041 0
vsize: 348416
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 87525 0 0 0 19818 181 0 0 25 0 1 0 835777935 361787392 87406 4294967295 134512640 134714508 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88327 87406 1111 63 0 88264 0
vsize: 353308
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 88581 0 0 0 20816 184 0 0 25 0 1 0 835777935 366120960 88462 4294967295 134512640 134714508 3221224576 3221222968 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89385 88465 1111 63 0 89322 0
vsize: 357540
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 89445 0 0 0 21814 185 0 0 25 0 1 0 835777935 369655808 89326 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90248 89326 1111 63 0 90185 0
vsize: 360992
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 90305 0 0 0 22813 187 0 0 25 0 1 0 835777935 373178368 90186 4294967295 134512640 134714508 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91108 90186 1111 63 0 91045 0
vsize: 364432
[startup+240.004 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 91041 0 0 0 23812 188 0 0 25 0 1 0 835777935 376164352 90922 4294967295 134512640 134714508 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91837 90922 1111 63 0 91774 0
vsize: 367348
[startup+250.004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 91624 0 0 0 24811 189 0 0 25 0 1 0 835777935 378474496 91505 4294967295 134512640 134714508 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92401 91505 1111 63 0 92338 0
vsize: 369604
[startup+260.004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 92081 0 0 0 25810 190 0 0 25 0 1 0 835777935 380375040 91962 4294967295 134512640 134714508 3221224576 3221223024 134536675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92865 91962 1111 63 0 92802 0
vsize: 371460
[startup+270.004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 92522 0 0 0 26809 191 0 0 25 0 1 0 835777935 382140416 92403 4294967295 134512640 134714508 3221224576 3221222960 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93296 92403 1111 63 0 93233 0
vsize: 373184
[startup+280.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 92910 0 0 0 27808 192 0 0 25 0 1 0 835777935 383766528 92791 4294967295 134512640 134714508 3221224576 3221222984 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93693 92791 1111 63 0 93630 0
vsize: 374772
[startup+290.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 92974 0 0 0 28809 192 0 0 25 0 1 0 835777935 384040960 92855 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93760 92855 1111 63 0 93697 0
vsize: 375040
[startup+300.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 92987 0 0 0 29809 192 0 0 25 0 1 0 835777935 384040960 92868 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93760 92868 1111 63 0 93697 0
vsize: 375040
[startup+310.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 92994 0 0 0 30809 192 0 0 25 0 1 0 835777935 384176128 92875 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92875 1111 63 0 93730 0
vsize: 375172
[startup+320.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 93001 0 0 0 31809 192 0 0 25 0 1 0 835777935 384176128 92882 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92882 1111 63 0 93730 0
vsize: 375172
[startup+330.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 93004 0 0 0 32810 192 0 0 25 0 1 0 835777935 384176128 92885 4294967295 134512640 134714508 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92885 1111 63 0 93730 0
vsize: 375172
[startup+340.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 93006 0 0 0 33810 192 0 0 25 0 1 0 835777935 384176128 92887 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92887 1111 63 0 93730 0
vsize: 375172
[startup+350.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 93009 0 0 0 34811 192 0 0 25 0 1 0 835777935 384176128 92890 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92890 1111 63 0 93730 0
vsize: 375172
[startup+360.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 93014 0 0 0 35811 192 0 0 25 0 1 0 835777935 384176128 92895 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92895 1111 63 0 93730 0
vsize: 375172
[startup+370.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 93019 0 0 0 36811 192 0 0 25 0 1 0 835777935 384176128 92900 4294967295 134512640 134714508 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92900 1111 63 0 93730 0
vsize: 375172
[startup+380.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 93019 0 0 0 37811 192 0 0 25 0 1 0 835777935 384176128 92900 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93793 92900 1111 63 0 93730 0
vsize: 375172
[startup+390.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 94658 0 0 0 38807 196 0 0 25 0 1 0 835777935 391065600 94472 4294967295 134512640 134714508 3221224576 3221222504 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95475 94472 1111 63 0 95412 0
vsize: 381900
[startup+400.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 96092 0 0 0 39804 199 0 0 25 0 1 0 835777935 391745536 94813 4294967295 134512640 134714508 3221224576 3221220540 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95641 94813 1111 63 0 95578 0
vsize: 382564
[startup+410.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 96108 0 0 0 40803 199 0 0 25 0 1 0 835777935 391790592 94829 4294967295 134512640 134714508 3221224576 3221220540 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94829 1111 63 0 95589 0
vsize: 382608
[startup+420.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 96108 0 0 0 41804 199 0 0 25 0 1 0 835777935 391790592 94829 4294967295 134512640 134714508 3221224576 3221220480 1074875083 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94829 1111 63 0 95589 0
vsize: 382608
[startup+430.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 96138 0 0 0 42804 199 0 0 25 0 1 0 835777935 391790592 94845 4294967295 134512640 134714508 3221224576 3221220936 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+440.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 96138 0 0 0 43804 200 0 0 25 0 1 0 835777935 391790592 94845 4294967295 134512640 134714508 3221224576 3221220656 1075095104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+450.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 96138 0 0 0 44804 200 0 0 25 0 1 0 835777935 391790592 94845 4294967295 134512640 134714508 3221224576 3221220380 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95652 94845 1111 63 0 95589 0
vsize: 382608
[startup+460.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32558
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97550 0 0 0 45801 203 0 0 25 0 1 0 835777935 388460544 94076 4294967295 134512640 134714508 3221224576 3221223024 134648531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94076 1111 63 0 94776 0
vsize: 379356
[startup+470.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32559
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97550 0 0 0 46801 203 0 0 25 0 1 0 835777935 388460544 94076 4294967295 134512640 134714508 3221224576 3221223024 134648533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94076 1111 63 0 94776 0
vsize: 379356
[startup+480.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32611
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97551 0 0 0 47799 205 0 0 25 0 1 0 835777935 388460544 94077 4294967295 134512640 134714508 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94839 94077 1111 63 0 94776 0
vsize: 379356
[startup+490.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32611
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97562 0 0 0 48798 205 0 0 25 0 1 0 835777935 388575232 94088 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94867 94088 1111 63 0 94804 0
vsize: 379468
[startup+500.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32611
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97611 0 0 0 49797 206 0 0 25 0 1 0 835777935 388710400 94137 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94900 94137 1111 63 0 94837 0
vsize: 379600
[startup+510.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32611
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97648 0 0 0 50797 207 0 0 25 0 1 0 835777935 388845568 94174 4294967295 134512640 134714508 3221224576 3221223312 134591997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94933 94174 1111 63 0 94870 0
vsize: 379732
[startup+520.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32611
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97687 0 0 0 51796 208 0 0 25 0 1 0 835777935 389099520 94213 4294967295 134512640 134714508 3221224576 3221223216 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94995 94213 1111 63 0 94932 0
vsize: 379980
[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32611
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97734 0 0 0 52795 209 0 0 25 0 1 0 835777935 389222400 94260 4294967295 134512640 134714508 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95025 94260 1111 63 0 94962 0
vsize: 380100
[startup+540.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32611
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97824 0 0 0 53794 210 0 0 25 0 1 0 835777935 389591040 94350 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95115 94350 1111 63 0 95052 0
vsize: 380460
[startup+550.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97875 0 0 0 54793 211 0 0 25 0 1 0 835777935 389783552 94401 4294967295 134512640 134714508 3221224576 3221223232 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95162 94401 1111 63 0 95099 0
vsize: 380648
[startup+560.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97884 0 0 0 55793 212 0 0 25 0 1 0 835777935 389808128 94410 4294967295 134512640 134714508 3221224576 3221223312 134558532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95168 94410 1111 63 0 95105 0
vsize: 380672
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97941 0 0 0 56792 212 0 0 25 0 1 0 835777935 389935104 94441 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95199 94441 1111 63 0 95136 0
vsize: 380796
[startup+580.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 97941 0 0 0 57792 213 0 0 25 0 1 0 835777935 389935104 94441 4294967295 134512640 134714508 3221224576 3221223296 134528784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95199 94441 1111 63 0 95136 0
vsize: 380796
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98006 0 0 0 58791 214 0 0 25 0 1 0 835777935 390193152 94498 4294967295 134512640 134714508 3221224576 3221223180 134536839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95262 94498 1111 63 0 95199 0
vsize: 381048
[startup+600.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98006 0 0 0 59791 214 0 0 25 0 1 0 835777935 390193152 94498 4294967295 134512640 134714508 3221224576 3221223124 134696398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95262 94498 1111 63 0 95199 0
vsize: 381048
[startup+610.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98022 0 0 0 60791 214 0 0 25 0 1 0 835777935 390221824 94495 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95269 94495 1111 63 0 95206 0
vsize: 381076
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98057 0 0 0 61791 214 0 0 25 0 1 0 835777935 390221824 94511 4294967295 134512640 134714508 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95269 94511 1111 63 0 95206 0
vsize: 381076
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98075 0 0 0 62791 215 0 0 25 0 1 0 835777935 390356992 94525 4294967295 134512640 134714508 3221224576 3221223344 134592449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95302 94525 1111 63 0 95239 0
vsize: 381208
[startup+640.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98075 0 0 0 63790 216 0 0 25 0 1 0 835777935 390328320 94525 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94525 1111 63 0 95232 0
vsize: 381180
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98084 0 0 0 64790 216 0 0 25 0 1 0 835777935 390328320 94534 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98084 0 0 0 65789 217 0 0 25 0 1 0 835777935 390328320 94534 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98084 0 0 0 66789 217 0 0 25 0 1 0 835777935 390328320 94534 4294967295 134512640 134714508 3221224576 3221223136 134552038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94534 1111 63 0 95232 0
vsize: 381180
[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98086 0 0 0 67788 218 0 0 25 0 1 0 835777935 390328320 94536 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95295 94536 1111 63 0 95232 0
vsize: 381180
[startup+690.018 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98160 0 0 0 68788 219 0 0 25 0 1 0 835777935 390733824 94610 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98160 0 0 0 69788 219 0 0 25 0 1 0 835777935 390733824 94610 4294967295 134512640 134714508 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98160 0 0 0 70788 220 0 0 25 0 1 0 835777935 390733824 94610 4294967295 134512640 134714508 3221224576 3221223364 134529422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98160 0 0 0 71788 220 0 0 25 0 1 0 835777935 390733824 94610 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98160 0 0 0 72787 220 0 0 25 0 1 0 835777935 390733824 94610 4294967295 134512640 134714508 3221224576 3221223312 134528883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+740.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98160 0 0 0 73787 221 0 0 25 0 1 0 835777935 390733824 94610 4294967295 134512640 134714508 3221224576 3221223244 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94610 1111 63 0 95331 0
vsize: 381576
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98185 0 0 0 74787 222 0 0 25 0 1 0 835777935 390733824 94635 4294967295 134512640 134714508 3221224576 3221223168 134543738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94635 1111 63 0 95331 0
vsize: 381576
[startup+760.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98186 0 0 0 75787 222 0 0 25 0 1 0 835777935 390733824 94636 4294967295 134512640 134714508 3221224576 3221223376 134597695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95394 94636 1111 63 0 95331 0
vsize: 381576
[startup+770.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98220 0 0 0 76787 222 0 0 25 0 1 0 835777935 390942720 94670 4294967295 134512640 134714508 3221224576 3221223328 134592393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95445 94670 1111 63 0 95382 0
vsize: 381780
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32613
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98234 0 0 0 77786 223 0 0 25 0 1 0 835777935 390942720 94684 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95445 94684 1111 63 0 95382 0
vsize: 381780
[startup+790.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98249 0 0 0 78786 224 0 0 25 0 1 0 835777935 391000064 94699 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95459 94699 1111 63 0 95396 0
vsize: 381836
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98249 0 0 0 79785 225 0 0 25 0 1 0 835777935 391000064 94699 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95459 94699 1111 63 0 95396 0
vsize: 381836
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98294 0 0 0 80785 225 0 0 25 0 1 0 835777935 391155712 94739 4294967295 134512640 134714508 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95497 94739 1111 63 0 95434 0
vsize: 381988
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98294 0 0 0 81785 226 0 0 25 0 1 0 835777935 391155712 94739 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95497 94739 1111 63 0 95434 0
vsize: 381988
[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98314 0 0 0 82784 226 0 0 25 0 1 0 835777935 391172096 94743 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+840.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98314 0 0 0 83784 227 0 0 25 0 1 0 835777935 391172096 94743 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98314 0 0 0 84783 227 0 0 25 0 1 0 835777935 391172096 94743 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95501 94743 1111 63 0 95438 0
vsize: 382004
[startup+860.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98396 0 0 0 85783 228 0 0 25 0 1 0 835777935 391581696 94825 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+870.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98396 0 0 0 86783 228 0 0 25 0 1 0 835777935 391581696 94825 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+880.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98396 0 0 0 87783 228 0 0 25 0 1 0 835777935 391581696 94825 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+890.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98396 0 0 0 88782 229 0 0 25 0 1 0 835777935 391581696 94825 4294967295 134512640 134714508 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94825 1111 63 0 95538 0
vsize: 382404
[startup+900.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98426 0 0 0 89782 229 0 0 25 0 1 0 835777935 391581696 94843 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94843 1111 63 0 95538 0
vsize: 382404
[startup+910.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98426 0 0 0 90782 230 0 0 25 0 1 0 835777935 391581696 94843 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94843 1111 63 0 95538 0
vsize: 382404
[startup+920.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98478 0 0 0 91782 230 0 0 25 0 1 0 835777935 391852032 94895 4294967295 134512640 134714508 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+930.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98478 0 0 0 92781 231 0 0 25 0 1 0 835777935 391852032 94895 4294967295 134512640 134714508 3221224576 3221223200 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+940.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98478 0 0 0 93781 231 0 0 25 0 1 0 835777935 391852032 94895 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+950.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98478 0 0 0 94781 232 0 0 25 0 1 0 835777935 391852032 94895 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+960.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98478 0 0 0 95781 232 0 0 25 0 1 0 835777935 391852032 94895 4294967295 134512640 134714508 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+970.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98478 0 0 0 96780 233 0 0 25 0 1 0 835777935 391852032 94895 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98478 0 0 0 97780 233 0 0 25 0 1 0 835777935 391852032 94895 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95667 94895 1111 63 0 95604 0
vsize: 382668
[startup+990.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98511 0 0 0 98780 233 0 0 25 0 1 0 835777935 391991296 94909 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95701 94909 1111 63 0 95638 0
vsize: 382804
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98511 0 0 0 99780 234 0 0 25 0 1 0 835777935 391991296 94909 4294967295 134512640 134714508 3221224576 3221223376 134597773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95701 94909 1111 63 0 95638 0
vsize: 382804
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98511 0 0 0 100780 234 0 0 25 0 1 0 835777935 391847936 94907 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98511 0 0 0 101779 235 0 0 25 0 1 0 835777935 391847936 94907 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95666 94907 1111 63 0 95603 0
vsize: 382664
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98511 0 0 0 102779 235 0 0 25 0 1 0 835777935 391626752 94854 4294967295 134512640 134714508 3221224576 3221223280 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95612 94854 1111 63 0 95549 0
vsize: 382448
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98525 0 0 0 103778 237 0 0 25 0 1 0 835777935 391761920 94868 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95645 94868 1111 63 0 95582 0
vsize: 382580
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98551 0 0 0 104777 237 0 0 25 0 1 0 835777935 391827456 94894 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95661 94894 1111 63 0 95598 0
vsize: 382644
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98600 0 0 0 105777 238 0 0 25 0 1 0 835777935 392024064 94943 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95709 94943 1111 63 0 95646 0
vsize: 382836
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98600 0 0 0 106776 239 0 0 25 0 1 0 835777935 392024064 94943 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95709 94943 1111 63 0 95646 0
vsize: 382836
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98600 0 0 0 107776 239 0 0 25 0 1 0 835777935 391946240 94932 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98600 0 0 0 108775 240 0 0 25 0 1 0 835777935 391946240 94932 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98600 0 0 0 109775 240 0 0 25 0 1 0 835777935 391946240 94932 4294967295 134512640 134714508 3221224576 3221223264 134542836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98600 0 0 0 110775 241 0 0 25 0 1 0 835777935 391946240 94932 4294967295 134512640 134714508 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98600 0 0 0 111775 241 0 0 25 0 1 0 835777935 391946240 94932 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95690 94932 1111 63 0 95627 0
vsize: 382760
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98622 0 0 0 112775 241 0 0 25 0 1 0 835777935 392081408 94954 4294967295 134512640 134714508 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95723 94954 1111 63 0 95660 0
vsize: 382892
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98626 0 0 0 113775 242 0 0 25 0 1 0 835777935 392081408 94958 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95723 94958 1111 63 0 95660 0
vsize: 382892
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98633 0 0 0 114775 242 0 0 25 0 1 0 835777935 392216576 94965 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95756 94965 1111 63 0 95693 0
vsize: 383024
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98633 0 0 0 115775 242 0 0 25 0 1 0 835777935 391942144 94931 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 382756
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98633 0 0 0 116774 242 0 0 25 0 1 0 835777935 391942144 94931 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 382756
[startup+1175.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 32615
Raw data (stat): 32558 (bsolo_lpr_cuts) R 32557 22056 22055 0 -1 0 98633 0 0 0 116774 242 0 0 25 0 1 0 835777935 391942144 94931 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95689 94931 1111 63 0 95626 0
vsize: 0

Child status: 0
Real time (s): 1175.1
CPU time (s): 1175.19
CPU user time (s): 1172.59
CPU system time (s): 2.6046
CPU usage (%): 100.008
Max. virtual memory (Kb): 383024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####