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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb
MD5SUM	c6fa043dbbb5b108d149e4ec9ce5fa2c
Bench Category	optimization, big integers (OPTBIGINT)
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29637219205243
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29637219205243
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.44978
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 26295

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 14:58:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14133 boxname=wulflinc7 idbench=1088 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c6fa043dbbb5b108d149e4ec9ce5fa2c  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-n370a.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-n370a.opb
IDLAUNCH: 14133
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        890072 kB
Buffers:         34452 kB
Cached:          88324 kB
SwapCached:        100 kB
Active:          66780 kB
Inactive:        58732 kB
HighTotal:      131008 kB
HighFree:        38472 kB
LowTotal:       903652 kB
LowFree:        851600 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            13360 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:18:19 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 14133 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.75 0.92 1.13 2/54 24821
Raw data (stat): 24821 (runsolver) R 24820 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 772925251 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.79 0.93 1.13 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 1296 0 0 0 993 4 0 0 25 0 1 0 772925251 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0014 s]
Raw data (loadavg): 0.82 0.93 1.13 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 1406 0 0 0 1993 5 0 0 25 0 1 0 772925251 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.002 s]
Raw data (loadavg): 0.85 0.93 1.12 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 1515 0 0 0 2993 5 0 0 25 0 1 0 772925251 16379904 1439 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0081 s]
Raw data (loadavg): 0.95 0.95 1.13 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 1625 0 0 0 3993 5 0 0 25 0 1 0 772925251 16834560 1549 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.0082 s]
Raw data (loadavg): 0.96 0.95 1.12 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 1737 0 0 0 4992 6 0 0 25 0 1 0 772925251 17412096 1661 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0079 s]
Raw data (loadavg): 0.96 0.95 1.12 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 1848 0 0 0 5992 7 0 0 25 0 1 0 772925251 17862656 1772 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1772 1111 63 0 4298 0
vsize: 17444
[startup+70.0079 s]
Raw data (loadavg): 0.97 0.95 1.12 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 1951 0 0 0 6992 7 0 0 25 0 1 0 772925251 18161664 1875 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1875 1111 63 0 4371 0
vsize: 17736
[startup+80.0081 s]
Raw data (loadavg): 0.97 0.95 1.12 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 2067 0 0 0 7991 8 0 0 25 0 1 0 772925251 18763776 1991 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4581 1991 1111 63 0 4518 0
vsize: 18324
[startup+90.0078 s]
Raw data (loadavg): 0.98 0.95 1.12 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 2176 0 0 0 8991 8 0 0 25 0 1 0 772925251 19197952 2100 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100.007 s]
Raw data (loadavg): 0.98 0.95 1.12 2/54 24821
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 2291 0 0 0 9990 9 0 0 25 0 1 0 772925251 19656704 2215 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4799 2215 1111 63 0 4736 0
vsize: 19196
[startup+110.009 s]
Raw data (loadavg): 0.98 0.95 1.11 3/57 24862
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 2395 0 0 0 10985 15 0 0 25 0 1 0 772925251 20103168 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.01 s]
Raw data (loadavg): 0.98 0.96 1.11 2/54 24874
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 2506 0 0 0 11984 15 0 0 25 0 1 0 772925251 20557824 2430 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2430 1111 63 0 4956 0
vsize: 20076
[startup+130.01 s]
Raw data (loadavg): 0.99 0.96 1.11 2/54 24874
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 2614 0 0 0 12984 15 0 0 25 0 1 0 772925251 21004288 2538 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 2538 1111 63 0 5065 0
vsize: 20512
[startup+140.01 s]
Raw data (loadavg): 0.99 0.96 1.11 2/54 24874
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 2725 0 0 0 13985 15 0 0 25 0 1 0 772925251 21434368 2649 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2649 1111 63 0 5170 0
vsize: 20932
[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 1.11 2/54 24874
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 2833 0 0 0 14984 16 0 0 25 0 1 0 772925251 21872640 2757 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 2757 1111 63 0 5277 0
vsize: 21360
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 1.10 2/54 24874
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 2938 0 0 0 15984 16 0 0 25 0 1 0 772925251 22323200 2862 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2862 1111 63 0 5387 0
vsize: 21800
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 1.10 2/54 24874
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 3047 0 0 0 16984 17 0 0 25 0 1 0 772925251 22773760 2971 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 2971 1111 63 0 5497 0
vsize: 22240
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 1.10 2/54 24874
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 3167 0 0 0 17984 17 0 0 25 0 1 0 772925251 23232512 3091 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3091 1111 63 0 5609 0
vsize: 22688
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 1.10 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 3273 0 0 0 18984 17 0 0 25 0 1 0 772925251 23662592 3197 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3197 1111 63 0 5714 0
vsize: 23108
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 1.10 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 3383 0 0 0 19984 17 0 0 25 0 1 0 772925251 24113152 3307 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3307 1111 63 0 5824 0
vsize: 23548
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 1.09 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 3493 0 0 0 20984 17 0 0 25 0 1 0 772925251 24559616 3417 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3417 1111 63 0 5933 0
vsize: 23984
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 1.09 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 3604 0 0 0 21984 17 0 0 25 0 1 0 772925251 25010176 3528 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3528 1111 63 0 6043 0
vsize: 24424
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 1.09 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 3714 0 0 0 22984 18 0 0 25 0 1 0 772925251 25460736 3638 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3638 1111 63 0 6153 0
vsize: 24864
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 1.09 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 3824 0 0 0 23984 18 0 0 25 0 1 0 772925251 25911296 3748 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3748 1111 63 0 6263 0
vsize: 25304
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 1.09 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 3927 0 0 0 24984 18 0 0 25 0 1 0 772925251 26357760 3851 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3851 1111 63 0 6372 0
vsize: 25740
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 1.09 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 4044 0 0 0 25984 18 0 0 25 0 1 0 772925251 26804224 3968 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3968 1111 63 0 6481 0
vsize: 26176
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 1.09 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 4149 0 0 0 26984 18 0 0 25 0 1 0 772925251 27258880 4073 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4073 1111 63 0 6592 0
vsize: 26620
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 1.09 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 4265 0 0 0 27984 18 0 0 25 0 1 0 772925251 27705344 4189 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4189 1111 63 0 6701 0
vsize: 27056
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 4368 0 0 0 28984 19 0 0 25 0 1 0 772925251 28160000 4292 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4292 1111 63 0 6812 0
vsize: 27500
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 4486 0 0 0 29984 19 0 0 25 0 1 0 772925251 28602368 4410 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4410 1111 63 0 6920 0
vsize: 27932
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 4595 0 0 0 30984 19 0 0 25 0 1 0 772925251 29028352 4519 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4519 1111 63 0 7024 0
vsize: 28348
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 4705 0 0 0 31984 20 0 0 25 0 1 0 772925251 29474816 4629 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4629 1111 63 0 7133 0
vsize: 28784
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 4814 0 0 0 32984 20 0 0 25 0 1 0 772925251 29925376 4738 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4738 1111 63 0 7243 0
vsize: 29224
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 4925 0 0 0 33984 20 0 0 25 0 1 0 772925251 30375936 4849 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4849 1111 63 0 7353 0
vsize: 29664
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 5034 0 0 0 34983 20 0 0 25 0 1 0 772925251 30826496 4958 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4958 1111 63 0 7463 0
vsize: 30104
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 5156 0 0 0 35983 21 0 0 25 0 1 0 772925251 31461376 5080 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5080 1111 63 0 7618 0
vsize: 30724
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 5266 0 0 0 36983 21 0 0 25 0 1 0 772925251 31911936 5190 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7791 5190 1111 63 0 7728 0
vsize: 31164
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 1.08 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 5377 0 0 0 37983 21 0 0 25 0 1 0 772925251 32362496 5301 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7901 5301 1111 63 0 7838 0
vsize: 31604
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 5492 0 0 0 38983 21 0 0 25 0 1 0 772925251 32813056 5416 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5416 1111 63 0 7948 0
vsize: 32044
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 5597 0 0 0 39983 22 0 0 25 0 1 0 772925251 33263616 5521 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5521 1111 63 0 8058 0
vsize: 32484
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 5713 0 0 0 40983 22 0 0 25 0 1 0 772925251 33710080 5637 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 5637 1111 63 0 8167 0
vsize: 32920
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 5824 0 0 0 41983 22 0 0 25 0 1 0 772925251 34160640 5748 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5748 1111 63 0 8277 0
vsize: 33360
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 5934 0 0 0 42984 22 0 0 25 0 1 0 772925251 34611200 5858 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5858 1111 63 0 8387 0
vsize: 33800
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 6045 0 0 0 43984 22 0 0 25 0 1 0 772925251 35061760 5969 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5969 1111 63 0 8497 0
vsize: 34240
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 6156 0 0 0 44984 22 0 0 25 0 1 0 772925251 35508224 6080 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6080 1111 63 0 8606 0
vsize: 34676
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 6272 0 0 0 45984 22 0 0 25 0 1 0 772925251 35958784 6196 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6196 1111 63 0 8716 0
vsize: 35116
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 6383 0 0 0 46984 22 0 0 25 0 1 0 772925251 36409344 6307 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6307 1111 63 0 8826 0
vsize: 35556
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 1.07 2/54 24876
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 6494 0 0 0 47984 22 0 0 25 0 1 0 772925251 36859904 6418 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6418 1111 63 0 8936 0
vsize: 35996
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 6610 0 0 0 48984 22 0 0 25 0 1 0 772925251 37306368 6534 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6534 1111 63 0 9045 0
vsize: 36432
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 6715 0 0 0 49984 22 0 0 25 0 1 0 772925251 37761024 6639 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6639 1111 63 0 9156 0
vsize: 36876
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 6830 0 0 0 50984 23 0 0 25 0 1 0 772925251 38207488 6754 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6754 1111 63 0 9265 0
vsize: 37312
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 6942 0 0 0 51984 23 0 0 25 0 1 0 772925251 38658048 6866 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6866 1111 63 0 9375 0
vsize: 37752
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 7052 0 0 0 52985 23 0 0 25 0 1 0 772925251 39108608 6976 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6976 1111 63 0 9485 0
vsize: 38192
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 7169 0 0 0 53984 23 0 0 25 0 1 0 772925251 39559168 7093 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7093 1111 63 0 9595 0
vsize: 38632
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 7279 0 0 0 54984 23 0 0 25 0 1 0 772925251 40005632 7203 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7203 1111 63 0 9704 0
vsize: 39068
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 7391 0 0 0 55985 23 0 0 25 0 1 0 772925251 40456192 7315 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7315 1111 63 0 9814 0
vsize: 39508
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 7506 0 0 0 56985 23 0 0 25 0 1 0 772925251 41054208 7430 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10023 7430 1111 63 0 9960 0
vsize: 40092
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 7618 0 0 0 57984 24 0 0 25 0 1 0 772925251 41508864 7542 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 7542 1111 63 0 10071 0
vsize: 40536
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 7728 0 0 0 58985 24 0 0 25 0 1 0 772925251 41951232 7652 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7652 1111 63 0 10179 0
vsize: 40968
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 7845 0 0 0 59984 24 0 0 25 0 1 0 772925251 42405888 7769 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7769 1111 63 0 10290 0
vsize: 41412
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 7962 0 0 0 60984 25 0 0 25 0 1 0 772925251 42852352 7886 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7886 1111 63 0 10399 0
vsize: 41848
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 8073 0 0 0 61984 25 0 0 25 0 1 0 772925251 43307008 7997 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 7997 1111 63 0 10510 0
vsize: 42292
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 8182 0 0 0 62984 25 0 0 25 0 1 0 772925251 43753472 8106 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8106 1111 63 0 10619 0
vsize: 42728
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 8299 0 0 0 63984 25 0 0 25 0 1 0 772925251 44183552 8223 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8223 1111 63 0 10724 0
vsize: 43148
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 8410 0 0 0 64985 25 0 0 25 0 1 0 772925251 44621824 8334 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8334 1111 63 0 10831 0
vsize: 43576
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 8527 0 0 0 65984 26 0 0 25 0 1 0 772925251 45223936 8451 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11041 8451 1111 63 0 10978 0
vsize: 44164
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 8637 0 0 0 66985 26 0 0 25 0 1 0 772925251 45670400 8561 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 8561 1111 63 0 11087 0
vsize: 44600
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 8754 0 0 0 67985 26 0 0 25 0 1 0 772925251 46125056 8678 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 8678 1111 63 0 11198 0
vsize: 45044
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 8864 0 0 0 68985 26 0 0 25 0 1 0 772925251 46567424 8788 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8788 1111 63 0 11306 0
vsize: 45476
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 8981 0 0 0 69985 26 0 0 25 0 1 0 772925251 47022080 8905 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8905 1111 63 0 11417 0
vsize: 45920
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 9111 0 0 0 70985 26 0 0 25 0 1 0 772925251 47718400 9035 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11650 9035 1111 63 0 11587 0
vsize: 46600
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 9228 0 0 0 71985 27 0 0 25 0 1 0 772925251 48144384 9152 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9152 1111 63 0 11691 0
vsize: 47016
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 9344 0 0 0 72985 27 0 0 25 0 1 0 772925251 48590848 9268 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9268 1111 63 0 11800 0
vsize: 47452
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 9455 0 0 0 73985 27 0 0 25 0 1 0 772925251 49041408 9379 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9379 1111 63 0 11910 0
vsize: 47892
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 9566 0 0 0 74985 27 0 0 25 0 1 0 772925251 49491968 9490 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9490 1111 63 0 12020 0
vsize: 48332
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 9684 0 0 0 75985 27 0 0 25 0 1 0 772925251 49942528 9608 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9608 1111 63 0 12130 0
vsize: 48772
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 9800 0 0 0 76985 27 0 0 25 0 1 0 772925251 50536448 9724 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 9724 1111 63 0 12275 0
vsize: 49352
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 9917 0 0 0 77985 27 0 0 25 0 1 0 772925251 50958336 9841 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9841 1111 63 0 12378 0
vsize: 49764
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 10028 0 0 0 78985 28 0 0 25 0 1 0 772925251 51408896 9952 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9952 1111 63 0 12488 0
vsize: 50204
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 10146 0 0 0 79985 28 0 0 25 0 1 0 772925251 51859456 10070 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10070 1111 63 0 12598 0
vsize: 50644
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 10258 0 0 0 80985 28 0 0 25 0 1 0 772925251 52310016 10182 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10182 1111 63 0 12708 0
vsize: 51084
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 10374 0 0 0 81985 28 0 0 25 0 1 0 772925251 52760576 10298 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10298 1111 63 0 12818 0
vsize: 51524
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 10491 0 0 0 82985 28 0 0 25 0 1 0 772925251 53362688 10415 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 10415 1111 63 0 12965 0
vsize: 52112
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 10609 0 0 0 83985 29 0 0 25 0 1 0 772925251 53809152 10533 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10533 1111 63 0 13074 0
vsize: 52548
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 10721 0 0 0 84985 29 0 0 25 0 1 0 772925251 54259712 10645 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10645 1111 63 0 13184 0
vsize: 52988
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 10837 0 0 0 85985 29 0 0 25 0 1 0 772925251 54710272 10761 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10761 1111 63 0 13294 0
vsize: 53428
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 10954 0 0 0 86985 29 0 0 25 0 1 0 772925251 55160832 10878 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10878 1111 63 0 13404 0
vsize: 53868
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 11065 0 0 0 87985 29 0 0 25 0 1 0 772925251 55607296 10989 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10989 1111 63 0 13513 0
vsize: 54304
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 11184 0 0 0 88985 30 0 0 25 0 1 0 772925251 56057856 11108 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11108 1111 63 0 13623 0
vsize: 54744
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 11300 0 0 0 89985 30 0 0 25 0 1 0 772925251 56655872 11224 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13832 11224 1111 63 0 13769 0
vsize: 55328
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 11417 0 0 0 90984 31 0 0 25 0 1 0 772925251 57110528 11341 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11341 1111 63 0 13880 0
vsize: 55772
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 11534 0 0 0 91984 31 0 0 25 0 1 0 772925251 57552896 11458 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11458 1111 63 0 13988 0
vsize: 56204
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 11653 0 0 0 92984 31 0 0 25 0 1 0 772925251 58007552 11577 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11577 1111 63 0 14099 0
vsize: 56648
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 11769 0 0 0 93984 31 0 0 25 0 1 0 772925251 58454016 11693 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11693 1111 63 0 14208 0
vsize: 57084
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 11887 0 0 0 94984 31 0 0 25 0 1 0 772925251 59056128 11811 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11811 1111 63 0 14355 0
vsize: 57672
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 11998 0 0 0 95985 31 0 0 25 0 1 0 772925251 59502592 11922 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11922 1111 63 0 14464 0
vsize: 58108
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 12117 0 0 0 96985 32 0 0 25 0 1 0 772925251 59953152 12041 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12041 1111 63 0 14574 0
vsize: 58548
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 12233 0 0 0 97985 32 0 0 25 0 1 0 772925251 60403712 12157 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12157 1111 63 0 14684 0
vsize: 58988
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 12351 0 0 0 98985 32 0 0 25 0 1 0 772925251 60854272 12275 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12275 1111 63 0 14794 0
vsize: 59428
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 12468 0 0 0 99984 32 0 0 25 0 1 0 772925251 61300736 12392 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12392 1111 63 0 14903 0
vsize: 59864
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 12585 0 0 0 100984 32 0 0 25 0 1 0 772925251 61902848 12509 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12509 1111 63 0 15050 0
vsize: 60452
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 12703 0 0 0 101984 33 0 0 25 0 1 0 772925251 62353408 12627 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12627 1111 63 0 15160 0
vsize: 60892
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 12820 0 0 0 102984 33 0 0 25 0 1 0 772925251 62803968 12744 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12744 1111 63 0 15270 0
vsize: 61332
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 12937 0 0 0 103985 33 0 0 25 0 1 0 772925251 63254528 12861 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12861 1111 63 0 15380 0
vsize: 61772
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 13055 0 0 0 104985 33 0 0 25 0 1 0 772925251 63700992 12979 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12979 1111 63 0 15489 0
vsize: 62208
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 13174 0 0 0 105985 33 0 0 25 0 1 0 772925251 64303104 13098 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13098 1111 63 0 15636 0
vsize: 62796
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 13290 0 0 0 106985 33 0 0 25 0 1 0 772925251 64749568 13214 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13214 1111 63 0 15745 0
vsize: 63232
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 13408 0 0 0 107985 34 0 0 25 0 1 0 772925251 65204224 13332 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13332 1111 63 0 15856 0
vsize: 63676
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 13525 0 0 0 108985 34 0 0 25 0 1 0 772925251 65650688 13449 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13449 1111 63 0 15965 0
vsize: 64112
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 13644 0 0 0 109985 34 0 0 25 0 1 0 772925251 66105344 13568 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13568 1111 63 0 16076 0
vsize: 64556
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 13761 0 0 0 110985 34 0 0 25 0 1 0 772925251 66699264 13685 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13685 1111 63 0 16221 0
vsize: 65136
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 13885 0 0 0 111985 34 0 0 25 0 1 0 772925251 67149824 13809 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13809 1111 63 0 16331 0
vsize: 65576
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 14002 0 0 0 112985 34 0 0 25 0 1 0 772925251 67600384 13926 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13926 1111 63 0 16441 0
vsize: 66016
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 14121 0 0 0 113985 34 0 0 25 0 1 0 772925251 68050944 14045 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14045 1111 63 0 16551 0
vsize: 66456
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 14239 0 0 0 114985 35 0 0 25 0 1 0 772925251 68653056 14163 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14163 1111 63 0 16698 0
vsize: 67044
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 14356 0 0 0 115985 35 0 0 25 0 1 0 772925251 69099520 14280 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14280 1111 63 0 16807 0
vsize: 67480
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 14475 0 0 0 116985 35 0 0 25 0 1 0 772925251 69550080 14399 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14399 1111 63 0 16917 0
vsize: 67920
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 14591 0 0 0 117985 35 0 0 25 0 1 0 772925251 70000640 14515 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14515 1111 63 0 17027 0
vsize: 68360
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 14710 0 0 0 118985 35 0 0 25 0 1 0 772925251 70451200 14634 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14634 1111 63 0 17137 0
vsize: 68800
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) R 24820 24300 24299 0 -1 0 14833 0 0 0 119985 36 0 0 25 0 1 0 772925251 71045120 14757 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14757 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 1.00 1/54 24878
Raw data (stat): 24821 (bsolo_lpr_cuts) Z 24820 24300 24299 0 -1 1036 14833 0 0 0 119985 38 0 0 25 0 1 0 772925251 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.25
CPU user time (s): 1199.86
CPU system time (s): 0.387941
CPU usage (%): 100.016
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####