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.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM	7731f50c352d2fd7b2fe148b68bfdbab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41605
Number of constraints which are clauses	41605
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24773

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 20:00:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2936 boxname=wulflinc31 idbench=327 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  7731f50c352d2fd7b2fe148b68bfdbab  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-4.opb
IDLAUNCH: 2936
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        882680 kB
Buffers:         35268 kB
Cached:          95056 kB
SwapCached:       1936 kB
Active:          98448 kB
Inactive:        35048 kB
HighTotal:      131008 kB
HighFree:        35168 kB
LowTotal:       903652 kB
LowFree:        847512 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12884 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 20:20:21 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 2936 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41605 constraints.
c After prepocess the problem consists of 760 variables and 28351 constraints.
c preprocess terminated 241.891 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.99 0.95 2/55 11764
Raw data (stat): 11764 (runsolver) R 11763 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 729239471 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11764
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 14021 0 0 0 957 38 0 0 25 0 1 0 729239471 53645312 12266 4294967295 134512640 134714508 3221221776 3221220480 134618199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13097 12266 1111 63 0 13034 0
vsize: 52388
[startup+20.0009 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11764
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 14769 0 0 0 1956 39 0 0 25 0 1 0 729239471 53747712 12291 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13122 12291 1111 63 0 13059 0
vsize: 52488
[startup+30.0014 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11764
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 15054 0 0 0 2956 40 0 0 25 0 1 0 729239471 53747712 12291 4294967295 134512640 134714508 3221221776 3221220196 134542664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13122 12291 1111 63 0 13059 0
vsize: 52488
[startup+40.0013 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11764
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 15822 0 0 0 3954 41 0 0 25 0 1 0 729239471 54321152 12431 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+50.0026 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11764
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 15822 0 0 0 4955 41 0 0 25 0 1 0 729239471 54321152 12431 4294967295 134512640 134714508 3221221776 3221220168 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+60.0022 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11764
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 15822 0 0 0 5955 41 0 0 25 0 1 0 729239471 54321152 12431 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+70.0021 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 15822 0 0 0 6955 41 0 0 25 0 1 0 729239471 54321152 12431 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+80.0034 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 15822 0 0 0 7955 41 0 0 25 0 1 0 729239471 54321152 12431 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+90.0033 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 15822 0 0 0 8955 42 0 0 25 0 1 0 729239471 54321152 12431 4294967295 134512640 134714508 3221221776 3221220140 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 15822 0 0 0 9955 42 0 0 25 0 1 0 729239471 54321152 12431 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13262 12431 1111 63 0 13199 0
vsize: 53048
[startup+110.005 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 15855 0 0 0 10956 42 0 0 25 0 1 0 729239471 54423552 12456 4294967295 134512640 134714508 3221221776 3221220304 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13287 12456 1111 63 0 13224 0
vsize: 53148
[startup+120.005 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16111 0 0 0 11955 42 0 0 25 0 1 0 729239471 55341056 12654 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13511 12654 1111 63 0 13448 0
vsize: 54044
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16111 0 0 0 12955 42 0 0 25 0 1 0 729239471 55341056 12654 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13511 12654 1111 63 0 13448 0
vsize: 54044
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16111 0 0 0 13955 42 0 0 25 0 1 0 729239471 55341056 12654 4294967295 134512640 134714508 3221221776 3221220160 134542312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13511 12654 1111 63 0 13448 0
vsize: 54044
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16220 0 0 0 14955 43 0 0 25 0 1 0 729239471 55410688 12697 4294967295 134512640 134714508 3221221776 3221220160 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12697 1111 63 0 13465 0
vsize: 54112
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16563 0 0 0 15955 43 0 0 25 0 1 0 729239471 55959552 12831 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+170.006 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16563 0 0 0 16955 43 0 0 25 0 1 0 729239471 55959552 12831 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16563 0 0 0 17955 43 0 0 25 0 1 0 729239471 55959552 12831 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+190.006 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16563 0 0 0 18955 43 0 0 25 0 1 0 729239471 55959552 12831 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16563 0 0 0 19956 43 0 0 25 0 1 0 729239471 55959552 12831 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13662 12831 1111 63 0 13599 0
vsize: 54648
[startup+210.006 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16608 0 0 0 20956 43 0 0 25 0 1 0 729239471 56229888 12876 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13728 12876 1111 63 0 13665 0
vsize: 54912
[startup+220.006 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 16658 0 0 0 21955 44 0 0 25 0 1 0 729239471 56369152 12926 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13762 12926 1111 63 0 13699 0
vsize: 55048
[startup+230.007 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17039 0 0 0 22955 44 0 0 25 0 1 0 729239471 58032128 13307 4294967295 134512640 134714508 3221221776 3221220632 134622385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14168 13307 1111 63 0 14105 0
vsize: 56672
[startup+240.007 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17068 0 0 0 23955 44 0 0 25 0 1 0 729239471 58032128 13336 4294967295 134512640 134714508 3221221776 3221220632 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14168 13336 1111 63 0 14105 0
vsize: 56672
[startup+250.007 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17616 0 0 0 24952 47 0 0 25 0 1 0 729239471 60502016 13851 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14771 13851 1111 63 0 14708 0
vsize: 59084
[startup+260.008 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17673 0 0 0 25951 48 0 0 25 0 1 0 729239471 60690432 13908 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14817 13908 1111 63 0 14754 0
vsize: 59268
[startup+270.008 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17748 0 0 0 26950 49 0 0 25 0 1 0 729239471 60968960 13983 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14885 13983 1111 63 0 14822 0
vsize: 59540
[startup+280.008 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17778 0 0 0 27949 51 0 0 25 0 1 0 729239471 61083648 14013 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14913 14013 1111 63 0 14850 0
vsize: 59652
[startup+290.009 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17816 0 0 0 28948 52 0 0 25 0 1 0 729239471 61206528 14051 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14943 14051 1111 63 0 14880 0
vsize: 59772
[startup+300.01 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17841 0 0 0 29947 53 0 0 25 0 1 0 729239471 61300736 14076 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14966 14076 1111 63 0 14903 0
vsize: 59864
[startup+310.01 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17862 0 0 0 30947 53 0 0 25 0 1 0 729239471 61382656 14097 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14986 14097 1111 63 0 14923 0
vsize: 59944
[startup+320.01 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 17991 0 0 0 31946 55 0 0 25 0 1 0 729239471 61878272 14226 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15107 14226 1111 63 0 15044 0
vsize: 60428
[startup+330.01 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 18010 0 0 0 32945 56 0 0 25 0 1 0 729239471 61952000 14245 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15125 14245 1111 63 0 15062 0
vsize: 60500
[startup+340.011 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11766
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 18029 0 0 0 33944 56 0 0 25 0 1 0 729239471 62025728 14264 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15143 14264 1111 63 0 15080 0
vsize: 60572
[startup+350.012 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 18078 0 0 0 34943 57 0 0 25 0 1 0 729239471 62181376 14276 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15181 14276 1111 63 0 15118 0
vsize: 60724
[startup+360.012 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 18097 0 0 0 35943 58 0 0 25 0 1 0 729239471 62255104 14295 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15199 14295 1111 63 0 15136 0
vsize: 60796
[startup+370.012 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 18115 0 0 0 36942 59 0 0 25 0 1 0 729239471 62324736 14313 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15216 14313 1111 63 0 15153 0
vsize: 60864
[startup+380.012 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 18131 0 0 0 37942 59 0 0 25 0 1 0 729239471 62386176 14329 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15231 14329 1111 63 0 15168 0
vsize: 60924
[startup+390.012 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 18146 0 0 0 38942 60 0 0 25 0 1 0 729239471 62447616 14344 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15246 14344 1111 63 0 15183 0
vsize: 60984
[startup+400.013 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 18268 0 0 0 39941 61 0 0 25 0 1 0 729239471 62922752 14466 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15362 14466 1111 63 0 15299 0
vsize: 61448
[startup+410.013 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 18286 0 0 0 40940 62 0 0 25 0 1 0 729239471 62992384 14484 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15379 14484 1111 63 0 15316 0
vsize: 61516
[startup+420.013 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 23375 0 0 0 41929 73 0 0 25 0 1 0 729239471 84488192 17773 4294967295 134512640 134714508 3221221776 3221217840 1074969685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20627 17773 1111 63 0 20564 0
vsize: 82508
[startup+430.014 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24266 0 0 0 42927 75 0 0 25 0 1 0 729239471 84488192 18662 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20627 18662 1111 63 0 20564 0
vsize: 82508
[startup+440.014 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24515 0 0 0 43926 76 0 0 25 0 1 0 729239471 82395136 18107 4294967295 134512640 134714508 3221221776 3221217656 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20116 18107 1111 63 0 20053 0
vsize: 80464
[startup+450.015 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24534 0 0 0 44926 76 0 0 25 0 1 0 729239471 82395136 18124 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20116 18124 1111 63 0 20053 0
vsize: 80464
[startup+460.015 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24575 0 0 0 45926 77 0 0 25 0 1 0 729239471 82395136 18161 4294967295 134512640 134714508 3221221776 3221217840 1074969449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20116 18161 1111 63 0 20053 0
vsize: 80464
[startup+470.015 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24584 0 0 0 46926 77 0 0 25 0 1 0 729239471 82395136 18168 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20116 18168 1111 63 0 20053 0
vsize: 80464
[startup+480.015 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24664 0 0 0 47926 77 0 0 25 0 1 0 729239471 82808832 18246 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20217 18246 1111 63 0 20154 0
vsize: 80868
[startup+490.015 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24681 0 0 0 48926 77 0 0 25 0 1 0 729239471 82808832 18261 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20217 18261 1111 63 0 20154 0
vsize: 80868
[startup+500.017 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24695 0 0 0 49926 77 0 0 25 0 1 0 729239471 82808832 18273 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20217 18273 1111 63 0 20154 0
vsize: 80868
[startup+510.016 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24776 0 0 0 50926 77 0 0 25 0 1 0 729239471 83247104 18352 4294967295 134512640 134714508 3221221776 3221217796 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20324 18352 1111 63 0 20261 0
vsize: 81296
[startup+520.016 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24798 0 0 0 51927 77 0 0 25 0 1 0 729239471 83247104 18370 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20324 18370 1111 63 0 20261 0
vsize: 81296
[startup+530.017 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24809 0 0 0 52927 77 0 0 25 0 1 0 729239471 83247104 18381 4294967295 134512640 134714508 3221221776 3221217904 1074815281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20324 18381 1111 63 0 20261 0
vsize: 81296
[startup+540.017 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24884 0 0 0 53927 78 0 0 25 0 1 0 729239471 83705856 18452 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20436 18452 1111 63 0 20373 0
vsize: 81744
[startup+550.017 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24895 0 0 0 54927 78 0 0 25 0 1 0 729239471 83705856 18461 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20436 18461 1111 63 0 20373 0
vsize: 81744
[startup+560.018 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24954 0 0 0 55927 78 0 0 25 0 1 0 729239471 84197376 18518 4294967295 134512640 134714508 3221221776 3221217856 1075093367 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18518 1111 63 0 20493 0
vsize: 82224
[startup+570.018 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 24988 0 0 0 56927 78 0 0 25 0 1 0 729239471 84197376 18550 4294967295 134512640 134714508 3221221776 3221217840 1074969469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18550 1111 63 0 20493 0
vsize: 82224
[startup+580.018 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25003 0 0 0 57927 78 0 0 25 0 1 0 729239471 84197376 18563 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18563 1111 63 0 20493 0
vsize: 82224
[startup+590.018 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25011 0 0 0 58927 78 0 0 25 0 1 0 729239471 84197376 18567 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18567 1111 63 0 20493 0
vsize: 82224
[startup+600.019 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25021 0 0 0 59927 78 0 0 25 0 1 0 729239471 84197376 18575 4294967295 134512640 134714508 3221221776 3221217788 1075663522 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18575 1111 63 0 20493 0
vsize: 82224
[startup+610.019 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25029 0 0 0 60927 78 0 0 25 0 1 0 729239471 84197376 18581 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18581 1111 63 0 20493 0
vsize: 82224
[startup+620.019 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25037 0 0 0 61927 78 0 0 25 0 1 0 729239471 84197376 18585 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18585 1111 63 0 20493 0
vsize: 82224
[startup+630.019 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25040 0 0 0 62928 78 0 0 25 0 1 0 729239471 84197376 18586 4294967295 134512640 134714508 3221221776 3221217656 1075964733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18586 1111 63 0 20493 0
vsize: 82224
[startup+640.02 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25068 0 0 0 63928 78 0 0 25 0 1 0 729239471 84197376 18610 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18610 1111 63 0 20493 0
vsize: 82224
[startup+650.021 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25081 0 0 0 64928 79 0 0 25 0 1 0 729239471 84197376 18619 4294967295 134512640 134714508 3221221776 3221217856 1075095169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18619 1111 63 0 20493 0
vsize: 82224
[startup+660.02 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25087 0 0 0 65928 79 0 0 25 0 1 0 729239471 84197376 18623 4294967295 134512640 134714508 3221221776 3221217924 1075115014 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18623 1111 63 0 20493 0
vsize: 82224
[startup+670.02 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25091 0 0 0 66928 79 0 0 25 0 1 0 729239471 84197376 18623 4294967295 134512640 134714508 3221221776 3221217904 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18623 1111 63 0 20493 0
vsize: 82224
[startup+680.02 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25098 0 0 0 67928 79 0 0 25 0 1 0 729239471 84426752 18628 4294967295 134512640 134714508 3221221776 3221218768 1074867347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20612 18628 1111 63 0 20549 0
vsize: 82448
[startup+690.02 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25100 0 0 0 68928 79 0 0 25 0 1 0 729239471 84197376 18626 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18626 1111 63 0 20493 0
vsize: 82224
[startup+700.021 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25105 0 0 0 69928 79 0 0 25 0 1 0 729239471 84197376 18627 4294967295 134512640 134714508 3221221776 3221217840 1074969474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18627 1111 63 0 20493 0
vsize: 82224
[startup+710.021 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25110 0 0 0 70929 79 0 0 25 0 1 0 729239471 84197376 18630 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20556 18630 1111 63 0 20493 0
vsize: 82224
[startup+720.021 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25202 0 0 0 71928 79 0 0 25 0 1 0 729239471 84705280 18718 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18718 1111 63 0 20617 0
vsize: 82720
[startup+730.021 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25210 0 0 0 72928 80 0 0 25 0 1 0 729239471 84705280 18724 4294967295 134512640 134714508 3221221776 3221217656 1075964720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18724 1111 63 0 20617 0
vsize: 82720
[startup+740.021 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25214 0 0 0 73928 80 0 0 25 0 1 0 729239471 84705280 18724 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18724 1111 63 0 20617 0
vsize: 82720
[startup+750.022 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25216 0 0 0 74928 80 0 0 25 0 1 0 729239471 84705280 18724 4294967295 134512640 134714508 3221221776 3221217904 1074815328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18724 1111 63 0 20617 0
vsize: 82720
[startup+760.022 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25220 0 0 0 75928 80 0 0 25 0 1 0 729239471 84705280 18724 4294967295 134512640 134714508 3221221776 3221217688 1075964733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18724 1111 63 0 20617 0
vsize: 82720
[startup+770.022 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25226 0 0 0 76929 80 0 0 25 0 1 0 729239471 84705280 18728 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+780.023 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25230 0 0 0 77929 80 0 0 25 0 1 0 729239471 84705280 18728 4294967295 134512640 134714508 3221221776 3221217856 1075094860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+790.022 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25232 0 0 0 78929 80 0 0 25 0 1 0 729239471 84705280 18728 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+800.023 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25236 0 0 0 79929 80 0 0 25 0 1 0 729239471 84705280 18728 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+810.023 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25238 0 0 0 80929 80 0 0 25 0 1 0 729239471 84705280 18728 4294967295 134512640 134714508 3221221776 3221217824 1075112103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+820.024 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25242 0 0 0 81929 80 0 0 25 0 1 0 729239471 84705280 18728 4294967295 134512640 134714508 3221221776 3221217856 1074883509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20680 18728 1111 63 0 20617 0
vsize: 82720
[startup+830.024 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25317 0 0 0 82929 80 0 0 25 0 1 0 729239471 85233664 18801 4294967295 134512640 134714508 3221221776 3221217968 1074960822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20809 18801 1111 63 0 20746 0
vsize: 83236
[startup+840.025 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25509 0 0 0 83929 81 0 0 25 0 1 0 729239471 86380544 18987 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21089 18987 1111 63 0 21026 0
vsize: 84356
[startup+850.026 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25542 0 0 0 84929 81 0 0 25 0 1 0 729239471 86380544 19018 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21089 19018 1111 63 0 21026 0
vsize: 84356
[startup+860.026 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25551 0 0 0 85929 81 0 0 25 0 1 0 729239471 86380544 19023 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21089 19023 1111 63 0 21026 0
vsize: 84356
[startup+870.026 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25554 0 0 0 86929 81 0 0 25 0 1 0 729239471 86380544 19024 4294967295 134512640 134714508 3221221776 3221217936 1075115758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21089 19024 1111 63 0 21026 0
vsize: 84356
[startup+880.027 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25556 0 0 0 87929 81 0 0 25 0 1 0 729239471 86380544 19024 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21089 19024 1111 63 0 21026 0
vsize: 84356
[startup+890.027 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25574 0 0 0 88929 81 0 0 25 0 1 0 729239471 86609920 19040 4294967295 134512640 134714508 3221221776 3221218464 1076084143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21145 19040 1111 63 0 21082 0
vsize: 84580
[startup+900.028 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25648 0 0 0 89929 82 0 0 25 0 1 0 729239471 86999040 19110 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21240 19110 1111 63 0 21177 0
vsize: 84960
[startup+910.029 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25800 0 0 0 90929 82 0 0 25 0 1 0 729239471 87642112 19260 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19260 1111 63 0 21334 0
vsize: 85588
[startup+920.029 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25824 0 0 0 91929 82 0 0 25 0 1 0 729239471 87642112 19282 4294967295 134512640 134714508 3221221776 3221217632 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19282 1111 63 0 21334 0
vsize: 85588
[startup+930.029 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25838 0 0 0 92929 82 0 0 25 0 1 0 729239471 87642112 19292 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19292 1111 63 0 21334 0
vsize: 85588
[startup+940.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25841 0 0 0 93929 82 0 0 25 0 1 0 729239471 87642112 19293 4294967295 134512640 134714508 3221221776 3221218028 1076111465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19293 1111 63 0 21334 0
vsize: 85588
[startup+950.031 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25847 0 0 0 94930 82 0 0 25 0 1 0 729239471 87642112 19297 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19297 1111 63 0 21334 0
vsize: 85588
[startup+960.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25850 0 0 0 95930 82 0 0 25 0 1 0 729239471 87642112 19298 4294967295 134512640 134714508 3221221776 3221217856 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19298 1111 63 0 21334 0
vsize: 85588
[startup+970.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25856 0 0 0 96930 82 0 0 25 0 1 0 729239471 87642112 19300 4294967295 134512640 134714508 3221221776 3221217632 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19300 1111 63 0 21334 0
vsize: 85588
[startup+980.032 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25861 0 0 0 97930 83 0 0 25 0 1 0 729239471 87642112 19303 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19303 1111 63 0 21334 0
vsize: 85588
[startup+990.031 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25877 0 0 0 98930 83 0 0 25 0 1 0 729239471 87642112 19317 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19317 1111 63 0 21334 0
vsize: 85588
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25880 0 0 0 99930 83 0 0 25 0 1 0 729239471 87642112 19318 4294967295 134512640 134714508 3221221776 3221217936 1075115752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19318 1111 63 0 21334 0
vsize: 85588
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25888 0 0 0 100930 83 0 0 25 0 1 0 729239471 87642112 19322 4294967295 134512640 134714508 3221221776 3221217580 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19322 1111 63 0 21334 0
vsize: 85588
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 25891 0 0 0 101930 83 0 0 25 0 1 0 729239471 87642112 19323 4294967295 134512640 134714508 3221221776 3221217708 1074788921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21397 19323 1111 63 0 21334 0
vsize: 85588
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26016 0 0 0 102930 83 0 0 25 0 1 0 729239471 88326144 19446 4294967295 134512640 134714508 3221221776 3221217944 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19446 1111 63 0 21501 0
vsize: 86256
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26036 0 0 0 103930 83 0 0 25 0 1 0 729239471 88326144 19464 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19464 1111 63 0 21501 0
vsize: 86256
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26056 0 0 0 104930 83 0 0 25 0 1 0 729239471 88326144 19480 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19480 1111 63 0 21501 0
vsize: 86256
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26058 0 0 0 105930 84 0 0 25 0 1 0 729239471 88326144 19480 4294967295 134512640 134714508 3221221776 3221217664 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19480 1111 63 0 21501 0
vsize: 86256
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26060 0 0 0 106930 84 0 0 25 0 1 0 729239471 88326144 19480 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19480 1111 63 0 21501 0
vsize: 86256
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26063 0 0 0 107931 84 0 0 25 0 1 0 729239471 88326144 19481 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19481 1111 63 0 21501 0
vsize: 86256
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26075 0 0 0 108931 84 0 0 25 0 1 0 729239471 88326144 19489 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19489 1111 63 0 21501 0
vsize: 86256
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26089 0 0 0 109931 84 0 0 25 0 1 0 729239471 88326144 19501 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19501 1111 63 0 21501 0
vsize: 86256
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26093 0 0 0 110931 84 0 0 25 0 1 0 729239471 88326144 19503 4294967295 134512640 134714508 3221221776 3221217604 1074786571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19503 1111 63 0 21501 0
vsize: 86256
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26096 0 0 0 111931 84 0 0 25 0 1 0 729239471 88326144 19504 4294967295 134512640 134714508 3221221776 3221217936 1075115726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19504 1111 63 0 21501 0
vsize: 86256
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26114 0 0 0 112931 84 0 0 25 0 1 0 729239471 88326144 19520 4294967295 134512640 134714508 3221221776 3221218028 1076111473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19520 1111 63 0 21501 0
vsize: 86256
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26119 0 0 0 113932 84 0 0 25 0 1 0 729239471 88326144 19521 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19521 1111 63 0 21501 0
vsize: 86256
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26121 0 0 0 114932 84 0 0 25 0 1 0 729239471 88326144 19521 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19521 1111 63 0 21501 0
vsize: 86256
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26123 0 0 0 115932 84 0 0 25 0 1 0 729239471 88326144 19521 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19521 1111 63 0 21501 0
vsize: 86256
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26126 0 0 0 116932 84 0 0 25 0 1 0 729239471 88326144 19522 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19522 1111 63 0 21501 0
vsize: 86256
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26128 0 0 0 117932 84 0 0 25 0 1 0 729239471 88326144 19522 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19522 1111 63 0 21501 0
vsize: 86256
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26132 0 0 0 118932 84 0 0 25 0 1 0 729239471 88326144 19522 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19522 1111 63 0 21501 0
vsize: 86256
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) R 11763 7876 7672 0 -1 0 26134 0 0 0 119932 84 0 0 25 0 1 0 729239471 88326144 19522 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21564 19522 1111 63 0 21501 0
vsize: 86256
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.99 0.95 1/55 11768
Raw data (stat): 11764 (bsolo_lpr_cuts) Z 11763 7876 7672 0 -1 1036 26134 0 0 0 119933 88 0 0 25 0 1 0 729239471 0 0 4294967295 0 0 0 0 0 0 0 1 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.08
CPU time (s): 1200.21
CPU user time (s): 1199.33
CPU system time (s): 0.883865
CPU usage (%): 100.011
Max. virtual memory (Kb): 86256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####