PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x26.opb
MD5SUM	f8a5d8e99e0f063cb10208b1e5f7bf38
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1277437
Optimality of the best value was proved	NO
Number of terms in the objective function	5460
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1567797422
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1567797422
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	5460
Total number of constraints	296
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	296
Minimum length of a constraint	21
Maximum length of a constraint	520
Trace number 41631

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 18:16:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29697 boxname=wulflinc3 idbench=1481 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f8a5d8e99e0f063cb10208b1e5f7bf38  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran10x26.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran10x26.opb
IDLAUNCH: 29697
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        775976 kB
Buffers:         14016 kB
Cached:         225128 kB
SwapCached:        692 kB
Active:          32176 kB
Inactive:       208944 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        775724 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            11912 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:36:00 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 29697 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5460 variables and 332 constraints.
c After prepocess the problem consists of 3050 variables and 409 constraints.
c preprocess terminated 8.632 s
c Initial Lower Bound: 493700
c Lower Bound Elapsed time: 0.361
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.93 0.98 0.91 2/54 14277
Raw data (stat): 14277 (runsolver) R 14276 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912356015 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 8437 0 0 0 978 19 0 0 25 0 1 0 912356015 34775040 7678 4294967295 134512640 134716908 3221224560 3221222576 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8490 7678 1111 63 0 8427 0
vsize: 33960
[startup+20.0006 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 14539 0 0 0 1965 30 0 0 25 0 1 0 912356015 34263040 7630 4294967295 134512640 134716908 3221224560 3221221664 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7630 1111 63 0 8302 0
vsize: 33460
[startup+30.0018 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 18938 0 0 0 2955 41 0 0 25 0 1 0 912356015 34906112 7687 4294967295 134512640 134716908 3221224560 3221222208 1075818298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 7687 1111 63 0 8459 0
vsize: 34088
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 23628 0 0 0 3944 52 0 0 25 0 1 0 912356015 34263040 7630 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7630 1111 63 0 8302 0
vsize: 33460
[startup+50.0011 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 28245 0 0 0 4932 64 0 0 25 0 1 0 912356015 34263040 7630 4294967295 134512640 134716908 3221224560 3221219776 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7630 1111 63 0 8302 0
vsize: 33460
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 32953 0 0 0 5923 73 0 0 25 0 1 0 912356015 34263040 7634 4294967295 134512640 134716908 3221224560 3221222848 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7634 1111 63 0 8302 0
vsize: 33460
[startup+70.0018 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 37680 0 0 0 6911 86 0 0 25 0 1 0 912356015 34828288 7672 4294967295 134512640 134716908 3221224560 3221222480 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8503 7672 1111 63 0 8440 0
vsize: 34012
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 42519 0 0 0 7900 96 0 0 25 0 1 0 912356015 34263040 7634 4294967295 134512640 134716908 3221224560 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7634 1111 63 0 8302 0
vsize: 33460
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 47224 0 0 0 8889 108 0 0 25 0 1 0 912356015 34263040 7634 4294967295 134512640 134716908 3221224560 3221222700 1077404732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7634 1111 63 0 8302 0
vsize: 33460
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 51584 0 0 0 9880 117 0 0 25 0 1 0 912356015 34820096 7670 4294967295 134512640 134716908 3221224560 3221222208 1075818338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8501 7670 1111 63 0 8438 0
vsize: 34004
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 55946 0 0 0 10870 127 0 0 25 0 1 0 912356015 34263040 7634 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7634 1111 63 0 8302 0
vsize: 33460
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 60238 0 0 0 11859 138 0 0 25 0 1 0 912356015 34263040 7634 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7634 1111 63 0 8302 0
vsize: 33460
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 64548 0 0 0 12849 149 0 0 25 0 1 0 912356015 34263040 7634 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7634 1111 63 0 8302 0
vsize: 33460
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 68794 0 0 0 13839 159 0 0 25 0 1 0 912356015 34263040 7634 4294967295 134512640 134716908 3221224560 3221222368 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7634 1111 63 0 8302 0
vsize: 33460
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 73157 0 0 0 14830 168 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222816 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 77487 0 0 0 15820 179 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221223304 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 81585 0 0 0 16810 188 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221221984 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 85494 0 0 0 17802 197 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 89348 0 0 0 18795 204 0 0 25 0 1 0 912356015 35008512 7744 4294967295 134512640 134716908 3221224560 3221221624 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8547 7744 1111 63 0 8484 0
vsize: 34188
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 92956 0 0 0 19786 213 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222760 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 96659 0 0 0 20778 222 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222864 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 100322 0 0 0 21770 230 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 103888 0 0 0 22760 240 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 107442 0 0 0 23751 249 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221223008 1074039482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 110886 0 0 0 24744 256 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 114371 0 0 0 25737 263 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 117759 0 0 0 26730 271 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222760 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 120908 0 0 0 27722 279 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222848 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 123959 0 0 0 28715 286 0 0 25 0 1 0 912356015 34803712 7727 4294967295 134512640 134716908 3221224560 3221220632 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8497 7727 1111 63 0 8434 0
vsize: 33988
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 126867 0 0 0 29708 293 0 0 25 0 1 0 912356015 34639872 7640 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8457 7640 1111 63 0 8394 0
vsize: 33828
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 129917 0 0 0 30701 300 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222304 1075640367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 132885 0 0 0 31694 308 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222848 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 135866 0 0 0 32688 314 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 138570 0 0 0 33681 321 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222000 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 141194 0 0 0 34674 328 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 143792 0 0 0 35668 334 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221221904 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 146337 0 0 0 36661 341 0 0 25 0 1 0 912356015 34746368 7718 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8483 7718 1111 63 0 8420 0
vsize: 33932
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 148850 0 0 0 37655 348 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 151375 0 0 0 38649 354 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222864 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 153925 0 0 0 39643 361 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 156509 0 0 0 40637 366 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222304 1075640247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 159082 0 0 0 41630 373 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221221664 1074138642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 161666 0 0 0 42625 379 0 0 25 0 1 0 912356015 34713600 7708 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8475 7708 1111 63 0 8412 0
vsize: 33900
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 164238 0 0 0 43619 385 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221220144 1074056189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 166772 0 0 0 44613 391 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 169289 0 0 0 45607 397 0 0 25 0 1 0 912356015 34799616 7704 4294967295 134512640 134716908 3221224560 3221220764 1075563849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8496 7704 1111 63 0 8433 0
vsize: 33984
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 171763 0 0 0 46602 403 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 174225 0 0 0 47595 410 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222560 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 176792 0 0 0 48589 416 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 179249 0 0 0 49582 423 0 0 25 0 1 0 912356015 34263040 7636 4294967295 134512640 134716908 3221224560 3221222352 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7636 1111 63 0 8302 0
vsize: 33460
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 181754 0 0 0 50577 428 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 184222 0 0 0 51571 435 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222240 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 186759 0 0 0 52565 441 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 189301 0 0 0 53558 448 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222048 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 191863 0 0 0 54551 455 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 194491 0 0 0 55545 461 0 0 25 0 1 0 912356015 34816000 7696 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8500 7696 1111 63 0 8437 0
vsize: 34000
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 196652 0 0 0 56538 468 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222864 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 198814 0 0 0 57533 473 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 201113 0 0 0 58527 479 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 203404 0 0 0 59521 485 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222976 1074117065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+610.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 205503 0 0 0 60516 491 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 207482 0 0 0 61511 496 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+630.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 209404 0 0 0 62505 502 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222824 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+640.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 211212 0 0 0 63501 507 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 212898 0 0 0 64496 511 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222560 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 214330 0 0 0 65492 516 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 215961 0 0 0 66486 522 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 217225 0 0 0 67483 526 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 218480 0 0 0 68479 530 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221223008 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+700.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 219706 0 0 0 69475 534 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222512 1075655801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+710.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 220927 0 0 0 70470 539 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222624 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 221904 0 0 0 71468 542 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222264 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+730.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 222731 0 0 0 72465 545 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222800 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+740.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 223630 0 0 0 73462 547 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+750.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 224915 0 0 0 74458 552 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+760.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 226574 0 0 0 75452 558 0 0 25 0 1 0 912356015 34263040 7638 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7638 1111 63 0 8302 0
vsize: 33460
[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 229746 0 0 0 76441 569 0 0 25 0 1 0 912356015 34787328 7687 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8493 7687 1111 63 0 8430 0
vsize: 33972
[startup+780.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 235994 0 0 0 77427 584 0 0 25 0 1 0 912356015 34607104 7694 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8449 7699 1111 63 0 8386 0
vsize: 33796
[startup+790.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 246888 0 0 0 78399 611 0 0 25 0 1 0 912356015 34570240 7676 4294967295 134512640 134716908 3221224560 3221221596 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8440 7679 1111 63 0 8377 0
vsize: 33760
[startup+800.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 257849 0 0 0 79376 635 0 0 25 0 1 0 912356015 34308096 7651 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8376 7651 1111 63 0 8313 0
vsize: 33504
[startup+810.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 265089 0 0 0 80360 651 0 0 25 0 1 0 912356015 34308096 7651 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8376 7651 1111 63 0 8313 0
vsize: 33504
[startup+820.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 272444 0 0 0 81341 670 0 0 25 0 1 0 912356015 34652160 7672 4294967295 134512640 134716908 3221224560 3221221656 1074138973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8523 7675 1111 63 0 8460 0
vsize: 33840
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 281556 0 0 0 82318 693 0 0 25 0 1 0 912356015 34365440 7665 4294967295 134512640 134716908 3221224560 3221222304 1075640400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8390 7665 1111 63 0 8327 0
vsize: 33560
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 290875 0 0 0 83294 717 0 0 25 0 1 0 912356015 34308096 7651 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8376 7651 1111 63 0 8313 0
vsize: 33504
[startup+850.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 299028 0 0 0 84274 738 0 0 25 0 1 0 912356015 35049472 7753 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8557 7754 1111 63 0 8494 0
vsize: 34228
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 308155 0 0 0 85253 758 0 0 25 0 1 0 912356015 34365440 7665 4294967295 134512640 134716908 3221224560 3221222304 1075645312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8390 7665 1111 63 0 8327 0
vsize: 33560
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 317137 0 0 0 86231 781 0 0 25 0 1 0 912356015 34635776 7731 4294967295 134512640 134716908 3221224560 3221222712 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8456 7731 1111 63 0 8393 0
vsize: 33824
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 325095 0 0 0 87210 803 0 0 25 0 1 0 912356015 34635776 7731 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8456 7731 1111 63 0 8393 0
vsize: 33824
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 332526 0 0 0 88192 820 0 0 25 0 1 0 912356015 35020800 7751 4294967295 134512640 134716908 3221224560 3221222480 1075799509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8550 7751 1111 63 0 8487 0
vsize: 34200
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 341201 0 0 0 89170 843 0 0 25 0 1 0 912356015 34856960 7775 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8510 7775 1111 63 0 8447 0
vsize: 34040
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 347931 0 0 0 90152 860 0 0 25 0 1 0 912356015 34746368 7758 4294967295 134512640 134716908 3221224560 3221222944 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8483 7758 1111 63 0 8420 0
vsize: 33932
[startup+920.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 354158 0 0 0 91134 879 0 0 25 0 1 0 912356015 34746368 7758 4294967295 134512640 134716908 3221224560 3221222944 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8483 7758 1111 63 0 8420 0
vsize: 33932
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 361498 0 0 0 92116 898 0 0 25 0 1 0 912356015 34746368 7758 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8483 7758 1111 63 0 8420 0
vsize: 33932
[startup+940.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 370910 0 0 0 93092 922 0 0 25 0 1 0 912356015 34746368 7758 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8483 7758 1111 63 0 8420 0
vsize: 33932
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 378582 0 0 0 94073 941 0 0 25 0 1 0 912356015 34746368 7758 4294967295 134512640 134716908 3221224560 3221222448 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8483 7758 1111 63 0 8420 0
vsize: 33932
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 386050 0 0 0 95053 961 0 0 25 0 1 0 912356015 35618816 7860 4294967295 134512640 134716908 3221224560 3221220656 1074879446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8696 7860 1111 63 0 8633 0
vsize: 34784
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 395315 0 0 0 96029 985 0 0 25 0 1 0 912356015 35061760 7835 4294967295 134512640 134716908 3221224560 3221222744 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 7835 1111 63 0 8497 0
vsize: 34240
[startup+980.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 403801 0 0 0 97009 1005 0 0 25 0 1 0 912356015 35168256 7861 4294967295 134512640 134716908 3221224560 3221222680 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8586 7861 1111 63 0 8523 0
vsize: 34344
[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 410637 0 0 0 97994 1021 0 0 25 0 1 0 912356015 35278848 7888 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8613 7888 1111 63 0 8550 0
vsize: 34452
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 414764 0 0 0 98982 1033 0 0 25 0 1 0 912356015 35389440 7915 4294967295 134512640 134716908 3221224560 3221222680 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8640 7915 1111 63 0 8577 0
vsize: 34560
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 422536 0 0 0 99962 1053 0 0 25 0 1 0 912356015 35389440 7915 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8640 7915 1111 63 0 8577 0
vsize: 34560
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 432052 0 0 0 100940 1075 0 0 25 0 1 0 912356015 35495936 7941 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8666 7941 1111 63 0 8603 0
vsize: 34664
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 439831 0 0 0 101919 1096 0 0 25 0 1 0 912356015 35717120 7985 4294967295 134512640 134716908 3221224560 3221222976 1074116784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8720 7985 1111 63 0 8657 0
vsize: 34880
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 444487 0 0 0 102905 1111 0 0 25 0 1 0 912356015 35717120 7995 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8720 7995 1111 63 0 8657 0
vsize: 34880
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 454095 0 0 0 103882 1134 0 0 25 0 1 0 912356015 35823616 8021 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 8021 1111 63 0 8683 0
vsize: 34984
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 459144 0 0 0 104870 1146 0 0 25 0 1 0 912356015 36261888 8051 4294967295 134512640 134716908 3221224560 3221222288 1075829027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8853 8051 1111 63 0 8790 0
vsize: 35412
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 462714 0 0 0 105858 1159 0 0 25 0 1 0 912356015 35934208 8048 4294967295 134512640 134716908 3221224560 3221222944 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 8048 1111 63 0 8710 0
vsize: 35092
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 468720 0 0 0 106843 1174 0 0 25 0 1 0 912356015 35934208 8048 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 8048 1111 63 0 8710 0
vsize: 35092
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 473147 0 0 0 107830 1186 0 0 25 0 1 0 912356015 36487168 8074 4294967295 134512640 134716908 3221224560 3221220716 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8908 8074 1111 63 0 8845 0
vsize: 35632
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 475921 0 0 0 108821 1196 0 0 25 0 1 0 912356015 35934208 8048 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 8048 1111 63 0 8710 0
vsize: 35092
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 479707 0 0 0 109808 1209 0 0 25 0 1 0 912356015 35934208 8048 4294967295 134512640 134716908 3221224560 3221222760 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 8048 1111 63 0 8710 0
vsize: 35092
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 484428 0 0 0 110793 1224 0 0 25 0 1 0 912356015 35934208 8048 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 8048 1111 63 0 8710 0
vsize: 35092
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 488062 0 0 0 111782 1236 0 0 25 0 1 0 912356015 36261888 8051 4294967295 134512640 134716908 3221224560 3221222588 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8853 8051 1111 63 0 8790 0
vsize: 35412
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 491943 0 0 0 112770 1247 0 0 25 0 1 0 912356015 36536320 8082 4294967295 134512640 134716908 3221224560 3221220720 1074794565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8084 1111 63 0 8857 0
vsize: 35680
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 495101 0 0 0 113761 1257 0 0 25 0 1 0 912356015 36171776 8058 4294967295 134512640 134716908 3221224560 3221221840 1074140048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8831 8058 1111 63 0 8768 0
vsize: 35324
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 497607 0 0 0 114753 1265 0 0 25 0 1 0 912356015 36261888 8051 4294967295 134512640 134716908 3221224560 3221222528 1075809065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8853 8051 1111 63 0 8790 0
vsize: 35412
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 505997 0 0 0 115732 1286 0 0 25 0 1 0 912356015 36098048 8088 4294967295 134512640 134716908 3221224560 3221222300 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8813 8088 1111 63 0 8750 0
vsize: 35252
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 14277
Raw data (stat): 14277 (bsolo_lpr_cuts-) R 14276 20224 20223 0 -1 0 505997 0 0 0 115732 1286 0 0 25 0 1 0 912356015 36098048 8088 4294967295 134512640 134716908 3221224560 3221222300 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8813 8088 1111 63 0 8750 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.05
CPU user time (s): 1162.07
CPU system time (s): 12.984
CPU usage (%): 100.013
Max. virtual memory (Kb): 35680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####