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 40875

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 23:58:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28941 boxname=wulflinc1 idbench=327 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  7731f50c352d2fd7b2fe148b68bfdbab  /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-4.opb
IDLAUNCH: 28941
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        916200 kB
Buffers:          3560 kB
Cached:          91092 kB
SwapCached:       1024 kB
Active:          24748 kB
Inactive:        71928 kB
HighTotal:      131008 kB
HighFree:        36708 kB
LowTotal:       903652 kB
LowFree:        879492 kB
SwapTotal:     2097136 kB
SwapFree:      2094796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            16020 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:18:56 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 28941 7 1200.22 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 28389 constraints.
c preprocess terminated 238.213 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.95 0.90 2/55 28130
Raw data (stat): 28130 (runsolver) R 28129 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848921748 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 28130
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 13010 0 0 0 964 33 0 0 25 0 1 0 848921748 53903360 12328 4294967295 134512640 134716908 3221224576 3221223092 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13160 12328 1111 63 0 13097 0
vsize: 52640
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 28130
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 13503 0 0 0 1963 34 0 0 25 0 1 0 848921748 53903360 12328 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13160 12328 1111 63 0 13097 0
vsize: 52640
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28130
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 13727 0 0 0 2963 35 0 0 25 0 1 0 848921748 53903360 12328 4294967295 134512640 134716908 3221224576 3221223164 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13160 12328 1111 63 0 13097 0
vsize: 52640
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28130
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14462 0 0 0 3961 36 0 0 25 0 1 0 848921748 54341632 12435 4294967295 134512640 134716908 3221224576 3221223088 134542865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13267 12435 1111 63 0 13204 0
vsize: 53068
[startup+50.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 28130
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14462 0 0 0 4961 36 0 0 25 0 1 0 848921748 54341632 12435 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13267 12435 1111 63 0 13204 0
vsize: 53068
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 28130
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14462 0 0 0 5961 36 0 0 25 0 1 0 848921748 54341632 12435 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13267 12435 1111 63 0 13204 0
vsize: 53068
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/57 28169
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14462 0 0 0 6962 36 0 0 25 0 1 0 848921748 54341632 12435 4294967295 134512640 134716908 3221224576 3221223304 134675279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13267 12435 1111 63 0 13204 0
vsize: 53068
[startup+80.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28183
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14462 0 0 0 7962 36 0 0 25 0 1 0 848921748 54341632 12435 4294967295 134512640 134716908 3221224576 3221223156 134524123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13267 12435 1111 63 0 13204 0
vsize: 53068
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28183
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14462 0 0 0 8962 36 0 0 25 0 1 0 848921748 54341632 12435 4294967295 134512640 134716908 3221224576 3221223152 1076648065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13267 12435 1111 63 0 13204 0
vsize: 53068
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28183
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14462 0 0 0 9962 36 0 0 25 0 1 0 848921748 54341632 12435 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13267 12435 1111 63 0 13204 0
vsize: 53068
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28183
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14672 0 0 0 10962 37 0 0 25 0 1 0 848921748 54931456 12579 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13411 12579 1111 63 0 13348 0
vsize: 53644
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28183
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14745 0 0 0 11962 37 0 0 25 0 1 0 848921748 54931456 12579 4294967295 134512640 134716908 3221224576 3221222968 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13411 12579 1111 63 0 13348 0
vsize: 53644
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28185
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14782 0 0 0 12961 38 0 0 25 0 1 0 848921748 55201792 12616 4294967295 134512640 134716908 3221224576 3221223192 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13477 12616 1111 63 0 13414 0
vsize: 53908
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 14789 0 0 0 13961 38 0 0 25 0 1 0 848921748 55201792 12623 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13477 12623 1111 63 0 13414 0
vsize: 53908
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 15003 0 0 0 14961 39 0 0 25 0 1 0 848921748 55816192 12772 4294967295 134512640 134716908 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13627 12772 1111 63 0 13564 0
vsize: 54508
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 15138 0 0 0 15960 39 0 0 25 0 1 0 848921748 55853056 12804 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13636 12804 1111 63 0 13573 0
vsize: 54544
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 15138 0 0 0 16960 39 0 0 25 0 1 0 848921748 55853056 12804 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13636 12804 1111 63 0 13573 0
vsize: 54544
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 15138 0 0 0 17961 39 0 0 25 0 1 0 848921748 55853056 12804 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13636 12804 1111 63 0 13573 0
vsize: 54544
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 15138 0 0 0 18961 39 0 0 25 0 1 0 848921748 55853056 12804 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13636 12804 1111 63 0 13573 0
vsize: 54544
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 15177 0 0 0 19961 39 0 0 25 0 1 0 848921748 56123392 12843 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13702 12843 1111 63 0 13639 0
vsize: 54808
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 15233 0 0 0 20961 39 0 0 25 0 1 0 848921748 56262656 12899 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13736 12899 1111 63 0 13673 0
vsize: 54944
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 15284 0 0 0 21961 40 0 0 25 0 1 0 848921748 56532992 12950 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13802 12950 1111 63 0 13739 0
vsize: 55208
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 15655 0 0 0 22960 40 0 0 25 0 1 0 848921748 58060800 13321 4294967295 134512640 134716908 3221224576 3221223352 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14175 13321 1111 63 0 14112 0
vsize: 56700
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16066 0 0 0 23959 42 0 0 25 0 1 0 848921748 59912192 13732 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14627 13732 1111 63 0 14564 0
vsize: 58508
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16248 0 0 0 24956 44 0 0 25 0 1 0 848921748 60542976 13884 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14781 13884 1111 63 0 14718 0
vsize: 59124
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16321 0 0 0 25954 46 0 0 25 0 1 0 848921748 60928000 13957 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14875 13957 1111 63 0 14812 0
vsize: 59500
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16420 0 0 0 26953 47 0 0 25 0 1 0 848921748 61194240 14056 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14940 14056 1111 63 0 14877 0
vsize: 59760
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16448 0 0 0 27952 48 0 0 25 0 1 0 848921748 61304832 14084 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14967 14084 1111 63 0 14904 0
vsize: 59868
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16480 0 0 0 28951 49 0 0 25 0 1 0 848921748 61411328 14112 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14993 14112 1111 63 0 14930 0
vsize: 59972
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16502 0 0 0 29951 50 0 0 25 0 1 0 848921748 61497344 14134 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15014 14134 1111 63 0 14951 0
vsize: 60056
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16624 0 0 0 30950 51 0 0 25 0 1 0 848921748 61992960 14256 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15135 14256 1111 63 0 15072 0
vsize: 60540
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16643 0 0 0 31950 51 0 0 25 0 1 0 848921748 62066688 14275 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15153 14275 1111 63 0 15090 0
vsize: 60612
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16662 0 0 0 32950 52 0 0 25 0 1 0 848921748 62140416 14294 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15171 14294 1111 63 0 15108 0
vsize: 60684
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16681 0 0 0 33950 52 0 0 25 0 1 0 848921748 62214144 14313 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15189 14313 1111 63 0 15126 0
vsize: 60756
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16726 0 0 0 34949 53 0 0 25 0 1 0 848921748 62394368 14358 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15233 14358 1111 63 0 15170 0
vsize: 60932
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16743 0 0 0 35949 53 0 0 25 0 1 0 848921748 62459904 14375 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15249 14375 1111 63 0 15186 0
vsize: 60996
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16762 0 0 0 36948 54 0 0 25 0 1 0 848921748 62533632 14394 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15267 14394 1111 63 0 15204 0
vsize: 61068
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16778 0 0 0 37948 54 0 0 25 0 1 0 848921748 62595072 14410 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15282 14410 1111 63 0 15219 0
vsize: 61128
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28187
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16794 0 0 0 38948 55 0 0 25 0 1 0 848921748 62656512 14426 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15297 14426 1111 63 0 15234 0
vsize: 61188
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 16846 0 0 0 39947 56 0 0 25 0 1 0 848921748 62865408 14478 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15348 14478 1111 63 0 15285 0
vsize: 61392
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 21905 0 0 0 40936 66 0 0 25 0 1 0 848921748 84357120 17662 4294967295 134512640 134716908 3221224576 3221220624 1074950918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20595 17662 1111 63 0 20532 0
vsize: 82380
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 22003 0 0 0 41936 67 0 0 25 0 1 0 848921748 84357120 17760 4294967295 134512640 134716908 3221224576 3221220624 1074969440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20595 17760 1111 63 0 20532 0
vsize: 82380
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 23078 0 0 0 42934 69 0 0 25 0 1 0 848921748 82259968 18034 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20083 18034 1111 63 0 20020 0
vsize: 80332
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 23107 0 0 0 43934 70 0 0 25 0 1 0 848921748 82259968 18061 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20083 18061 1111 63 0 20020 0
vsize: 80332
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 23128 0 0 0 44934 70 0 0 25 0 1 0 848921748 82259968 18080 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20083 18080 1111 63 0 20020 0
vsize: 80332
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 23796 0 0 0 45933 71 0 0 25 0 1 0 848921748 86446080 18744 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21105 18744 1111 63 0 21042 0
vsize: 84420
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 23809 0 0 0 46933 71 0 0 25 0 1 0 848921748 86446080 18755 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21105 18755 1111 63 0 21042 0
vsize: 84420
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24138 0 0 0 47932 72 0 0 25 0 1 0 848921748 86446080 19082 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21105 19082 1111 63 0 21042 0
vsize: 84420
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24175 0 0 0 48932 72 0 0 25 0 1 0 848921748 82259968 18153 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20083 18153 1111 63 0 20020 0
vsize: 80332
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24191 0 0 0 49932 73 0 0 25 0 1 0 848921748 82259968 18167 4294967295 134512640 134716908 3221224576 3221220580 1075964282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20083 18167 1111 63 0 20020 0
vsize: 80332
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24261 0 0 0 50932 73 0 0 25 0 1 0 848921748 82681856 18235 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20186 18235 1111 63 0 20123 0
vsize: 80744
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24298 0 0 0 51932 73 0 0 25 0 1 0 848921748 82681856 18270 4294967295 134512640 134716908 3221224576 3221220440 1075964740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20186 18270 1111 63 0 20123 0
vsize: 80744
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24309 0 0 0 52932 73 0 0 25 0 1 0 848921748 82681856 18279 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20186 18279 1111 63 0 20123 0
vsize: 80744
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24355 0 0 0 53932 73 0 0 25 0 1 0 848921748 83124224 18323 4294967295 134512640 134716908 3221224576 3221220444 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18323 1111 63 0 20231 0
vsize: 81176
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24390 0 0 0 54932 73 0 0 25 0 1 0 848921748 83124224 18354 4294967295 134512640 134716908 3221224576 3221220624 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18354 1111 63 0 20231 0
vsize: 81176
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24411 0 0 0 55932 73 0 0 25 0 1 0 848921748 83124224 18373 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18373 1111 63 0 20231 0
vsize: 81176
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24414 0 0 0 56932 73 0 0 25 0 1 0 848921748 83124224 18374 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18374 1111 63 0 20231 0
vsize: 81176
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24436 0 0 0 57933 73 0 0 25 0 1 0 848921748 83124224 18394 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18394 1111 63 0 20231 0
vsize: 81176
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24444 0 0 0 58933 73 0 0 25 0 1 0 848921748 83124224 18400 4294967295 134512640 134716908 3221224576 3221221024 1075088560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18400 1111 63 0 20231 0
vsize: 81176
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24449 0 0 0 59933 73 0 0 25 0 1 0 848921748 83124224 18403 4294967295 134512640 134716908 3221224576 3221220720 1075115752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18403 1111 63 0 20231 0
vsize: 81176
[startup+610.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24461 0 0 0 60933 73 0 0 25 0 1 0 848921748 83124224 18413 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18413 1111 63 0 20231 0
vsize: 81176
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24464 0 0 0 61933 73 0 0 25 0 1 0 848921748 83124224 18414 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18414 1111 63 0 20231 0
vsize: 81176
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24474 0 0 0 62933 74 0 0 25 0 1 0 848921748 83124224 18422 4294967295 134512640 134716908 3221224576 3221220624 1074969467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20294 18422 1111 63 0 20231 0
vsize: 81176
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24559 0 0 0 63933 74 0 0 25 0 1 0 848921748 83582976 18505 4294967295 134512640 134716908 3221224576 3221220440 1075964778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 18505 1111 63 0 20343 0
vsize: 81624
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24588 0 0 0 64933 74 0 0 25 0 1 0 848921748 83582976 18530 4294967295 134512640 134716908 3221224576 3221220752 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 18530 1111 63 0 20343 0
vsize: 81624
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24594 0 0 0 65933 74 0 0 25 0 1 0 848921748 83582976 18534 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 18534 1111 63 0 20343 0
vsize: 81624
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24605 0 0 0 66934 74 0 0 25 0 1 0 848921748 83582976 18541 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 18541 1111 63 0 20343 0
vsize: 81624
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24672 0 0 0 67934 74 0 0 25 0 1 0 848921748 84062208 18606 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18606 1111 63 0 20460 0
vsize: 82092
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24710 0 0 0 68934 74 0 0 25 0 1 0 848921748 84062208 18642 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18642 1111 63 0 20460 0
vsize: 82092
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24730 0 0 0 69934 74 0 0 25 0 1 0 848921748 84062208 18658 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18658 1111 63 0 20460 0
vsize: 82092
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24732 0 0 0 70934 74 0 0 25 0 1 0 848921748 84062208 18658 4294967295 134512640 134716908 3221224576 3221220752 1074961155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18658 1111 63 0 20460 0
vsize: 82092
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24736 0 0 0 71934 74 0 0 25 0 1 0 848921748 84062208 18660 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18660 1111 63 0 20460 0
vsize: 82092
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24742 0 0 0 72934 74 0 0 25 0 1 0 848921748 84062208 18662 4294967295 134512640 134716908 3221224576 3221220816 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18662 1111 63 0 20460 0
vsize: 82092
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24746 0 0 0 73934 74 0 0 25 0 1 0 848921748 84062208 18664 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18664 1111 63 0 20460 0
vsize: 82092
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24750 0 0 0 74935 74 0 0 25 0 1 0 848921748 84062208 18664 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18664 1111 63 0 20460 0
vsize: 82092
[startup+760.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24754 0 0 0 75935 74 0 0 25 0 1 0 848921748 84062208 18666 4294967295 134512640 134716908 3221224576 3221220580 1075964282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18666 1111 63 0 20460 0
vsize: 82092
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24758 0 0 0 76935 74 0 0 25 0 1 0 848921748 84062208 18666 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20523 18666 1111 63 0 20460 0
vsize: 82092
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24827 0 0 0 77935 74 0 0 25 0 1 0 848921748 84570112 18733 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20647 18733 1111 63 0 20584 0
vsize: 82588
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24844 0 0 0 78935 74 0 0 25 0 1 0 848921748 84570112 18746 4294967295 134512640 134716908 3221224576 3221220472 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20647 18746 1111 63 0 20584 0
vsize: 82588
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24854 0 0 0 79935 75 0 0 25 0 1 0 848921748 84570112 18754 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20647 18754 1111 63 0 20584 0
vsize: 82588
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24858 0 0 0 80935 75 0 0 25 0 1 0 848921748 84570112 18754 4294967295 134512640 134716908 3221224576 3221220592 1075895656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20647 18754 1111 63 0 20584 0
vsize: 82588
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24935 0 0 0 81935 75 0 0 25 0 1 0 848921748 85106688 18829 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20778 18829 1111 63 0 20715 0
vsize: 83112
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24953 0 0 0 82935 75 0 0 25 0 1 0 848921748 85106688 18843 4294967295 134512640 134716908 3221224576 3221220440 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20778 18843 1111 63 0 20715 0
vsize: 83112
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24958 0 0 0 83936 75 0 0 25 0 1 0 848921748 85106688 18846 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20778 18846 1111 63 0 20715 0
vsize: 83112
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24960 0 0 0 84936 75 0 0 25 0 1 0 848921748 85106688 18846 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20778 18846 1111 63 0 20715 0
vsize: 83112
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24966 0 0 0 85936 75 0 0 25 0 1 0 848921748 85106688 18848 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20778 18848 1111 63 0 20715 0
vsize: 83112
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24973 0 0 0 86936 75 0 0 25 0 1 0 848921748 85106688 18853 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20778 18853 1111 63 0 20715 0
vsize: 83112
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24978 0 0 0 87936 75 0 0 25 0 1 0 848921748 85106688 18856 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20778 18856 1111 63 0 20715 0
vsize: 83112
[startup+890.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 24980 0 0 0 88937 75 0 0 25 0 1 0 848921748 85106688 18856 4294967295 134512640 134716908 3221224576 3221220544 1075084539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20778 18856 1111 63 0 20715 0
vsize: 83112
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25065 0 0 0 89936 75 0 0 25 0 1 0 848921748 85667840 18937 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20915 18937 1111 63 0 20852 0
vsize: 83660
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25097 0 0 0 90936 76 0 0 25 0 1 0 848921748 85667840 18965 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20915 18965 1111 63 0 20852 0
vsize: 83660
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25217 0 0 0 91936 76 0 0 25 0 1 0 848921748 86257664 19083 4294967295 134512640 134716908 3221224576 3221220752 1074960901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21059 19083 1111 63 0 20996 0
vsize: 84236
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25285 0 0 0 92936 76 0 0 25 0 1 0 848921748 86876160 19147 4294967295 134512640 134716908 3221224576 3221220640 1074794682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21210 19147 1111 63 0 21147 0
vsize: 84840
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25327 0 0 0 93936 76 0 0 25 0 1 0 848921748 86876160 19187 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21210 19187 1111 63 0 21147 0
vsize: 84840
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25339 0 0 0 94936 76 0 0 25 0 1 0 848921748 86876160 19197 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21210 19197 1111 63 0 21147 0
vsize: 84840
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25353 0 0 0 95937 76 0 0 25 0 1 0 848921748 87105536 19209 4294967295 134512640 134716908 3221224576 3221221248 1076083602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21266 19209 1111 63 0 21203 0
vsize: 85064
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25458 0 0 0 96936 76 0 0 25 0 1 0 848921748 87519232 19310 4294967295 134512640 134716908 3221224576 3221220448 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19310 1111 63 0 21304 0
vsize: 85468
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25495 0 0 0 97937 77 0 0 25 0 1 0 848921748 87519232 19345 4294967295 134512640 134716908 3221224576 3221220640 1075094890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19345 1111 63 0 21304 0
vsize: 85468
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25500 0 0 0 98937 77 0 0 25 0 1 0 848921748 87519232 19348 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19348 1111 63 0 21304 0
vsize: 85468
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25510 0 0 0 99937 77 0 0 25 0 1 0 848921748 87519232 19354 4294967295 134512640 134716908 3221224576 3221220356 1074786550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19354 1111 63 0 21304 0
vsize: 85468
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25512 0 0 0 100937 77 0 0 25 0 1 0 848921748 87519232 19354 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19354 1111 63 0 21304 0
vsize: 85468
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25516 0 0 0 101937 77 0 0 25 0 1 0 848921748 87519232 19356 4294967295 134512640 134716908 3221224576 3221220812 1076111494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19356 1111 63 0 21304 0
vsize: 85468
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25521 0 0 0 102937 77 0 0 25 0 1 0 848921748 87519232 19359 4294967295 134512640 134716908 3221224576 3221220708 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19359 1111 63 0 21304 0
vsize: 85468
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25541 0 0 0 103937 77 0 0 25 0 1 0 848921748 87519232 19375 4294967295 134512640 134716908 3221224576 3221220388 1074786513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19375 1111 63 0 21304 0
vsize: 85468
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25543 0 0 0 104937 77 0 0 25 0 1 0 848921748 87519232 19375 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19375 1111 63 0 21304 0
vsize: 85468
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25547 0 0 0 105938 77 0 0 25 0 1 0 848921748 87519232 19377 4294967295 134512640 134716908 3221224576 3221220416 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21367 19377 1111 63 0 21304 0
vsize: 85468
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25682 0 0 0 106937 78 0 0 25 0 1 0 848921748 88207360 19510 4294967295 134512640 134716908 3221224576 3221220388 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19510 1111 63 0 21472 0
vsize: 86140
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25699 0 0 0 107937 78 0 0 25 0 1 0 848921748 88207360 19523 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19523 1111 63 0 21472 0
vsize: 86140
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25717 0 0 0 108938 78 0 0 25 0 1 0 848921748 88207360 19539 4294967295 134512640 134716908 3221224576 3221220580 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19539 1111 63 0 21472 0
vsize: 86140
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25719 0 0 0 109938 78 0 0 25 0 1 0 848921748 88207360 19539 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19539 1111 63 0 21472 0
vsize: 86140
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25721 0 0 0 110938 78 0 0 25 0 1 0 848921748 88207360 19539 4294967295 134512640 134716908 3221224576 3221220708 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19539 1111 63 0 21472 0
vsize: 86140
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25728 0 0 0 111938 78 0 0 25 0 1 0 848921748 88436736 19544 4294967295 134512640 134716908 3221224576 3221221520 1075971417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21591 19544 1111 63 0 21528 0
vsize: 86364
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25738 0 0 0 112938 78 0 0 25 0 1 0 848921748 88207360 19550 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19550 1111 63 0 21472 0
vsize: 86140
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25740 0 0 0 113938 78 0 0 25 0 1 0 848921748 88207360 19550 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19550 1111 63 0 21472 0
vsize: 86140
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25747 0 0 0 114938 78 0 0 25 0 1 0 848921748 88207360 19555 4294967295 134512640 134716908 3221224576 3221220444 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19555 1111 63 0 21472 0
vsize: 86140
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25757 0 0 0 115939 78 0 0 25 0 1 0 848921748 88207360 19563 4294967295 134512640 134716908 3221224576 3221220816 1075114268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19563 1111 63 0 21472 0
vsize: 86140
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25761 0 0 0 116939 78 0 0 25 0 1 0 848921748 88207360 19563 4294967295 134512640 134716908 3221224576 3221220752 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19563 1111 63 0 21472 0
vsize: 86140
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25763 0 0 0 117939 78 0 0 25 0 1 0 848921748 88207360 19563 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19563 1111 63 0 21472 0
vsize: 86140
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25766 0 0 0 118939 78 0 0 25 0 1 0 848921748 88207360 19564 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19564 1111 63 0 21472 0
vsize: 86140
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) R 28129 8378 8377 0 -1 0 25774 0 0 0 119939 78 0 0 25 0 1 0 848921748 88207360 19570 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21535 19570 1111 63 0 21472 0
vsize: 86140
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 28189
Raw data (stat): 28130 (bsolo_lpr_cuts-) Z 28129 8378 8377 0 -1 1036 25774 0 0 0 119939 82 0 0 25 0 1 0 848921748 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.22
CPU user time (s): 1199.4
CPU system time (s): 0.821875
CPU usage (%): 100.014
Max. virtual memory (Kb): 86364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####