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/miplib3/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	766b2fe57cb2084b069363491485612e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	97
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16000000
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	241094849
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	2754
Total number of constraints	444
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	444
Minimum length of a constraint	11
Maximum length of a constraint	84
Trace number 26362

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 15:18:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13951 boxname=wulflinc11 idbench=1074 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  766b2fe57cb2084b069363491485612e  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 13951
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        642808 kB
Buffers:         38108 kB
Cached:         319012 kB
SwapCached:         84 kB
Active:          70044 kB
Inactive:       299688 kB
HighTotal:      131008 kB
HighFree:        70700 kB
LowTotal:       903652 kB
LowFree:        572108 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6880 kB
Slab:            16680 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:37:56 (client local time) WITH STATUS 0 IN 1175.52 SECONDS
stats: 13951 7 1175.52 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1842 variables and 296 constraints.
c preprocess terminated 78.899 s
c Initial Lower Bound: 39
c Lower Bound Elapsed time: 0.2555
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.5 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 1.02 2/54 26227
Raw data (stat): 26227 (runsolver) R 26226 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773033472 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.0007 s]
Raw data (loadavg): 0.93 0.98 1.02 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 6494 0 0 0 978 19 0 0 25 0 1 0 773033472 29745152 6416 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7262 6416 1111 63 0 7199 0
vsize: 29048
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.98 1.02 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 6567 0 0 0 1978 19 0 0 25 0 1 0 773033472 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.98 1.02 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 6567 0 0 0 2977 20 0 0 25 0 1 0 773033472 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.98 1.02 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 6567 0 0 0 3977 20 0 0 25 0 1 0 773033472 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+50.0044 s]
Raw data (loadavg): 0.96 0.98 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 6567 0 0 0 4977 21 0 0 25 0 1 0 773033472 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.98 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 6567 0 0 0 5976 21 0 0 25 0 1 0 773033472 30076928 6489 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+70.0084 s]
Raw data (loadavg): 0.97 0.98 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 6567 0 0 0 6977 21 0 0 25 0 1 0 773033472 30076928 6489 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6489 1111 63 0 7280 0
vsize: 29372
[startup+80.0095 s]
Raw data (loadavg): 0.98 0.98 1.01 1/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) D 26226 25830 25829 0 -1 0 6671 0 1 0 7883 22 0 0 24 0 1 0 773033472 30310400 6592 4294967295 134512640 134714508 3221224592 3221221596 1074619284 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 7400 6592 1111 63 0 7337 0
vsize: 29600
[startup+90.0094 s]
Raw data (loadavg): 0.98 0.98 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 8048 0 2 0 8850 27 0 0 25 0 1 0 773033472 30130176 6656 4294967295 134512640 134714508 3221224592 3221222464 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6656 1111 63 0 7293 0
vsize: 29424
[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 8935 0 2 0 9846 30 0 0 25 0 1 0 773033472 30191616 6674 4294967295 134512640 134714508 3221224592 3221222592 1074140688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7371 6674 1111 63 0 7308 0
vsize: 29484
[startup+110.01 s]
Raw data (loadavg): 0.98 0.98 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 10719 0 2 0 10840 37 0 0 25 0 1 0 773033472 30515200 6685 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7450 6685 1111 63 0 7387 0
vsize: 29800
[startup+120.011 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 12387 0 2 0 11835 42 0 0 25 0 1 0 773033472 30130176 6661 4294967295 134512640 134714508 3221224592 3221222168 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6661 1111 63 0 7293 0
vsize: 29424
[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 13931 0 2 0 12828 49 0 0 25 0 1 0 773033472 30183424 6670 4294967295 134512640 134714508 3221224592 3221222224 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7369 6670 1111 63 0 7306 0
vsize: 29476
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 15717 0 2 0 13822 55 0 0 25 0 1 0 773033472 30547968 6680 4294967295 134512640 134714508 3221224592 3221220752 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7458 6680 1111 63 0 7395 0
vsize: 29832
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 17324 0 2 0 14816 61 0 0 25 0 1 0 773033472 30183424 6670 4294967295 134512640 134714508 3221224592 3221222424 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7369 6670 1111 63 0 7306 0
vsize: 29476
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 18752 0 2 0 15812 65 0 0 25 0 1 0 773033472 30130176 6661 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6661 1111 63 0 7293 0
vsize: 29424
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 20612 0 2 0 16806 71 0 0 25 0 1 0 773033472 30175232 6663 4294967295 134512640 134714508 3221224592 3221222544 1074915833 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7367 6663 1111 63 0 7304 0
vsize: 29468
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 22660 0 2 0 17798 79 0 0 25 0 1 0 773033472 30547968 6694 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7458 6694 1111 63 0 7395 0
vsize: 29832
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 25120 0 2 0 18791 86 0 0 25 0 1 0 773033472 30130176 6661 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6661 1111 63 0 7293 0
vsize: 29424
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 27542 0 2 0 19783 94 0 0 25 0 1 0 773033472 30220288 6675 4294967295 134512640 134714508 3221224592 3221222592 1074918237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7378 6675 1111 63 0 7315 0
vsize: 29512
[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 29927 0 2 0 20775 102 0 0 25 0 1 0 773033472 30130176 6663 4294967295 134512640 134714508 3221224592 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6663 1111 63 0 7293 0
vsize: 29424
[startup+220.017 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 32393 0 2 0 21767 110 0 0 25 0 1 0 773033472 30130176 6663 4294967295 134512640 134714508 3221224592 3221222880 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6663 1111 63 0 7293 0
vsize: 29424
[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 34689 0 2 0 22760 118 0 0 25 0 1 0 773033472 30490624 6684 4294967295 134512640 134714508 3221224592 3221222512 1075799603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7444 6684 1111 63 0 7381 0
vsize: 29776
[startup+240.018 s]
Raw data (loadavg): 1.07 1.00 1.01 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 36973 0 2 0 23751 126 0 0 25 0 1 0 773033472 30580736 6706 4294967295 134512640 134714508 3221224592 3221221184 1074884307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7466 6706 1111 63 0 7403 0
vsize: 29864
[startup+250.019 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 39108 0 2 0 24744 133 0 0 25 0 1 0 773033472 30232576 6688 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7381 6688 1111 63 0 7318 0
vsize: 29524
[startup+260.019 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 41299 0 2 0 25737 141 0 0 25 0 1 0 773033472 30363648 6720 4294967295 134512640 134714508 3221224592 3221222944 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7413 6720 1111 63 0 7350 0
vsize: 29652
[startup+270.02 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 42972 0 2 0 26731 146 0 0 25 0 1 0 773033472 30187520 6677 4294967295 134512640 134714508 3221224592 3221222600 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7370 6677 1111 63 0 7307 0
vsize: 29480
[startup+280.02 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 44744 0 2 0 27725 153 0 0 25 0 1 0 773033472 30625792 6718 4294967295 134512640 134714508 3221224592 3221220928 1075114256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6718 1111 63 0 7414 0
vsize: 29908
[startup+290.021 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 46218 0 2 0 28719 159 0 0 25 0 1 0 773033472 30285824 6701 4294967295 134512640 134714508 3221224592 3221222592 1074916856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6701 1111 63 0 7331 0
vsize: 29576
[startup+300.022 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 47750 0 2 0 29714 164 0 0 25 0 1 0 773033472 30294016 6701 4294967295 134512640 134714508 3221224592 3221223136 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 6701 1111 63 0 7333 0
vsize: 29584
[startup+310.023 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 49592 0 2 0 30708 170 0 0 25 0 1 0 773033472 30629888 6717 4294967295 134512640 134714508 3221224592 3221220624 1075965303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7478 6717 1111 63 0 7415 0
vsize: 29912
[startup+320.022 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 51497 0 2 0 31700 178 0 0 25 0 1 0 773033472 30179328 6675 4294967295 134512640 134714508 3221224592 3221222368 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7368 6675 1111 63 0 7305 0
vsize: 29472
[startup+330.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 53496 0 2 0 32693 185 0 0 25 0 1 0 773033472 30535680 6697 4294967295 134512640 134714508 3221224592 3221222320 1075828615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7455 6697 1111 63 0 7392 0
vsize: 29820
[startup+340.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 55509 0 2 0 33686 192 0 0 25 0 1 0 773033472 30228480 6687 4294967295 134512640 134714508 3221224592 3221222568 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7380 6687 1111 63 0 7317 0
vsize: 29520
[startup+350.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 57760 0 2 0 34678 200 0 0 25 0 1 0 773033472 30269440 6697 4294967295 134512640 134714508 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7390 6697 1111 63 0 7327 0
vsize: 29560
[startup+360.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 59655 0 2 0 35673 205 0 0 25 0 1 0 773033472 30339072 6714 4294967295 134512640 134714508 3221224592 3221222256 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6714 1111 63 0 7344 0
vsize: 29628
[startup+370.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 61598 0 2 0 36667 212 0 0 25 0 1 0 773033472 30392320 6717 4294967295 134512640 134714508 3221224592 3221222944 1074115509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6717 1111 63 0 7357 0
vsize: 29680
[startup+380.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 63450 0 2 0 37660 218 0 0 25 0 1 0 773033472 30388224 6716 4294967295 134512640 134714508 3221224592 3221222592 1074918559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6716 1111 63 0 7356 0
vsize: 29676
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 64829 0 2 0 38655 223 0 0 25 0 1 0 773033472 30285824 6702 4294967295 134512640 134714508 3221224592 3221222428 1073986672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6702 1111 63 0 7331 0
vsize: 29576
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 66410 0 2 0 39649 229 0 0 25 0 1 0 773033472 30285824 6702 4294967295 134512640 134714508 3221224592 3221222808 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6702 1111 63 0 7331 0
vsize: 29576
[startup+410.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 68190 0 2 0 40643 236 0 0 25 0 1 0 773033472 30818304 6764 4294967295 134512640 134714508 3221224592 3221221536 1074620294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7524 6764 1111 63 0 7461 0
vsize: 30096
[startup+420.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 70029 0 2 0 41638 241 0 0 25 0 1 0 773033472 30437376 6739 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 71757 0 2 0 42631 248 0 0 25 0 1 0 773033472 30584832 6727 4294967295 134512640 134714508 3221224592 3221222240 1075818298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 6727 1111 63 0 7404 0
vsize: 29868
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 73037 0 2 0 43625 253 0 0 25 0 1 0 773033472 30646272 6763 4294967295 134512640 134714508 3221224592 3221220880 1075114233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7482 6763 1111 63 0 7419 0
vsize: 29928
[startup+450.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 75085 0 2 0 44618 260 0 0 25 0 1 0 773033472 30445568 6741 4294967295 134512640 134714508 3221224592 3221222784 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7433 6741 1111 63 0 7370 0
vsize: 29732
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 77275 0 2 0 45613 266 0 0 25 0 1 0 773033472 30662656 6757 4294967295 134512640 134714508 3221224592 3221222512 1075799556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 6757 1111 63 0 7423 0
vsize: 29944
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 79271 0 2 0 46608 271 0 0 25 0 1 0 773033472 30924800 6786 4294967295 134512640 134714508 3221224592 3221221616 1074810486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7550 6786 1111 63 0 7487 0
vsize: 30200
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 80593 0 2 0 47603 276 0 0 25 0 1 0 773033472 30384128 6726 4294967295 134512640 134714508 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 81047 0 2 0 48600 279 0 0 25 0 1 0 773033472 30638080 6728 4294967295 134512640 134714508 3221224592 3221220604 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7480 6728 1111 63 0 7417 0
vsize: 29920
[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 82861 0 2 0 49593 287 0 0 25 0 1 0 773033472 30502912 6755 4294967295 134512640 134714508 3221224592 3221221992 1077377891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6755 1111 63 0 7384 0
vsize: 29788
[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 84685 0 2 0 50586 293 0 0 25 0 1 0 773033472 30695424 6771 4294967295 134512640 134714508 3221224592 3221222320 1075828571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6771 1111 63 0 7431 0
vsize: 29976
[startup+520.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 86872 0 2 0 51580 300 0 0 25 0 1 0 773033472 30560256 6769 4294967295 134512640 134714508 3221224592 3221222992 1074118812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7461 6769 1111 63 0 7398 0
vsize: 29844
[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 88841 0 2 0 52574 306 0 0 25 0 1 0 773033472 30646272 6759 4294967295 134512640 134714508 3221224592 3221222704 1074867358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 6759 1111 63 0 7419 0
vsize: 29928
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 90945 0 2 0 53566 313 0 0 25 0 1 0 773033472 30384128 6726 4294967295 134512640 134714508 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 92636 0 2 0 54562 318 0 0 25 0 1 0 773033472 30384128 6726 4294967295 134512640 134714508 3221224592 3221223264 134553189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 93247 0 2 0 55559 321 0 0 25 0 1 0 773033472 30527488 6727 4294967295 134512640 134714508 3221224592 3221222240 1075818273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 6727 1111 63 0 7390 0
vsize: 29812
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 94427 0 2 0 56554 326 0 0 25 0 1 0 773033472 30384128 6726 4294967295 134512640 134714508 3221224592 3221222572 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7418 6726 1111 63 0 7355 0
vsize: 29672
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 96385 0 2 0 57549 332 0 0 25 0 1 0 773033472 30498816 6748 4294967295 134512640 134714508 3221224592 3221222496 1075460154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7446 6748 1111 63 0 7383 0
vsize: 29784
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 98205 0 2 0 58542 338 0 0 25 0 1 0 773033472 30543872 6761 4294967295 134512640 134714508 3221224592 3221222944 1074118800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7457 6761 1111 63 0 7394 0
vsize: 29828
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 100104 0 2 0 59535 346 0 0 25 0 1 0 773033472 30543872 6760 4294967295 134512640 134714508 3221224592 3221222592 1074916565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7457 6760 1111 63 0 7394 0
vsize: 29828
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 102112 0 2 0 60528 352 0 0 25 0 1 0 773033472 30846976 6773 4294967295 134512640 134714508 3221224592 3221221632 1075971444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7531 6773 1111 63 0 7468 0
vsize: 30124
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 104126 0 2 0 61523 358 0 0 25 0 1 0 773033472 30437376 6739 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 106106 0 2 0 62517 365 0 0 25 0 1 0 773033472 30883840 6774 4294967295 134512640 134714508 3221224592 3221221192 1075850635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7540 6774 1111 63 0 7477 0
vsize: 30160
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 107819 0 2 0 63513 369 0 0 25 0 1 0 773033472 30543872 6765 4294967295 134512640 134714508 3221224592 3221222240 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7457 6765 1111 63 0 7394 0
vsize: 29828
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 109745 0 2 0 64507 375 0 0 25 0 1 0 773033472 30486528 6751 4294967295 134512640 134714508 3221224592 3221222024 1073978417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6751 1111 63 0 7380 0
vsize: 29772
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 111458 0 2 0 65501 381 0 0 25 0 1 0 773033472 30486528 6751 4294967295 134512640 134714508 3221224592 3221222048 1074057902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6751 1111 63 0 7380 0
vsize: 29772
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 113635 0 2 0 66495 387 0 0 25 0 1 0 773033472 30953472 6795 4294967295 134512640 134714508 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7557 6795 1111 63 0 7494 0
vsize: 30228
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 115654 0 2 0 67488 394 0 0 25 0 1 0 773033472 30486528 6751 4294967295 134512640 134714508 3221224592 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6751 1111 63 0 7380 0
vsize: 29772
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 117905 0 2 0 68482 401 0 0 25 0 1 0 773033472 30535680 6764 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7455 6764 1111 63 0 7392 0
vsize: 29820
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 120102 0 2 0 69474 409 0 0 25 0 1 0 773033472 30945280 6773 4294967295 134512640 134714508 3221224592 3221221744 1075969848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7555 6775 1111 63 0 7492 0
vsize: 30220
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 122067 0 2 0 70469 414 0 0 25 0 1 0 773033472 30535680 6764 4294967295 134512640 134714508 3221224592 3221222800 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7455 6764 1111 63 0 7392 0
vsize: 29820
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 124055 0 2 0 71462 421 0 0 25 0 1 0 773033472 30588928 6770 4294967295 134512640 134714508 3221224592 3221221824 1074140055 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7468 6770 1111 63 0 7405 0
vsize: 29872
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 126262 0 2 0 72456 427 0 0 25 0 1 0 773033472 30539776 6765 4294967295 134512640 134714508 3221224592 3221222832 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7456 6765 1111 63 0 7393 0
vsize: 29824
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 128344 0 2 0 73451 433 0 0 25 0 1 0 773033472 30543872 6767 4294967295 134512640 134714508 3221224592 3221223304 134553169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7457 6767 1111 63 0 7394 0
vsize: 29828
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 130303 0 2 0 74446 438 0 0 25 0 1 0 773033472 30486528 6753 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6753 1111 63 0 7380 0
vsize: 29772
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 132484 0 2 0 75439 445 0 0 25 0 1 0 773033472 30662656 6783 4294967295 134512640 134714508 3221224592 3221222884 1074248336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7486 6783 1111 63 0 7423 0
vsize: 29944
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 134176 0 2 0 76433 451 0 0 25 0 1 0 773033472 30486528 6753 4294967295 134512640 134714508 3221224592 3221221788 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6753 1111 63 0 7380 0
vsize: 29772
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 137087 0 2 0 77427 458 0 0 25 0 1 0 773033472 30486528 6753 4294967295 134512640 134714508 3221224592 3221222512 1074153742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6753 1111 63 0 7380 0
vsize: 29772
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 140214 0 2 0 78417 468 0 0 25 0 1 0 773033472 30879744 6823 4294967295 134512640 134714508 3221224592 3221220772 1075115117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7539 6823 1111 63 0 7476 0
vsize: 30156
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 144509 0 2 0 79406 479 0 0 25 0 1 0 773033472 30646272 6792 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 6792 1111 63 0 7419 0
vsize: 29928
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 147290 0 2 0 80399 486 0 0 25 0 1 0 773033472 31010816 6821 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7571 6821 1111 63 0 7508 0
vsize: 30284
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 148516 0 2 0 81395 490 0 0 25 0 1 0 773033472 30646272 6789 4294967295 134512640 134714508 3221224592 3221222656 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 6789 1111 63 0 7419 0
vsize: 29928
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 149530 0 2 0 82391 494 0 0 25 0 1 0 773033472 30646272 6792 4294967295 134512640 134714508 3221224592 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 6792 1111 63 0 7419 0
vsize: 29928
[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 150041 0 2 0 83389 497 0 0 25 0 1 0 773033472 30613504 6784 4294967295 134512640 134714508 3221224592 3221222240 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+850.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 150449 0 2 0 84387 499 0 0 25 0 1 0 773033472 30613504 6784 4294967295 134512640 134714508 3221224592 3221222352 1075823518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 150874 0 2 0 85386 500 0 0 25 0 1 0 773033472 30613504 6784 4294967295 134512640 134714508 3221224592 3221222464 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 151282 0 2 0 86384 502 0 0 25 0 1 0 773033472 30642176 6785 4294967295 134512640 134714508 3221224592 3221222304 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 151711 0 2 0 87382 505 0 0 25 0 1 0 773033472 30642176 6785 4294967295 134512640 134714508 3221224592 3221222992 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 152123 0 2 0 88379 508 0 0 25 0 1 0 773033472 30642176 6785 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 152556 0 2 0 89378 509 0 0 25 0 1 0 773033472 30613504 6784 4294967295 134512640 134714508 3221224592 3221222248 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 152983 0 2 0 90375 512 0 0 25 0 1 0 773033472 30785536 6788 4294967295 134512640 134714508 3221224592 3221220664 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7516 6788 1111 63 0 7453 0
vsize: 30064
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 153409 0 2 0 91372 515 0 0 25 0 1 0 773033472 30642176 6785 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 153849 0 2 0 92370 517 0 0 25 0 1 0 773033472 30642176 6785 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6785 1111 63 0 7418 0
vsize: 29924
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 154529 0 2 0 93367 520 0 0 25 0 1 0 773033472 30642176 6786 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6786 1111 63 0 7418 0
vsize: 29924
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 155565 0 2 0 94364 523 0 0 25 0 1 0 773033472 30785536 6798 4294967295 134512640 134714508 3221224592 3221220588 1074873582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7516 6798 1111 63 0 7453 0
vsize: 30064
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 156480 0 2 0 95360 528 0 0 25 0 1 0 773033472 30642176 6791 4294967295 134512640 134714508 3221224592 3221222416 1075823363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6791 1111 63 0 7418 0
vsize: 29924
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 157664 0 2 0 96357 532 0 0 25 0 1 0 773033472 30642176 6791 4294967295 134512640 134714508 3221224592 3221222360 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6791 1111 63 0 7418 0
vsize: 29924
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 158582 0 2 0 97352 536 0 0 25 0 1 0 773033472 30851072 6787 4294967295 134512640 134714508 3221224592 3221220636 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7532 6787 1111 63 0 7469 0
vsize: 30128
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 159503 0 2 0 98348 540 0 0 25 0 1 0 773033472 30613504 6784 4294967295 134512640 134714508 3221224592 3221222240 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 160736 0 2 0 99344 545 0 0 25 0 1 0 773033472 30642176 6784 4294967295 134512640 134714508 3221224592 3221223176 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6784 1111 63 0 7418 0
vsize: 29924
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 162025 0 2 0 100340 549 0 0 25 0 1 0 773033472 30785536 6795 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7516 6795 1111 63 0 7453 0
vsize: 30064
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 163307 0 2 0 101334 555 0 0 25 0 1 0 773033472 30613504 6784 4294967295 134512640 134714508 3221224592 3221222272 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6784 1111 63 0 7411 0
vsize: 29896
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 164574 0 2 0 102330 559 0 0 25 0 1 0 773033472 30826496 6801 4294967295 134512640 134714508 3221224592 3221221524 1075964086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 6801 1111 63 0 7463 0
vsize: 30104
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 165668 0 2 0 103325 565 0 0 25 0 1 0 773033472 30928896 6798 4294967295 134512640 134714508 3221224592 3221221712 1074837183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 6798 1111 63 0 7488 0
vsize: 30204
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 166956 0 2 0 104321 569 0 0 25 0 1 0 773033472 30928896 6797 4294967295 134512640 134714508 3221224592 3221220856 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 6797 1111 63 0 7488 0
vsize: 30204
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 168868 0 2 0 105314 575 0 0 25 0 1 0 773033472 30752768 6818 4294967295 134512640 134714508 3221224592 3221223056 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7508 6818 1111 63 0 7445 0
vsize: 30032
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 170695 0 2 0 106308 582 0 0 25 0 1 0 773033472 31072256 6832 4294967295 134512640 134714508 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7586 6833 1111 63 0 7523 0
vsize: 30344
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 172710 0 2 0 107302 589 0 0 25 0 1 0 773033472 30842880 6840 4294967295 134512640 134714508 3221224592 3221222520 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6840 1111 63 0 7467 0
vsize: 30120
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 174630 0 2 0 108295 596 0 0 25 0 1 0 773033472 30842880 6840 4294967295 134512640 134714508 3221224592 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6840 1111 63 0 7467 0
vsize: 30120
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 175785 0 2 0 109290 600 0 0 25 0 1 0 773033472 30842880 6840 4294967295 134512640 134714508 3221224592 3221222296 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6840 1111 63 0 7467 0
vsize: 30120
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 177322 0 2 0 110285 606 0 0 25 0 1 0 773033472 30842880 6840 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6840 1111 63 0 7467 0
vsize: 30120
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 178305 0 2 0 111281 610 0 0 25 0 1 0 773033472 30842880 6840 4294967295 134512640 134714508 3221224592 3221222352 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6840 1111 63 0 7467 0
vsize: 30120
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 179288 0 2 0 112277 615 0 0 25 0 1 0 773033472 30842880 6840 4294967295 134512640 134714508 3221224592 3221222320 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6840 1111 63 0 7467 0
vsize: 30120
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 180468 0 2 0 113271 621 0 0 25 0 1 0 773033472 30842880 6835 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6835 1111 63 0 7467 0
vsize: 30120
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 182405 0 2 0 114265 627 0 0 25 0 1 0 773033472 30842880 6834 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6834 1111 63 0 7467 0
vsize: 30120
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 184262 0 2 0 115259 633 0 0 25 0 1 0 773033472 30842880 6840 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7530 6840 1111 63 0 7467 0
vsize: 30120
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 185782 0 2 0 116253 639 0 0 25 0 1 0 773033472 31023104 6852 4294967295 134512640 134714508 3221224592 3221221488 1074620288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7574 6852 1111 63 0 7511 0
vsize: 30296
[startup+1176.64 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 26227
Raw data (stat): 26227 (bsolo_lpr_cuts) R 26226 25830 25829 0 -1 0 185782 0 2 0 116253 639 0 0 25 0 1 0 773033472 31023104 6852 4294967295 134512640 134714508 3221224592 3221221488 1074620288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7574 6852 1111 63 0 7511 0
vsize: 0

Child status: 0
Real time (s): 1176.64
CPU time (s): 1175.52
CPU user time (s): 1169.06
CPU system time (s): 6.45302
CPU usage (%): 99.9045
Max. virtual memory (Kb): 30344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####