PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
MD5SUM	e8862b41c9b4f49ec8d11d1df0495e74
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	12497
Biggest coefficient in the objective function	1010107916
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3093137085579
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1010107916
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	3093137085579
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	12.972
Number of variables	12497
Total number of constraints	13530
Number of constraints which are clauses	41
Number of constraints which are cardinality constraints (but not clauses)	13312
Number of constraints which are nor clauses,nor cardinality constraints	177
Minimum length of a constraint	1
Maximum length of a constraint	6739
Trace number 27914

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-24 23:37:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15238 boxname=wulflinc10 idbench=1173 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  e8862b41c9b4f49ec8d11d1df0495e74  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-sp97ic.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-sp97ic.opb
IDLAUNCH: 15238
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        826000 kB
Buffers:         28684 kB
Cached:         158432 kB
SwapCached:        224 kB
Active:          49608 kB
Inactive:       140348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        825748 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:             264 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            13072 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:57:57 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 15238 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12497 variables and 1033 constraints.
c After prepocess the problem consists of 12497 variables and 1018 constraints.
c preprocess terminated 517.267 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 26.799
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1452893474 @ 578.619
c NEW SOLUTION FOUND: -2147483648 @ 578.737
#### 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.85 0.89 0.89 2/54 23346
Raw data (stat): 23346 (runsolver) R 23345 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776048554 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.90 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 22338 0 0 0 954 44 0 0 25 0 1 0 776048554 104480768 22262 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25508 22262 1111 63 0 25445 0
vsize: 102032
[startup+20.0101 s]
Raw data (loadavg): 0.89 0.90 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 44341 0 0 0 1914 85 0 0 25 0 1 0 776048554 194482176 44265 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47481 44265 1111 63 0 47418 0
vsize: 189924
[startup+30.0108 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 66064 0 0 0 2876 123 0 0 25 0 1 0 776048554 283615232 65988 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69242 65988 1111 63 0 69179 0
vsize: 276968
[startup+40.0114 s]
Raw data (loadavg): 0.92 0.90 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 76981 0 0 0 3857 141 0 0 25 0 1 0 776048554 328282112 76905 4294967295 134512640 134714508 3221224576 3221222852 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80147 76905 1111 63 0 80084 0
vsize: 320588
[startup+50.022 s]
Raw data (loadavg): 0.93 0.91 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 77356 0 0 0 4857 143 0 0 25 0 1 0 776048554 329949184 77277 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80554 77277 1111 63 0 80491 0
vsize: 322216
[startup+60.0225 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 78019 0 0 0 5856 144 0 0 25 0 1 0 776048554 332705792 77939 4294967295 134512640 134714508 3221224576 3221222852 1077414422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81227 77939 1111 63 0 81164 0
vsize: 324908
[startup+70.0225 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 78684 0 0 0 6853 146 0 0 25 0 1 0 776048554 335585280 78603 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81930 78603 1111 63 0 81867 0
vsize: 327720
[startup+80.0227 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 79416 0 0 0 7851 148 0 0 25 0 1 0 776048554 338616320 79334 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82670 79334 1111 63 0 82607 0
vsize: 330680
[startup+90.0222 s]
Raw data (loadavg): 0.96 0.92 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 80163 0 0 0 8849 151 0 0 25 0 1 0 776048554 341757952 80081 4294967295 134512640 134714508 3221224576 3221222852 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83437 80081 1111 63 0 83374 0
vsize: 333748
[startup+100.022 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 80914 0 0 0 9847 153 0 0 25 0 1 0 776048554 344924160 80828 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84210 80828 1111 63 0 84147 0
vsize: 336840
[startup+110.022 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 81683 0 0 0 10845 155 0 0 25 0 1 0 776048554 348246016 81594 4294967295 134512640 134714508 3221224576 3221222852 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85021 81594 1111 63 0 84958 0
vsize: 340084
[startup+120.023 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83323 0 0 0 11841 159 0 0 25 0 1 0 776048554 345366528 83165 4294967295 134512640 134714508 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84318 83165 1111 63 0 84255 0
vsize: 337272
[startup+130.023 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83410 0 0 0 12841 160 0 0 25 0 1 0 776048554 345636864 83252 4294967295 134512640 134714508 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84384 83252 1111 63 0 84321 0
vsize: 337536
[startup+140.023 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83493 0 0 0 13840 160 0 0 25 0 1 0 776048554 346046464 83335 4294967295 134512640 134714508 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84484 83335 1111 63 0 84421 0
vsize: 337936
[startup+150.024 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83538 0 0 0 14840 161 0 0 25 0 1 0 776048554 346181632 83380 4294967295 134512640 134714508 3221224576 3221223044 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84517 83380 1111 63 0 84454 0
vsize: 338068
[startup+160.025 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83589 0 0 0 15840 161 0 0 25 0 1 0 776048554 346451968 83431 4294967295 134512640 134714508 3221224576 3221223020 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84583 83431 1111 63 0 84520 0
vsize: 338332
[startup+170.025 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83668 0 0 0 16839 162 0 0 25 0 1 0 776048554 346722304 83510 4294967295 134512640 134714508 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84649 83510 1111 63 0 84586 0
vsize: 338596
[startup+180.024 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83747 0 0 0 17839 162 0 0 25 0 1 0 776048554 346992640 83589 4294967295 134512640 134714508 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84715 83589 1111 63 0 84652 0
vsize: 338860
[startup+190.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83787 0 0 0 18838 163 0 0 25 0 1 0 776048554 347262976 83629 4294967295 134512640 134714508 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84781 83629 1111 63 0 84718 0
vsize: 339124
[startup+200.024 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83861 0 0 0 19838 164 0 0 25 0 1 0 776048554 347533312 83703 4294967295 134512640 134714508 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84847 83703 1111 63 0 84784 0
vsize: 339388
[startup+210.027 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 83936 0 0 0 20837 164 0 0 25 0 1 0 776048554 347803648 83778 4294967295 134512640 134714508 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84913 83778 1111 63 0 84850 0
vsize: 339652
[startup+220.028 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84000 0 0 0 21837 165 0 0 25 0 1 0 776048554 348073984 83842 4294967295 134512640 134714508 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84979 83842 1111 63 0 84916 0
vsize: 339916
[startup+230.027 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84059 0 0 0 22837 165 0 0 25 0 1 0 776048554 348344320 83901 4294967295 134512640 134714508 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85045 83901 1111 63 0 84982 0
vsize: 340180
[startup+240.028 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84126 0 0 0 23836 166 0 0 25 0 1 0 776048554 348614656 83968 4294967295 134512640 134714508 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85111 83968 1111 63 0 85048 0
vsize: 340444
[startup+250.027 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84176 0 0 0 24835 167 0 0 25 0 1 0 776048554 348749824 84018 4294967295 134512640 134714508 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85144 84018 1111 63 0 85081 0
vsize: 340576
[startup+260.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84207 0 0 0 25834 168 0 0 25 0 1 0 776048554 348884992 84049 4294967295 134512640 134714508 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85177 84049 1111 63 0 85114 0
vsize: 340708
[startup+270.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84231 0 0 0 26834 168 0 0 25 0 1 0 776048554 349020160 84073 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85210 84073 1111 63 0 85147 0
vsize: 340840
[startup+280.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84256 0 0 0 27834 169 0 0 25 0 1 0 776048554 349155328 84098 4294967295 134512640 134714508 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85243 84098 1111 63 0 85180 0
vsize: 340972
[startup+290.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84306 0 0 0 28833 170 0 0 25 0 1 0 776048554 349290496 84148 4294967295 134512640 134714508 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85276 84148 1111 63 0 85213 0
vsize: 341104
[startup+300.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84374 0 0 0 29833 170 0 0 25 0 1 0 776048554 349560832 84216 4294967295 134512640 134714508 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85342 84216 1111 63 0 85279 0
vsize: 341368
[startup+310.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84415 0 0 0 30832 171 0 0 25 0 1 0 776048554 349831168 84257 4294967295 134512640 134714508 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85408 84257 1111 63 0 85345 0
vsize: 341632
[startup+320.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84466 0 0 0 31832 171 0 0 25 0 1 0 776048554 349966336 84308 4294967295 134512640 134714508 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85441 84308 1111 63 0 85378 0
vsize: 341764
[startup+330.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84560 0 0 0 32831 172 0 0 25 0 1 0 776048554 350371840 84402 4294967295 134512640 134714508 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85540 84402 1111 63 0 85477 0
vsize: 342160
[startup+340.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84628 0 0 0 33831 172 0 0 25 0 1 0 776048554 350642176 84470 4294967295 134512640 134714508 3221224576 3221223328 134587916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85606 84470 1111 63 0 85543 0
vsize: 342424
[startup+350.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84703 0 0 0 34830 173 0 0 25 0 1 0 776048554 350912512 84545 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85672 84545 1111 63 0 85609 0
vsize: 342688
[startup+360.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84725 0 0 0 35830 174 0 0 25 0 1 0 776048554 351047680 84567 4294967295 134512640 134714508 3221224576 3221223028 134535880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85705 84567 1111 63 0 85642 0
vsize: 342820
[startup+370.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84755 0 0 0 36829 174 0 0 25 0 1 0 776048554 351182848 84597 4294967295 134512640 134714508 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85738 84597 1111 63 0 85675 0
vsize: 342952
[startup+380.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84838 0 0 0 37830 175 0 0 25 0 1 0 776048554 351453184 84680 4294967295 134512640 134714508 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85804 84680 1111 63 0 85741 0
vsize: 343216
[startup+390.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84876 0 0 0 38831 175 0 0 25 0 1 0 776048554 351588352 84718 4294967295 134512640 134714508 3221224576 3221223020 134536834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85837 84718 1111 63 0 85774 0
vsize: 343348
[startup+400.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84931 0 0 0 39830 176 0 0 25 0 1 0 776048554 351858688 84773 4294967295 134512640 134714508 3221224576 3221223020 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85903 84773 1111 63 0 85840 0
vsize: 343612
[startup+410.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 84996 0 0 0 40830 176 0 0 25 0 1 0 776048554 352129024 84838 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85969 84838 1111 63 0 85906 0
vsize: 343876
[startup+420.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85028 0 0 0 41830 176 0 0 25 0 1 0 776048554 352264192 84870 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86002 84870 1111 63 0 85939 0
vsize: 344008
[startup+430.053 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85073 0 0 0 42829 177 0 0 25 0 1 0 776048554 352399360 84915 4294967295 134512640 134714508 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86035 84915 1111 63 0 85972 0
vsize: 344140
[startup+440.06 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85138 0 0 0 43829 177 0 0 25 0 1 0 776048554 352669696 84980 4294967295 134512640 134714508 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86101 84980 1111 63 0 86038 0
vsize: 344404
[startup+450.059 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85212 0 0 0 44829 178 0 0 25 0 1 0 776048554 352940032 85054 4294967295 134512640 134714508 3221224576 3221223044 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86167 85054 1111 63 0 86104 0
vsize: 344668
[startup+460.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85307 0 0 0 45829 178 0 0 25 0 1 0 776048554 353349632 85149 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85149 1111 63 0 86204 0
vsize: 345068
[startup+470.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85312 0 0 0 46829 178 0 0 25 0 1 0 776048554 353349632 85154 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85154 1111 63 0 86204 0
vsize: 345068
[startup+480.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85314 0 0 0 47829 179 0 0 25 0 1 0 776048554 353349632 85156 4294967295 134512640 134714508 3221224576 3221223224 134558617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85156 1111 63 0 86204 0
vsize: 345068
[startup+490.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85318 0 0 0 48829 179 0 0 25 0 1 0 776048554 353349632 85160 4294967295 134512640 134714508 3221224576 3221223224 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85160 1111 63 0 86204 0
vsize: 345068
[startup+500.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85323 0 0 0 49829 179 0 0 25 0 1 0 776048554 353349632 85165 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85165 1111 63 0 86204 0
vsize: 345068
[startup+510.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 85327 0 0 0 50829 179 0 0 25 0 1 0 776048554 353349632 85169 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85169 1111 63 0 86204 0
vsize: 345068
[startup+520.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 86594 0 0 0 51826 183 0 0 25 0 1 0 776048554 358584320 86422 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87545 86422 1111 63 0 87482 0
vsize: 350180
[startup+530.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 86682 0 0 0 52825 183 0 0 25 0 1 0 776048554 358936576 86510 4294967295 134512640 134714508 3221224576 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87631 86510 1111 63 0 87568 0
vsize: 350524
[startup+540.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 92038 0 0 0 53815 193 0 0 25 0 1 0 776048554 368709632 88869 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90017 88869 1111 63 0 89954 0
vsize: 360068
[startup+550.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 96170 0 0 0 54806 202 0 0 25 0 1 0 776048554 360951808 87149 4294967295 134512640 134714508 3221224576 3221223024 134648533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88123 87149 1111 63 0 88060 0
vsize: 352492
[startup+560.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 105283 0 0 0 55786 222 0 0 25 0 1 0 776048554 361598976 87285 4294967295 134512640 134714508 3221224576 3221223024 134648630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88281 87285 1111 63 0 88218 0
vsize: 353124
[startup+570.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 105283 0 0 0 56786 222 0 0 25 0 1 0 776048554 361598976 87285 4294967295 134512640 134714508 3221224576 3221223024 134648531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88281 87285 1111 63 0 88218 0
vsize: 353124
[startup+580.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 109268 0 0 0 57777 232 0 0 25 0 1 0 776048554 358146048 86330 4294967295 134512640 134714508 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87438 86330 1111 63 0 87375 0
vsize: 349752
[startup+590.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 130319 0 0 0 58734 275 0 0 25 0 1 0 776048554 357330944 86276 4294967295 134512640 134714508 3221224576 3221222832 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86276 1111 63 0 87176 0
vsize: 348956
[startup+600.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 144617 0 0 0 59703 305 0 0 25 0 1 0 776048554 357453824 86306 4294967295 134512640 134714508 3221224576 3221222600 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86306 1111 63 0 87206 0
vsize: 349076
[startup+610.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 155482 0 0 0 60678 331 0 0 25 0 1 0 776048554 357699584 86334 4294967295 134512640 134714508 3221224576 3221222576 1074916908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87329 86334 1111 63 0 87266 0
vsize: 349316
[startup+620.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 164925 0 0 0 61657 352 0 0 25 0 1 0 776048554 357453824 86306 4294967295 134512640 134714508 3221224576 3221222444 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86306 1111 63 0 87206 0
vsize: 349076
[startup+630.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 173634 0 0 0 62638 371 0 0 25 0 1 0 776048554 357576704 86336 4294967295 134512640 134714508 3221224576 3221222304 1075635484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+640.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 180133 0 0 0 63623 386 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221223040 1074121015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+650.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 185245 0 0 0 64610 399 0 0 25 0 1 0 776048554 357699584 86366 4294967295 134512640 134714508 3221224576 3221222688 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87329 86366 1111 63 0 87266 0
vsize: 349316
[startup+660.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 190295 0 0 0 65597 412 0 0 25 0 1 0 776048554 357699584 86366 4294967295 134512640 134714508 3221224576 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87329 86366 1111 63 0 87266 0
vsize: 349316
[startup+670.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 195320 0 0 0 66586 423 0 0 25 0 1 0 776048554 357699584 86366 4294967295 134512640 134714508 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87329 86366 1111 63 0 87266 0
vsize: 349316
[startup+680.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 200158 0 0 0 67575 434 0 0 25 0 1 0 776048554 358535168 86423 4294967295 134512640 134714508 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87533 86423 1111 63 0 87470 0
vsize: 350132
[startup+690.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 204970 0 0 0 68565 444 0 0 25 0 1 0 776048554 357699584 86366 4294967295 134512640 134714508 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87329 86366 1111 63 0 87266 0
vsize: 349316
[startup+700.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 209295 0 0 0 69554 455 0 0 25 0 1 0 776048554 357699584 86366 4294967295 134512640 134714508 3221224576 3221222736 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87329 86366 1111 63 0 87266 0
vsize: 349316
[startup+710.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 213521 0 0 0 70544 465 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+720.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 217401 0 0 0 71536 473 0 0 25 0 1 0 776048554 358187008 86446 4294967295 134512640 134714508 3221224576 3221222320 1075640442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87448 86446 1111 63 0 87385 0
vsize: 349792
[startup+730.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 220993 0 0 0 72526 482 0 0 25 0 1 0 776048554 358912000 86432 4294967295 134512640 134714508 3221224576 3221222400 1075824327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87625 86432 1111 63 0 87562 0
vsize: 350500
[startup+740.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 224723 0 0 0 73517 492 0 0 25 0 1 0 776048554 357822464 86396 4294967295 134512640 134714508 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87359 86396 1111 63 0 87296 0
vsize: 349436
[startup+750.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 228441 0 0 0 74508 501 0 0 25 0 1 0 776048554 357953536 86428 4294967295 134512640 134714508 3221224576 3221221676 1074138970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87391 86428 1111 63 0 87328 0
vsize: 349564
[startup+760.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 231732 0 0 0 75500 509 0 0 25 0 1 0 776048554 357822464 86396 4294967295 134512640 134714508 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87359 86396 1111 63 0 87296 0
vsize: 349436
[startup+770.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 234995 0 0 0 76492 517 0 0 25 0 1 0 776048554 357822464 86396 4294967295 134512640 134714508 3221224576 3221222600 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87359 86396 1111 63 0 87296 0
vsize: 349436
[startup+780.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 238152 0 0 0 77481 527 0 0 25 0 1 0 776048554 357953536 86428 4294967295 134512640 134714508 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87391 86428 1111 63 0 87328 0
vsize: 349564
[startup+790.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 241268 0 0 0 78473 536 0 0 25 0 1 0 776048554 357822464 86396 4294967295 134512640 134714508 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87359 86396 1111 63 0 87296 0
vsize: 349436
[startup+800.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 244508 0 0 0 79466 543 0 0 25 0 1 0 776048554 357822464 86396 4294967295 134512640 134714508 3221224576 3221222600 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87359 86396 1111 63 0 87296 0
vsize: 349436
[startup+810.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 247460 0 0 0 80458 551 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222600 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+820.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 250576 0 0 0 81451 558 0 0 25 0 1 0 776048554 358076416 86452 4294967295 134512640 134714508 3221224576 3221223040 1074121006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87421 86452 1111 63 0 87358 0
vsize: 349684
[startup+830.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 253474 0 0 0 82444 565 0 0 25 0 1 0 776048554 358080512 86458 4294967295 134512640 134714508 3221224576 3221222480 1075460079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87422 86458 1111 63 0 87359 0
vsize: 349688
[startup+840.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 256624 0 0 0 83436 574 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222744 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+850.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 259597 0 0 0 84428 581 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222832 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+860.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 262617 0 0 0 85421 588 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222688 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+870.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 265661 0 0 0 86414 595 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+880.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 268612 0 0 0 87407 602 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+890.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 271721 0 0 0 88398 611 0 0 25 0 1 0 776048554 357822464 86396 4294967295 134512640 134714508 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87359 86396 1111 63 0 87296 0
vsize: 349436
[startup+900.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 274521 0 0 0 89391 618 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222688 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+910.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 277424 0 0 0 90384 625 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222688 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+920.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 280481 0 0 0 91377 632 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+930.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 283563 0 0 0 92369 640 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222368 1074056269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+940.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 286619 0 0 0 93363 647 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+950.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 289663 0 0 0 94354 655 0 0 25 0 1 0 776048554 357822464 86396 4294967295 134512640 134714508 3221224576 3221222744 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87359 86396 1111 63 0 87296 0
vsize: 349436
[startup+960.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 292390 0 0 0 95348 661 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+970.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 295464 0 0 0 96341 668 0 0 25 0 1 0 776048554 357822464 86396 4294967295 134512640 134714508 3221224576 3221222600 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87359 86396 1111 63 0 87296 0
vsize: 349436
[startup+980.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 298215 0 0 0 97334 675 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222680 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+990.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 300981 0 0 0 98328 681 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222680 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 303771 0 0 0 99321 688 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 306566 0 0 0 100314 695 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 309392 0 0 0 101307 702 0 0 25 0 1 0 776048554 357826560 86397 4294967295 134512640 134714508 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87360 86397 1111 63 0 87297 0
vsize: 349440
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 312168 0 0 0 102302 708 0 0 25 0 1 0 776048554 357822464 86396 4294967295 134512640 134714508 3221224576 3221222832 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87359 86396 1111 63 0 87296 0
vsize: 349436
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 315115 0 0 0 103295 715 0 0 25 0 1 0 776048554 357953536 86428 4294967295 134512640 134714508 3221224576 3221222736 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87391 86428 1111 63 0 87328 0
vsize: 349564
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 317832 0 0 0 104290 720 0 0 25 0 1 0 776048554 357957632 86429 4294967295 134512640 134714508 3221224576 3221222688 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87392 86429 1111 63 0 87329 0
vsize: 349568
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 320319 0 0 0 105285 725 0 0 25 0 1 0 776048554 358596608 86524 4294967295 134512640 134714508 3221224576 3221221688 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87603 86525 1111 63 0 87540 0
vsize: 350192
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 322278 0 0 0 106281 729 0 0 25 0 1 0 776048554 358715392 86614 4294967295 134512640 134714508 3221224576 3221222992 1074117039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87577 86614 1111 63 0 87514 0
vsize: 350308
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 323858 0 0 0 107278 733 0 0 25 0 1 0 776048554 358715392 86608 4294967295 134512640 134714508 3221224576 3221222320 1075640213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87577 86608 1111 63 0 87514 0
vsize: 350308
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 325446 0 0 0 108275 736 0 0 25 0 1 0 776048554 358707200 86612 4294967295 134512640 134714508 3221224576 3221222864 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87575 86612 1111 63 0 87512 0
vsize: 350300
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 327687 0 0 0 109270 741 0 0 25 0 1 0 776048554 358830080 86642 4294967295 134512640 134714508 3221224576 3221222720 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87605 86642 1111 63 0 87542 0
vsize: 350420
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 331205 0 0 0 110262 749 0 0 25 0 1 0 776048554 359251968 86745 4294967295 134512640 134714508 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87708 86745 1111 63 0 87645 0
vsize: 350832
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 335237 0 0 0 111255 757 0 0 25 0 1 0 776048554 359337984 86766 4294967295 134512640 134714508 3221224576 3221222832 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87729 86766 1111 63 0 87666 0
vsize: 350916
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 337748 0 0 0 112249 763 0 0 25 0 1 0 776048554 359849984 86891 4294967295 134512640 134714508 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87854 86891 1111 63 0 87791 0
vsize: 351416
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 342579 0 0 0 113240 773 0 0 25 0 1 0 776048554 361025536 87132 4294967295 134512640 134714508 3221224576 3221222320 1075645384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88141 87132 1111 63 0 88078 0
vsize: 352564
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 346789 0 0 0 114231 783 0 0 25 0 1 0 776048554 360001536 86928 4294967295 134512640 134714508 3221224576 3221222736 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87891 86928 1111 63 0 87828 0
vsize: 351564
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 350385 0 0 0 115222 792 0 0 25 0 1 0 776048554 360075264 86946 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87909 86946 1111 63 0 87846 0
vsize: 351636
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 354122 0 0 0 116214 801 0 0 25 0 1 0 776048554 360398848 87025 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87988 87025 1111 63 0 87925 0
vsize: 351952
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 356425 0 0 0 117209 806 0 0 25 0 1 0 776048554 364625920 87933 4294967295 134512640 134714508 3221224576 3221220960 1075133398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89020 87933 1111 63 0 88957 0
vsize: 356080
[startup+1190.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 358690 0 0 0 118204 812 0 0 25 0 1 0 776048554 360538112 87059 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88022 87059 1111 63 0 87959 0
vsize: 352088
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) R 23345 15547 15546 0 -1 0 363348 0 0 0 119194 821 0 0 25 0 1 0 776048554 360820736 87128 4294967295 134512640 134714508 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88091 87128 1111 63 0 88028 0
vsize: 352364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.27 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 23346
Raw data (stat): 23346 (bsolo_lpr_cuts) Z 23345 15547 15546 0 -1 1036 363348 0 0 0 119194 837 0 0 25 0 1 0 776048554 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.27
CPU time (s): 1200.32
CPU user time (s): 1191.94
CPU system time (s): 8.37773
CPU usage (%): 100.004
Max. virtual memory (Kb): 360068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####