PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
MD5SUM	afcc4289aafaea265ed2d465965a3342
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.036993
Number of variables	1200
Total number of constraints	100
Number of constraints which are clauses	60
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	30
Trace number 40558

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 14:33:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28624 boxname=wulflinc6 idbench=10 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  afcc4289aafaea265ed2d465965a3342  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl20_30_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl20_30_pb.cnf.cr.opb
IDLAUNCH: 28624
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        603456 kB
Buffers:         29732 kB
Cached:         380592 kB
SwapCached:        940 kB
Active:          41000 kB
Inactive:       371348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        603204 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13128 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:52:53 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 28624 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1200 variables and 100 constraints.
c After prepocess the problem consists of 1200 variables and 100 constraints.
c preprocess terminated 0.349 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.91 2/54 31847
Raw data (stat): 31847 (runsolver) R 31846 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902383741 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 2447 0 0 0 991 6 0 0 25 0 1 0 902383741 13168640 2365 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2365 1111 63 0 3152 0
vsize: 12860
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 3618 0 0 0 1988 10 0 0 25 0 1 0 902383741 17907712 3536 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4372 3536 1111 63 0 4309 0
vsize: 17488
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 4075 0 0 0 2985 13 0 0 25 0 1 0 902383741 19800064 3993 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4834 3993 1111 63 0 4771 0
vsize: 19336
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 4711 0 0 0 3983 15 0 0 25 0 1 0 902383741 22368256 4629 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5461 4629 1111 63 0 5398 0
vsize: 21844
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5067 0 0 0 4981 17 0 0 25 0 1 0 902383741 23842816 4985 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4985 1111 63 0 5758 0
vsize: 23284
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5360 0 0 0 5979 19 0 0 25 0 1 0 902383741 25059328 5278 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6118 5278 1111 63 0 6055 0
vsize: 24472
[startup+70.0002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5543 0 0 0 6979 21 0 0 25 0 1 0 902383741 25870336 5461 4294967295 134512640 134716908 3221224560 3221223328 134529115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6316 5461 1111 63 0 6253 0
vsize: 25264
[startup+80.0004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5773 0 0 0 7978 22 0 0 25 0 1 0 902383741 26816512 5691 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6547 5691 1111 63 0 6484 0
vsize: 26188
[startup+89.9999 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5936 0 0 0 8976 24 0 0 25 0 1 0 902383741 27488256 5854 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 5854 1111 63 0 6648 0
vsize: 26844
[startup+99.9997 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 6188 0 0 0 9975 25 0 0 25 0 1 0 902383741 28434432 6106 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6942 6106 1111 63 0 6879 0
vsize: 27768
[startup+110 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 6500 0 0 0 10974 27 0 0 25 0 1 0 902383741 29777920 6418 4294967295 134512640 134716908 3221224560 3221223344 134529395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7270 6418 1111 63 0 7207 0
vsize: 29080
[startup+119.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 6835 0 0 0 11972 29 0 0 25 0 1 0 902383741 31129600 6753 4294967295 134512640 134716908 3221224560 3221223056 134535457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7600 6753 1111 63 0 7537 0
vsize: 30400
[startup+129.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7195 0 0 0 12970 31 0 0 25 0 1 0 902383741 32600064 7113 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7959 7113 1111 63 0 7896 0
vsize: 31836
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7378 0 0 0 13969 33 0 0 25 0 1 0 902383741 33275904 7296 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8124 7296 1111 63 0 8061 0
vsize: 32496
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7625 0 0 0 14968 34 0 0 25 0 1 0 902383741 34373632 7543 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8392 7543 1111 63 0 8329 0
vsize: 33568
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7812 0 0 0 15967 35 0 0 25 0 1 0 902383741 35209216 7730 4294967295 134512640 134716908 3221224560 3221223236 1077374514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8596 7730 1111 63 0 8533 0
vsize: 34384
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7995 0 0 0 16966 36 0 0 25 0 1 0 902383741 35885056 7913 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 7913 1111 63 0 8698 0
vsize: 35044
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 8155 0 0 0 17965 38 0 0 25 0 1 0 902383741 36560896 8073 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8926 8073 1111 63 0 8863 0
vsize: 35704
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 8331 0 0 0 18964 39 0 0 25 0 1 0 902383741 37228544 8249 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9089 8249 1111 63 0 9026 0
vsize: 36356
[startup+199.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 8470 0 0 0 19963 40 0 0 25 0 1 0 902383741 37904384 8388 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9254 8388 1111 63 0 9191 0
vsize: 37016
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 8761 0 0 0 20962 42 0 0 25 0 1 0 902383741 39120896 8679 4294967295 134512640 134716908 3221224560 3221223200 134539356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9551 8679 1111 63 0 9488 0
vsize: 38204
[startup+219.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9094 0 0 0 21961 43 0 0 25 0 1 0 902383741 40472576 9012 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9012 1111 63 0 9818 0
vsize: 39524
[startup+229.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9216 0 0 0 22960 44 0 0 25 0 1 0 902383741 41013248 9134 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10013 9134 1111 63 0 9950 0
vsize: 40052
[startup+239.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9297 0 0 0 23959 45 0 0 25 0 1 0 902383741 41283584 9215 4294967295 134512640 134716908 3221224560 3221223120 134535881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10079 9215 1111 63 0 10016 0
vsize: 40316
[startup+249.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9483 0 0 0 24958 46 0 0 25 0 1 0 902383741 42094592 9401 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10277 9401 1111 63 0 10214 0
vsize: 41108
[startup+259.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9736 0 0 0 25957 48 0 0 25 0 1 0 902383741 43040768 9654 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10508 9654 1111 63 0 10445 0
vsize: 42032
[startup+269.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9880 0 0 0 26956 49 0 0 25 0 1 0 902383741 43716608 9798 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10673 9798 1111 63 0 10610 0
vsize: 42692
[startup+279.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10112 0 0 0 27954 51 0 0 25 0 1 0 902383741 44662784 10030 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10904 10030 1111 63 0 10841 0
vsize: 43616
[startup+289.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10299 0 0 0 28954 52 0 0 25 0 1 0 902383741 45473792 10217 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11102 10217 1111 63 0 11039 0
vsize: 44408
[startup+299.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10426 0 0 0 29953 53 0 0 25 0 1 0 902383741 45895680 10344 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11205 10344 1111 63 0 11142 0
vsize: 44820
[startup+309.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10496 0 0 0 30953 54 0 0 25 0 1 0 902383741 46301184 10414 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11304 10414 1111 63 0 11241 0
vsize: 45216
[startup+319.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10619 0 0 0 31952 54 0 0 25 0 1 0 902383741 46698496 10537 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11401 10537 1111 63 0 11338 0
vsize: 45604
[startup+329.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10750 0 0 0 32952 55 0 0 25 0 1 0 902383741 47239168 10668 4294967295 134512640 134716908 3221224560 3221223116 134535626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11533 10668 1111 63 0 11470 0
vsize: 46132
[startup+339.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10825 0 0 0 33952 56 0 0 25 0 1 0 902383741 47640576 10743 4294967295 134512640 134716908 3221224560 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11631 10743 1111 63 0 11568 0
vsize: 46524
[startup+349.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10870 0 0 0 34952 56 0 0 25 0 1 0 902383741 47775744 10788 4294967295 134512640 134716908 3221224560 3221223216 134536683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11664 10788 1111 63 0 11601 0
vsize: 46656
[startup+359.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10924 0 0 0 35951 57 0 0 25 0 1 0 902383741 47910912 10842 4294967295 134512640 134716908 3221224560 3221223344 134529126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11697 10842 1111 63 0 11634 0
vsize: 46788
[startup+369.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11067 0 0 0 36951 57 0 0 25 0 1 0 902383741 48582656 10985 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11861 10985 1111 63 0 11798 0
vsize: 47444
[startup+379.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11276 0 0 0 37950 58 0 0 25 0 1 0 902383741 49389568 11194 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12058 11194 1111 63 0 11995 0
vsize: 48232
[startup+389.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11581 0 0 0 38949 60 0 0 25 0 1 0 902383741 50737152 11499 4294967295 134512640 134716908 3221224560 3221223276 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12387 11499 1111 63 0 12324 0
vsize: 49548
[startup+399.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11795 0 0 0 39948 61 0 0 25 0 1 0 902383741 51548160 11713 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12585 11713 1111 63 0 12522 0
vsize: 50340
[startup+409.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11960 0 0 0 40947 63 0 0 25 0 1 0 902383741 52211712 11878 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12747 11878 1111 63 0 12684 0
vsize: 50988
[startup+419.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 12119 0 0 0 41946 64 0 0 25 0 1 0 902383741 52883456 12037 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12911 12037 1111 63 0 12848 0
vsize: 51644
[startup+429.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 12260 0 0 0 42945 65 0 0 25 0 1 0 902383741 53424128 12178 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13043 12178 1111 63 0 12980 0
vsize: 52172
[startup+439.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 12373 0 0 0 43945 66 0 0 25 0 1 0 902383741 53964800 12291 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13175 12291 1111 63 0 13112 0
vsize: 52700
[startup+449.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 12591 0 0 0 44944 67 0 0 25 0 1 0 902383741 54775808 12509 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13373 12509 1111 63 0 13310 0
vsize: 53492
[startup+459.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 13036 0 0 0 45943 68 0 0 25 0 1 0 902383741 56688640 12954 4294967295 134512640 134716908 3221224560 3221223264 134528623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13840 12954 1111 63 0 13777 0
vsize: 55360
[startup+469.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 13237 0 0 0 46942 69 0 0 25 0 1 0 902383741 57499648 13155 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14038 13155 1111 63 0 13975 0
vsize: 56152
[startup+479.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 13398 0 0 0 47941 71 0 0 25 0 1 0 902383741 58163200 13316 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14200 13316 1111 63 0 14137 0
vsize: 56800
[startup+489.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 13519 0 0 0 48941 71 0 0 25 0 1 0 902383741 58699776 13437 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14331 13437 1111 63 0 14268 0
vsize: 57324
[startup+499.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14203 0 0 0 49938 75 0 0 25 0 1 0 902383741 61538304 14121 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15024 14121 1111 63 0 14961 0
vsize: 60096
[startup+509.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14517 0 0 0 50937 76 0 0 25 0 1 0 902383741 62889984 14435 4294967295 134512640 134716908 3221224560 3221223264 134584836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15354 14435 1111 63 0 15291 0
vsize: 61416
[startup+519.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14754 0 0 0 51935 78 0 0 25 0 1 0 902383741 63836160 14672 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15585 14672 1111 63 0 15522 0
vsize: 62340
[startup+529.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14872 0 0 0 52935 79 0 0 25 0 1 0 902383741 64241664 14790 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15684 14790 1111 63 0 15621 0
vsize: 62736
[startup+539.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14970 0 0 0 53934 80 0 0 25 0 1 0 902383741 64647168 14888 4294967295 134512640 134716908 3221224560 3221223248 134528607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15783 14888 1111 63 0 15720 0
vsize: 63132
[startup+549.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 15318 0 0 0 54933 81 0 0 25 0 1 0 902383741 66134016 15236 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16146 15236 1111 63 0 16083 0
vsize: 64584
[startup+559.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 15622 0 0 0 55932 83 0 0 25 0 1 0 902383741 67350528 15540 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16443 15540 1111 63 0 16380 0
vsize: 65772
[startup+569.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 15844 0 0 0 56931 84 0 0 25 0 1 0 902383741 68296704 15762 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16674 15762 1111 63 0 16611 0
vsize: 66696
[startup+579.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 15975 0 0 0 57929 86 0 0 25 0 1 0 902383741 68837376 15893 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16806 15893 1111 63 0 16743 0
vsize: 67224
[startup+589.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16083 0 0 0 58929 87 0 0 25 0 1 0 902383741 69263360 15999 4294967295 134512640 134716908 3221224560 3221223136 134549852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16910 15999 1111 63 0 16847 0
vsize: 67640
[startup+599.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16332 0 0 0 59928 88 0 0 25 0 1 0 902383741 70209536 16248 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17141 16248 1111 63 0 17078 0
vsize: 68564
[startup+609.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16488 0 0 0 60927 90 0 0 25 0 1 0 902383741 70885376 16404 4294967295 134512640 134716908 3221224560 3221223188 134698613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17306 16404 1111 63 0 17243 0
vsize: 69224
[startup+619.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16577 0 0 0 61926 90 0 0 25 0 1 0 902383741 71290880 16493 4294967295 134512640 134716908 3221224560 3221223192 134698699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17405 16493 1111 63 0 17342 0
vsize: 69620
[startup+629.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16658 0 0 0 62926 91 0 0 25 0 1 0 902383741 71561216 16574 4294967295 134512640 134716908 3221224560 3221223344 134529328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17471 16574 1111 63 0 17408 0
vsize: 69884
[startup+639.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16795 0 0 0 63924 93 0 0 25 0 1 0 902383741 72237056 16711 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17636 16711 1111 63 0 17573 0
vsize: 70544
[startup+649.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16891 0 0 0 64924 94 0 0 25 0 1 0 902383741 72507392 16807 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17702 16807 1111 63 0 17639 0
vsize: 70808
[startup+659.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17091 0 0 0 65923 95 0 0 25 0 1 0 902383741 73449472 17007 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17932 17007 1111 63 0 17869 0
vsize: 71728
[startup+669.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17172 0 0 0 66922 96 0 0 25 0 1 0 902383741 73719808 17088 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17998 17088 1111 63 0 17935 0
vsize: 71992
[startup+679.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17354 0 0 0 67921 98 0 0 25 0 1 0 902383741 74534912 17270 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18197 17270 1111 63 0 18134 0
vsize: 72788
[startup+689.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17523 0 0 0 68921 98 0 0 25 0 1 0 902383741 75210752 17439 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18362 17439 1111 63 0 18299 0
vsize: 73448
[startup+699.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17632 0 0 0 69920 99 0 0 25 0 1 0 902383741 75616256 17548 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18461 17548 1111 63 0 18398 0
vsize: 73844
[startup+709.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17698 0 0 0 70920 100 0 0 25 0 1 0 902383741 75886592 17614 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18527 17614 1111 63 0 18464 0
vsize: 74108
[startup+719.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17796 0 0 0 71919 101 0 0 25 0 1 0 902383741 76292096 17712 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18626 17712 1111 63 0 18563 0
vsize: 74504
[startup+729.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17890 0 0 0 72918 102 0 0 25 0 1 0 902383741 76697600 17806 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18725 17806 1111 63 0 18662 0
vsize: 74900
[startup+739.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17963 0 0 0 73918 103 0 0 25 0 1 0 902383741 76967936 17879 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18791 17879 1111 63 0 18728 0
vsize: 75164
[startup+749.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17994 0 0 0 74917 104 0 0 25 0 1 0 902383741 77103104 17910 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18824 17910 1111 63 0 18761 0
vsize: 75296
[startup+759.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18083 0 0 0 75917 104 0 0 25 0 1 0 902383741 77508608 17999 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18923 17999 1111 63 0 18860 0
vsize: 75692
[startup+769.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18252 0 0 0 76917 105 0 0 25 0 1 0 902383741 78184448 18168 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19088 18169 1111 63 0 19025 0
vsize: 76352
[startup+779.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18368 0 0 0 77916 106 0 0 25 0 1 0 902383741 78589952 18284 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19187 18284 1111 63 0 19124 0
vsize: 76748
[startup+789.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18580 0 0 0 78915 108 0 0 25 0 1 0 902383741 79532032 18496 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19417 18496 1111 63 0 19354 0
vsize: 77668
[startup+799.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18738 0 0 0 79914 108 0 0 25 0 1 0 902383741 80195584 18654 4294967295 134512640 134716908 3221224560 3221223392 134590006 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19579 18654 1111 63 0 19516 0
vsize: 78316
[startup+809.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18829 0 0 0 80914 109 0 0 25 0 1 0 902383741 80474112 18745 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19647 18745 1111 63 0 19584 0
vsize: 78588
[startup+819.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18967 0 0 0 81913 110 0 0 25 0 1 0 902383741 81149952 18883 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19812 18883 1111 63 0 19749 0
vsize: 79248
[startup+829.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19033 0 0 0 82913 111 0 0 25 0 1 0 902383741 81420288 18949 4294967295 134512640 134716908 3221224560 3221223328 134529113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19878 18949 1111 63 0 19815 0
vsize: 79512
[startup+839.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19067 0 0 0 83913 111 0 0 25 0 1 0 902383741 81563648 18983 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19913 18983 1111 63 0 19850 0
vsize: 79652
[startup+849.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19163 0 0 0 84913 112 0 0 25 0 1 0 902383741 81833984 19079 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19979 19079 1111 63 0 19916 0
vsize: 79916
[startup+860 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19282 0 0 0 85912 113 0 0 25 0 1 0 902383741 82370560 19198 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20110 19198 1111 63 0 20047 0
vsize: 80440
[startup+870 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19351 0 0 0 86912 114 0 0 25 0 1 0 902383741 82640896 19267 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20176 19267 1111 63 0 20113 0
vsize: 80704
[startup+879.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19434 0 0 0 87911 114 0 0 25 0 1 0 902383741 83046400 19350 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20275 19350 1111 63 0 20212 0
vsize: 81100
[startup+890 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19480 0 0 0 88911 115 0 0 25 0 1 0 902383741 83181568 19396 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20308 19396 1111 63 0 20245 0
vsize: 81232
[startup+900 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19538 0 0 0 89910 116 0 0 25 0 1 0 902383741 83451904 19454 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20374 19454 1111 63 0 20311 0
vsize: 81496
[startup+910 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19616 0 0 0 90910 117 0 0 25 0 1 0 902383741 83722240 19532 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20440 19532 1111 63 0 20377 0
vsize: 81760
[startup+920.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19711 0 0 0 91910 118 0 0 25 0 1 0 902383741 84127744 19627 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20539 19627 1111 63 0 20476 0
vsize: 82156
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19782 0 0 0 92909 118 0 0 25 0 1 0 902383741 84398080 19698 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20605 19698 1111 63 0 20542 0
vsize: 82420
[startup+940.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19843 0 0 0 93910 119 0 0 25 0 1 0 902383741 84668416 19759 4294967295 134512640 134716908 3221224560 3221223212 134536804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20671 19759 1111 63 0 20608 0
vsize: 82684
[startup+950.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19884 0 0 0 94909 120 0 0 25 0 1 0 902383741 84803584 19800 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20704 19800 1111 63 0 20641 0
vsize: 82816
[startup+960.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19941 0 0 0 95908 121 0 0 25 0 1 0 902383741 85073920 19857 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20770 19857 1111 63 0 20707 0
vsize: 83080
[startup+970.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20109 0 0 0 96908 122 0 0 25 0 1 0 902383741 85749760 20025 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20935 20025 1111 63 0 20872 0
vsize: 83740
[startup+980.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20184 0 0 0 97907 123 0 0 25 0 1 0 902383741 86020096 20099 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21001 20099 1111 63 0 20938 0
vsize: 84004
[startup+990.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20222 0 0 0 98907 123 0 0 25 0 1 0 902383741 86290432 20137 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21067 20137 1111 63 0 21004 0
vsize: 84268
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20251 0 0 0 99907 124 0 0 25 0 1 0 902383741 86286336 20166 4294967295 134512640 134716908 3221224560 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21066 20166 1111 63 0 21003 0
vsize: 84264
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20310 0 0 0 100906 124 0 0 25 0 1 0 902383741 86556672 20225 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21132 20225 1111 63 0 21069 0
vsize: 84528
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20346 0 0 0 101906 125 0 0 25 0 1 0 902383741 86691840 20261 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21165 20261 1111 63 0 21102 0
vsize: 84660
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20467 0 0 0 102906 126 0 0 25 0 1 0 902383741 87232512 20382 4294967295 134512640 134716908 3221224560 3221223264 134535807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21297 20382 1111 63 0 21234 0
vsize: 85188
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20517 0 0 0 103906 126 0 0 25 0 1 0 902383741 87367680 20432 4294967295 134512640 134716908 3221224560 3221223296 134524039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21330 20432 1111 63 0 21267 0
vsize: 85320
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20567 0 0 0 104906 126 0 0 25 0 1 0 902383741 87638016 20482 4294967295 134512640 134716908 3221224560 3221223216 134524259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21396 20482 1111 63 0 21333 0
vsize: 85584
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20614 0 0 0 105905 127 0 0 25 0 1 0 902383741 87773184 20529 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21429 20529 1111 63 0 21366 0
vsize: 85716
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20656 0 0 0 106905 127 0 0 25 0 1 0 902383741 88043520 20571 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21495 20571 1111 63 0 21432 0
vsize: 85980
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20864 0 0 0 107904 129 0 0 25 0 1 0 902383741 88854528 20779 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21693 20779 1111 63 0 21630 0
vsize: 86772
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20933 0 0 0 108904 129 0 0 25 0 1 0 902383741 89120768 20848 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21758 20848 1111 63 0 21695 0
vsize: 87032
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21087 0 0 0 109904 130 0 0 25 0 1 0 902383741 89833472 21002 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21932 21002 1111 63 0 21869 0
vsize: 87728
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21277 0 0 0 110903 131 0 0 25 0 1 0 902383741 90509312 21192 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22097 21192 1111 63 0 22034 0
vsize: 88388
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21439 0 0 0 111902 132 0 0 25 0 1 0 902383741 91320320 21354 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22295 21354 1111 63 0 22232 0
vsize: 89180
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21542 0 0 0 112902 133 0 0 25 0 1 0 902383741 91725824 21457 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22394 21457 1111 63 0 22331 0
vsize: 89576
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21617 0 0 0 113902 134 0 0 25 0 1 0 902383741 91996160 21532 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22460 21532 1111 63 0 22397 0
vsize: 89840
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21826 0 0 0 114901 134 0 0 25 0 1 0 902383741 92807168 21741 4294967295 134512640 134716908 3221224560 3221223332 134529151 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22658 21741 1111 63 0 22595 0
vsize: 90632
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21951 0 0 0 115901 135 0 0 25 0 1 0 902383741 93347840 21866 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22790 21866 1111 63 0 22727 0
vsize: 91160
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 22046 0 0 0 116900 136 0 0 25 0 1 0 902383741 93753344 21961 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22889 21961 1111 63 0 22826 0
vsize: 91556
[startup+1174.7 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 31847
Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 22046 0 0 0 116900 136 0 0 25 0 1 0 902383741 93753344 21961 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22889 21961 1111 63 0 22826 0
vsize: 0

Child status: 0
Real time (s): 1174.7
CPU time (s): 1175.06
CPU user time (s): 1173.65
CPU system time (s): 1.40979
CPU usage (%): 100.031
Max. virtual memory (Kb): 91556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####