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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
MD5SUM	3db288621acb689294b9e681f0703d64
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	238
Optimality of the best value was proved	NO
Number of terms in the objective function	10990
Biggest coefficient in the objective function	5985
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	32029
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	5985
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	32029
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	10990
Total number of constraints	23461
Number of constraints which are clauses	10469
Number of constraints which are cardinality constraints (but not clauses)	12992
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	25
Trace number 40929

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 02:40:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28990 boxname=wulflinc6 idbench=376 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3db288621acb689294b9e681f0703d64  /oldhome/oroussel/tmp/wulflinc6/normalized-30:70:4.5:0.95:98.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-30:70:4.5:0.95:98.opb
IDLAUNCH: 28990
/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:        903188 kB
Buffers:         24032 kB
Cached:          83304 kB
SwapCached:       4048 kB
Active:          30016 kB
Inactive:        82528 kB
HighTotal:      131008 kB
HighFree:        48972 kB
LowTotal:       903652 kB
LowFree:        854216 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13364 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:00:35 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 28990 7 1200.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10990 variables and 12472 constraints.
c After prepocess the problem consists of 10989 variables and 12621 constraints.
c preprocess terminated 69.379 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 5006
Raw data (stat): 5006 (runsolver) R 5005 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906747856 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 4453 0 0 0 984 13 0 0 25 0 1 0 906747856 21536768 4342 4294967295 134512640 134716908 3221224560 3221223088 134542836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5258 4342 1111 63 0 5195 0
vsize: 21032
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 4601 0 0 0 1983 13 0 0 25 0 1 0 906747856 22212608 4490 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5423 4490 1111 63 0 5360 0
vsize: 21692
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 4604 0 0 0 2984 13 0 0 25 0 1 0 906747856 22212608 4493 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5423 4493 1111 63 0 5360 0
vsize: 21692
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 4604 0 0 0 3984 13 0 0 25 0 1 0 906747856 22212608 4493 4294967295 134512640 134716908 3221224560 3221223232 134627141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5423 4493 1111 63 0 5360 0
vsize: 21692
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 4604 0 0 0 4984 14 0 0 25 0 1 0 906747856 22212608 4493 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5423 4493 1111 63 0 5360 0
vsize: 21692
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 4604 0 0 0 5984 14 0 0 25 0 1 0 906747856 22212608 4493 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5423 4493 1111 63 0 5360 0
vsize: 21692
[startup+70.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 5227 0 0 0 6983 15 0 0 25 0 1 0 906747856 24764416 5116 4294967295 134512640 134716908 3221224560 3221222864 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6046 5116 1111 63 0 5983 0
vsize: 24184
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 5366 0 0 0 7983 16 0 0 25 0 1 0 906747856 25350144 5255 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6189 5255 1111 63 0 6126 0
vsize: 24756
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 5533 0 0 0 8983 16 0 0 25 0 1 0 906747856 25985024 5422 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6344 5422 1111 63 0 6281 0
vsize: 25376
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 7603 0 0 0 9978 21 0 0 25 0 1 0 906747856 35172352 6911 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8587 6911 1111 63 0 8524 0
vsize: 34348
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 7645 0 0 0 10979 21 0 0 25 0 1 0 906747856 35172352 6953 4294967295 134512640 134716908 3221224560 3221220428 1074787561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8587 6953 1111 63 0 8524 0
vsize: 34348
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 7981 0 0 0 11978 22 0 0 25 0 1 0 906747856 33574912 6921 4294967295 134512640 134716908 3221224560 3221220348 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8197 6921 1111 63 0 8134 0
vsize: 32788
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8405 0 0 0 12978 23 0 0 25 0 1 0 906747856 33734656 6974 4294967295 134512640 134716908 3221224560 3221220576 1075895670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8236 6974 1111 63 0 8173 0
vsize: 32944
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8907 0 0 0 13976 25 0 0 25 0 1 0 906747856 33902592 7057 4294967295 134512640 134716908 3221224560 3221220904 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8277 7057 1111 63 0 8214 0
vsize: 33108
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8949 0 0 0 14976 25 0 0 25 0 1 0 906747856 34078720 7099 4294967295 134512640 134716908 3221224560 3221220528 1074881408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8320 7099 1111 63 0 8257 0
vsize: 33280
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8949 0 0 0 15976 25 0 0 25 0 1 0 906747856 34078720 7099 4294967295 134512640 134716908 3221224560 3221220340 1074786547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8320 7099 1111 63 0 8257 0
vsize: 33280
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8949 0 0 0 16977 25 0 0 25 0 1 0 906747856 34078720 7099 4294967295 134512640 134716908 3221224560 3221220800 1075114315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8320 7099 1111 63 0 8257 0
vsize: 33280
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8994 0 0 0 17977 25 0 0 25 0 1 0 906747856 34263040 7144 4294967295 134512640 134716908 3221224560 3221220348 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7144 1111 63 0 8302 0
vsize: 33460
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8994 0 0 0 18978 25 0 0 25 0 1 0 906747856 34263040 7144 4294967295 134512640 134716908 3221224560 3221220432 1075965303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7144 1111 63 0 8302 0
vsize: 33460
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8994 0 0 0 19978 25 0 0 25 0 1 0 906747856 34263040 7144 4294967295 134512640 134716908 3221224560 3221220736 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7144 1111 63 0 8302 0
vsize: 33460
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8994 0 0 0 20978 25 0 0 25 0 1 0 906747856 34263040 7144 4294967295 134512640 134716908 3221224560 3221220432 1075965263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7144 1111 63 0 8302 0
vsize: 33460
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 8995 0 0 0 21979 25 0 0 25 0 1 0 906747856 34263040 7145 4294967295 134512640 134716908 3221224560 3221220528 1074881420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7145 1111 63 0 8302 0
vsize: 33460
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9042 0 0 0 22979 25 0 0 25 0 1 0 906747856 34455552 7192 4294967295 134512640 134716908 3221224560 3221220528 1074881396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8412 7192 1111 63 0 8349 0
vsize: 33648
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9042 0 0 0 23979 25 0 0 25 0 1 0 906747856 34455552 7192 4294967295 134512640 134716908 3221224560 3221220400 1075965265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8412 7192 1111 63 0 8349 0
vsize: 33648
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9042 0 0 0 24979 25 0 0 25 0 1 0 906747856 34455552 7192 4294967295 134512640 134716908 3221224560 3221220428 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8412 7192 1111 63 0 8349 0
vsize: 33648
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9144 0 0 0 25979 26 0 0 25 0 1 0 906747856 34869248 7294 4294967295 134512640 134716908 3221224560 3221220432 1075965299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8513 7294 1111 63 0 8450 0
vsize: 34052
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9144 0 0 0 26980 26 0 0 25 0 1 0 906747856 34869248 7294 4294967295 134512640 134716908 3221224560 3221220340 1074786547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8513 7294 1111 63 0 8450 0
vsize: 34052
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9199 0 0 0 27980 26 0 0 25 0 1 0 906747856 35098624 7349 4294967295 134512640 134716908 3221224560 3221220372 1074786501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7349 1111 63 0 8506 0
vsize: 34276
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9199 0 0 0 28980 26 0 0 25 0 1 0 906747856 35098624 7349 4294967295 134512640 134716908 3221224560 3221220372 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7349 1111 63 0 8506 0
vsize: 34276
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9199 0 0 0 29981 26 0 0 25 0 1 0 906747856 35098624 7349 4294967295 134512640 134716908 3221224560 3221220396 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7349 1111 63 0 8506 0
vsize: 34276
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9199 0 0 0 30981 26 0 0 25 0 1 0 906747856 35098624 7349 4294967295 134512640 134716908 3221224560 3221220692 1075114975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7349 1111 63 0 8506 0
vsize: 34276
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9199 0 0 0 31981 26 0 0 25 0 1 0 906747856 35098624 7349 4294967295 134512640 134716908 3221224560 3221220528 1074881368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7349 1111 63 0 8506 0
vsize: 34276
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9199 0 0 0 32982 26 0 0 25 0 1 0 906747856 35098624 7349 4294967295 134512640 134716908 3221224560 3221220400 1075965287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7349 1111 63 0 8506 0
vsize: 34276
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9199 0 0 0 33982 26 0 0 25 0 1 0 906747856 35098624 7349 4294967295 134512640 134716908 3221224560 3221220528 1074881396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7349 1111 63 0 8506 0
vsize: 34276
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9199 0 0 0 34982 26 0 0 25 0 1 0 906747856 35098624 7349 4294967295 134512640 134716908 3221224560 3221220564 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8569 7349 1111 63 0 8506 0
vsize: 34276
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 9255 0 0 0 35983 26 0 0 25 0 1 0 906747856 35328000 7405 4294967295 134512640 134716908 3221224560 3221220736 1074960765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8625 7405 1111 63 0 8562 0
vsize: 34500
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 11999 0 0 0 36976 33 0 0 25 0 1 0 906747856 28254208 6111 4294967295 134512640 134716908 3221224560 3221222960 134649143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6898 6111 1111 63 0 6835 0
vsize: 27592
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 12369 0 0 0 37974 35 0 0 25 0 1 0 906747856 28254208 6111 4294967295 134512640 134716908 3221224560 3221223008 1074032775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6898 6111 1111 63 0 6835 0
vsize: 27592
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 12805 0 0 0 38972 38 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222716 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 13175 0 0 0 39970 40 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222992 134649067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 13545 0 0 0 40968 42 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 13915 0 0 0 41966 45 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222964 134646825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 14289 0 0 0 42963 48 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222956 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 14661 0 0 0 43961 51 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 15031 0 0 0 44958 54 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222912 134606915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 15399 0 0 0 45955 57 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 15767 0 0 0 46953 60 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 16135 0 0 0 47950 63 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222976 134646525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 16505 0 0 0 48948 66 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221223052 134654481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 16877 0 0 0 49945 69 0 0 25 0 1 0 906747856 28786688 6171 4294967295 134512640 134716908 3221224560 3221222484 1074786479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7028 6171 1111 63 0 6965 0
vsize: 28112
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 17247 0 0 0 50943 71 0 0 25 0 1 0 906747856 28475392 6169 4294967295 134512640 134716908 3221224560 3221222976 134646788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6169 1111 63 0 6889 0
vsize: 27808
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 17683 0 0 0 51941 73 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 18053 0 0 0 52939 76 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222936 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 18419 0 0 0 53937 79 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 18785 0 0 0 54935 81 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222976 134646569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 19151 0 0 0 55932 84 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222976 134646694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 19517 0 0 0 56930 86 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222992 134649069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 19885 0 0 0 57927 90 0 0 25 0 1 0 906747856 29048832 6235 4294967295 134512640 134716908 3221224560 3221222604 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7092 6235 1111 63 0 7029 0
vsize: 28368
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 20253 0 0 0 58924 93 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222960 134646713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 20621 0 0 0 59922 95 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222768 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 20989 0 0 0 60919 98 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222892 134554929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 21363 0 0 0 61917 101 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222716 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 21731 0 0 0 62915 103 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222892 134555025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 22103 0 0 0 63912 106 0 0 25 0 1 0 906747856 28737536 6233 4294967295 134512640 134716908 3221224560 3221222960 134646711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 6233 1111 63 0 6953 0
vsize: 28064
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 24865 0 0 0 64905 114 0 0 25 0 1 0 906747856 36458496 7333 4294967295 134512640 134716908 3221224560 3221220692 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8901 7333 1111 63 0 8838 0
vsize: 35604
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 65899 120 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 66899 121 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222904 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 67899 121 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222952 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 68899 121 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222460 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 69899 122 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222616 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 70899 122 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222976 134646800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 71899 122 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 72899 123 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 73899 123 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222484 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 74899 123 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222976 134646558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 75899 124 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222868 134557790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 76899 124 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222784 1075006807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 77899 124 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222908 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 78899 125 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222956 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 79900 125 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222960 134646626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27153 0 0 0 80900 125 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222952 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27443 0 0 0 81898 127 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222768 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 27801 0 0 0 82897 128 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222992 134649014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 28159 0 0 0 83894 132 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222972 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 28517 0 0 0 84892 134 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221223032 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 28877 0 0 0 85889 137 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222944 1074031958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 29235 0 0 0 86887 140 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222960 134649143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 29597 0 0 0 87885 142 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 29955 0 0 0 88883 145 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221223032 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 30315 0 0 0 89881 147 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 30675 0 0 0 90879 150 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 31035 0 0 0 91876 152 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222944 1074031949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 31393 0 0 0 92874 155 0 0 25 0 1 0 906747856 29155328 6323 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7118 6323 1111 63 0 7055 0
vsize: 28472
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 33567 0 0 0 93869 161 0 0 25 0 1 0 906747856 39145472 7153 4294967295 134512640 134716908 3221224560 3221220684 1075116784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9557 7153 1111 63 0 9494 0
vsize: 38228
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 94862 168 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 95862 168 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222716 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 96862 168 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222768 1074039267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 97862 168 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222784 1074039475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 98863 169 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222952 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 99862 169 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222608 1074790292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 100862 170 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222976 134646788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 101862 170 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 102862 171 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222976 134646346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 103862 171 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222484 1074786513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 104861 172 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222936 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 105862 172 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222616 1074950124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 106861 173 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222936 134543154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 107862 173 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222952 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 108862 173 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222944 134646663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 109861 174 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222936 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 110861 174 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222948 134646662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 111862 174 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 112862 175 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 113862 175 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222928 134606864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 114862 175 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222880 1073989433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 115862 175 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222484 1074786584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5006
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 116862 176 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222616 1074950131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1180.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5059
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 117862 176 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222900 134554892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1190.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5059
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 118863 176 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
[startup+1200.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5059
Raw data (stat): 5006 (bsolo_lpr_cuts-) R 5005 25568 25567 0 -1 0 36647 0 0 0 119863 176 0 0 25 0 1 0 906747856 29532160 6415 4294967295 134512640 134716908 3221224560 3221222928 134606864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6415 1111 63 0 7147 0
vsize: 28840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.05 0.99 0.91 1/54 5059
Raw data (stat): 5006 (bsolo_lpr_cuts-) Z 5005 25568 25567 0 -1 1036 36647 0 0 0 119863 177 0 0 25 0 1 0 906747856 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.41
CPU user time (s): 1198.63
CPU system time (s): 1.77973
CPU usage (%): 100.031
Max. virtual memory (Kb): 38228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####