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/submitted/een/normalized-mitre.opb
MD5SUM	a32373ce42835aed9464b28f5a9ed13c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8818
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	10724
Total number of constraints	2045
Number of constraints which are clauses	523
Number of constraints which are cardinality constraints (but not clauses)	1139
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	3
Maximum length of a constraint	98
Trace number 25113

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 20:50:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5124 boxname=wulflinc31 idbench=395 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a32373ce42835aed9464b28f5a9ed13c  /oldhome/oroussel/tmp/wulflinc31/normalized-mitre.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mitre.opb
IDLAUNCH: 5124
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        766148 kB
Buffers:         51648 kB
Cached:         187392 kB
SwapCached:       1952 kB
Active:         202936 kB
Inactive:        45000 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        765896 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14936 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 21:10:22 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 5124 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10724 variables and 2045 constraints.
#### 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.97 0.99 2/55 17423
Raw data (stat): 17423 (runsolver) R 17422 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 764103572 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.88 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 6100 0 0 0 978 17 0 0 25 0 1 0 764103572 20975616 4222 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5121 4222 1111 63 0 5058 0
vsize: 20484
[startup+20.002 s]
Raw data (loadavg): 0.89 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 11710 0 0 0 1962 33 0 0 25 0 1 0 764103572 25567232 5344 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6242 5344 1111 63 0 6179 0
vsize: 24968
[startup+30.0028 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 14372 0 0 0 2955 40 0 0 25 0 1 0 764103572 28700672 6109 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7007 6109 1111 63 0 6944 0
vsize: 28028
[startup+40.003 s]
Raw data (loadavg): 0.92 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 16876 0 0 0 3947 48 0 0 25 0 1 0 764103572 34578432 7543 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8442 7543 1111 63 0 8379 0
vsize: 33768
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 17665 0 0 0 4946 50 0 0 25 0 1 0 764103572 36208640 7942 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8840 7942 1111 63 0 8777 0
vsize: 35360
[startup+60.0032 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 18947 0 0 0 5942 54 0 0 25 0 1 0 764103572 37883904 8351 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9249 8351 1111 63 0 9186 0
vsize: 36996
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 19868 0 0 0 6940 56 0 0 25 0 1 0 764103572 39297024 8696 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9594 8696 1111 63 0 9531 0
vsize: 38376
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 21664 0 0 0 7935 62 0 0 25 0 1 0 764103572 40198144 8916 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9814 8916 1111 63 0 9751 0
vsize: 39256
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 23016 0 0 0 8931 65 0 0 25 0 1 0 764103572 41402368 9210 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10108 9210 1111 63 0 10045 0
vsize: 40432
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 24738 0 0 0 9926 70 0 0 25 0 1 0 764103572 42557440 9492 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10390 9492 1111 63 0 10327 0
vsize: 41560
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 26138 0 0 0 10922 74 0 0 25 0 1 0 764103572 43159552 9639 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10537 9639 1111 63 0 10474 0
vsize: 42148
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 27085 0 0 0 11920 77 0 0 25 0 1 0 764103572 44625920 9996 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10895 9996 1111 63 0 10832 0
vsize: 43580
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 28225 0 0 0 12917 80 0 0 25 0 1 0 764103572 45481984 10206 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11104 10206 1111 63 0 11041 0
vsize: 44416
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 30042 0 0 0 13912 85 0 0 25 0 1 0 764103572 51490816 11673 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12571 11673 1111 63 0 12508 0
vsize: 50284
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 30271 0 0 0 14912 85 0 0 25 0 1 0 764103572 52346880 11882 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12780 11882 1111 63 0 12717 0
vsize: 51120
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 30301 0 0 0 15912 85 0 0 25 0 1 0 764103572 52346880 11882 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12780 11882 1111 63 0 12717 0
vsize: 51120
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 30510 0 0 0 16912 86 0 0 25 0 1 0 764103572 53035008 12049 4294967295 134512640 134714508 3221221792 3221220216 1077377316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12948 12049 1111 63 0 12885 0
vsize: 51792
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 31812 0 0 0 17909 89 0 0 25 0 1 0 764103572 53678080 12206 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13105 12206 1111 63 0 13042 0
vsize: 52420
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 32392 0 0 0 18907 91 0 0 25 0 1 0 764103572 54538240 12416 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13315 12416 1111 63 0 13252 0
vsize: 53260
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 32581 0 0 0 19906 92 0 0 25 0 1 0 764103572 55308288 12605 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13503 12605 1111 63 0 13440 0
vsize: 54012
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 32903 0 0 0 20905 93 0 0 25 0 1 0 764103572 56381440 12867 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13765 12867 1111 63 0 13702 0
vsize: 55060
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 34090 0 0 0 21902 96 0 0 25 0 1 0 764103572 56983552 13014 4294967295 134512640 134714508 3221221792 3221220508 134618232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13912 13014 1111 63 0 13849 0
vsize: 55648
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 34943 0 0 0 22899 100 0 0 25 0 1 0 764103572 57368576 13107 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14006 13107 1111 63 0 13943 0
vsize: 56024
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 35342 0 0 0 23898 101 0 0 25 0 1 0 764103572 58138624 13296 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14194 13296 1111 63 0 14131 0
vsize: 56776
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 36824 0 0 0 24894 105 0 0 25 0 1 0 764103572 60841984 13956 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14854 13956 1111 63 0 14791 0
vsize: 59416
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 36897 0 0 0 25894 105 0 0 25 0 1 0 764103572 61100032 14019 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14917 14019 1111 63 0 14854 0
vsize: 59668
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 38703 0 0 0 26890 109 0 0 25 0 1 0 764103572 61489152 14113 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15012 14113 1111 63 0 14949 0
vsize: 60048
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 39129 0 0 0 27889 111 0 0 25 0 1 0 764103572 62046208 14249 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15148 14249 1111 63 0 15085 0
vsize: 60592
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 39705 0 0 0 28888 112 0 0 25 0 1 0 764103572 64405504 14825 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15724 14825 1111 63 0 15661 0
vsize: 62896
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 39705 0 0 0 29888 112 0 0 25 0 1 0 764103572 64405504 14825 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15724 14825 1111 63 0 15661 0
vsize: 62896
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 39857 0 0 0 30887 113 0 0 25 0 1 0 764103572 64409600 14827 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15725 14827 1111 63 0 15662 0
vsize: 62900
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 40410 0 0 0 31886 114 0 0 25 0 1 0 764103572 65396736 15068 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15966 15068 1111 63 0 15903 0
vsize: 63864
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 40679 0 0 0 32886 115 0 0 25 0 1 0 764103572 66211840 15267 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16165 15267 1111 63 0 16102 0
vsize: 64660
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 41330 0 0 0 33884 117 0 0 25 0 1 0 764103572 66555904 15351 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16249 15351 1111 63 0 16186 0
vsize: 64996
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 41933 0 0 0 34883 118 0 0 25 0 1 0 764103572 68616192 15854 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16752 15854 1111 63 0 16689 0
vsize: 67008
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 43157 0 0 0 35879 122 0 0 25 0 1 0 764103572 68960256 15938 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16836 15938 1111 63 0 16773 0
vsize: 67344
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 43363 0 0 0 36879 123 0 0 25 0 1 0 764103572 69562368 16084 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16983 16084 1111 63 0 16920 0
vsize: 67932
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 43572 0 0 0 37878 123 0 0 25 0 1 0 764103572 70332416 16273 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17171 16273 1111 63 0 17108 0
vsize: 68684
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 44542 0 0 0 38875 127 0 0 25 0 1 0 764103572 70332416 16273 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17171 16273 1111 63 0 17108 0
vsize: 68684
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 45112 0 0 0 39874 128 0 0 25 0 1 0 764103572 71233536 16493 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17391 16493 1111 63 0 17328 0
vsize: 69564
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 46486 0 0 0 40869 133 0 0 25 0 1 0 764103572 72392704 16775 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17674 16775 1111 63 0 17611 0
vsize: 70696
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 46801 0 0 0 41869 133 0 0 25 0 1 0 764103572 73678848 17090 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17988 17090 1111 63 0 17925 0
vsize: 71952
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 47090 0 0 0 42869 134 0 0 25 0 1 0 764103572 74452992 17279 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18177 17279 1111 63 0 18114 0
vsize: 72708
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 48123 0 0 0 43866 136 0 0 25 0 1 0 764103572 74797056 17362 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18261 17362 1111 63 0 18198 0
vsize: 73044
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 48490 0 0 0 44866 137 0 0 25 0 1 0 764103572 75354112 17499 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18397 17499 1111 63 0 18334 0
vsize: 73588
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 49750 0 0 0 45863 141 0 0 25 0 1 0 764103572 75739136 17592 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18491 17592 1111 63 0 18428 0
vsize: 73964
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 49887 0 0 0 46862 141 0 0 25 0 1 0 764103572 76255232 17719 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18617 17719 1111 63 0 18554 0
vsize: 74468
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 50211 0 0 0 47862 142 0 0 25 0 1 0 764103572 77582336 18043 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18941 18043 1111 63 0 18878 0
vsize: 75764
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 50699 0 0 0 48861 143 0 0 25 0 1 0 764103572 79171584 18431 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19329 18431 1111 63 0 19266 0
vsize: 77316
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 51612 0 0 0 49858 146 0 0 25 0 1 0 764103572 79515648 18514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19413 18514 1111 63 0 19350 0
vsize: 77652
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 51675 0 0 0 50859 146 0 0 25 0 1 0 764103572 79773696 18577 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19476 18577 1111 63 0 19413 0
vsize: 77904
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 51874 0 0 0 51858 146 0 0 25 0 1 0 764103572 80588800 18776 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19675 18776 1111 63 0 19612 0
vsize: 78700
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 52677 0 0 0 52857 148 0 0 25 0 1 0 764103572 82690048 19289 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20188 19289 1111 63 0 20125 0
vsize: 80752
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 52984 0 0 0 53857 149 0 0 25 0 1 0 764103572 83247104 19426 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20324 19426 1111 63 0 20261 0
vsize: 81296
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 53417 0 0 0 54856 150 0 0 25 0 1 0 764103572 83505152 19489 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20387 19489 1111 63 0 20324 0
vsize: 81548
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 54223 0 0 0 55854 152 0 0 25 0 1 0 764103572 84107264 19635 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20534 19635 1111 63 0 20471 0
vsize: 82136
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 54526 0 0 0 56853 153 0 0 25 0 1 0 764103572 84406272 19708 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20607 19708 1111 63 0 20544 0
vsize: 82428
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 17423
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 54885 0 0 0 57853 153 0 0 25 0 1 0 764103572 85225472 19908 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20807 19908 1111 63 0 20744 0
vsize: 83228
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.99 3/59 17452
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 55156 0 0 0 58851 155 0 0 25 0 1 0 764103572 85225472 19909 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20807 19909 1111 63 0 20744 0
vsize: 83228
[startup+600.027 s]
Raw data (loadavg): 1.07 0.99 0.99 2/59 17466
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 55829 0 0 0 59849 156 0 0 25 0 1 0 764103572 85868544 20065 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20964 20065 1111 63 0 20901 0
vsize: 83856
[startup+610.102 s]
Raw data (loadavg): 1.29 1.04 1.01 2/55 17476
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 55892 0 0 0 60857 157 0 0 25 0 1 0 764103572 86126592 20128 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21027 20128 1111 63 0 20964 0
vsize: 84108
[startup+620.102 s]
Raw data (loadavg): 1.25 1.03 1.01 2/55 17476
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 56419 0 0 0 61855 158 0 0 25 0 1 0 764103572 86425600 20202 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21100 20202 1111 63 0 21037 0
vsize: 84400
[startup+630.103 s]
Raw data (loadavg): 1.21 1.03 1.01 2/55 17476
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 56605 0 0 0 62855 159 0 0 25 0 1 0 764103572 86982656 20338 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21236 20338 1111 63 0 21173 0
vsize: 84944
[startup+640.103 s]
Raw data (loadavg): 1.17 1.03 1.01 2/55 17476
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 57315 0 0 0 63853 161 0 0 25 0 1 0 764103572 86982656 20338 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21236 20338 1111 63 0 21173 0
vsize: 84944
[startup+650.103 s]
Raw data (loadavg): 1.15 1.03 1.01 2/55 17476
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 57681 0 0 0 64852 162 0 0 25 0 1 0 764103572 87584768 20484 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21383 20484 1111 63 0 21320 0
vsize: 85532
[startup+660.104 s]
Raw data (loadavg): 1.12 1.03 1.01 2/55 17476
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 58135 0 0 0 65851 163 0 0 25 0 1 0 764103572 87883776 20558 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21456 20558 1111 63 0 21393 0
vsize: 85824
[startup+670.104 s]
Raw data (loadavg): 1.10 1.03 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 58391 0 0 0 66850 164 0 0 25 0 1 0 764103572 88440832 20694 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21592 20694 1111 63 0 21529 0
vsize: 86368
[startup+680.105 s]
Raw data (loadavg): 1.09 1.03 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 58730 0 0 0 67850 165 0 0 25 0 1 0 764103572 89255936 20893 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21791 20893 1111 63 0 21728 0
vsize: 87164
[startup+690.106 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 58830 0 0 0 68850 165 0 0 25 0 1 0 764103572 89255936 20893 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21791 20893 1111 63 0 21728 0
vsize: 87164
[startup+700.106 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 59545 0 0 0 69848 167 0 0 25 0 1 0 764103572 89255936 20893 4294967295 134512640 134714508 3221221792 3221220228 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21791 20893 1111 63 0 21728 0
vsize: 87164
[startup+710.107 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 60101 0 0 0 70847 169 0 0 25 0 1 0 764103572 89645056 20987 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21886 20987 1111 63 0 21823 0
vsize: 87544
[startup+720.108 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 60277 0 0 0 71846 169 0 0 25 0 1 0 764103572 90202112 21123 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22022 21123 1111 63 0 21959 0
vsize: 88088
[startup+730.109 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 60466 0 0 0 72846 170 0 0 25 0 1 0 764103572 90972160 21312 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22210 21312 1111 63 0 22147 0
vsize: 88840
[startup+740.109 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 61545 0 0 0 73844 172 0 0 25 0 1 0 764103572 95391744 22391 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23289 22391 1111 63 0 23226 0
vsize: 93156
[startup+750.108 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 61771 0 0 0 74843 173 0 0 25 0 1 0 764103572 95907840 22517 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23415 22517 1111 63 0 23352 0
vsize: 93660
[startup+760.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 62185 0 0 0 75842 175 0 0 25 0 1 0 764103572 97239040 22841 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23740 22841 1111 63 0 23677 0
vsize: 94960
[startup+770.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 62197 0 0 0 76842 175 0 0 25 0 1 0 764103572 97374208 22853 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23773 22853 1111 63 0 23710 0
vsize: 95092
[startup+780.111 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 62271 0 0 0 77842 175 0 0 25 0 1 0 764103572 97587200 22927 4294967295 134512640 134714508 3221221792 3221220496 134618245 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23825 22927 1111 63 0 23762 0
vsize: 95300
[startup+790.111 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 62396 0 0 0 78842 175 0 0 25 0 1 0 764103572 98103296 23052 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23951 23052 1111 63 0 23888 0
vsize: 95804
[startup+800.111 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 62787 0 0 0 79841 177 0 0 25 0 1 0 764103572 98103296 23053 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23951 23053 1111 63 0 23888 0
vsize: 95804
[startup+810.112 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 63103 0 0 0 80840 178 0 0 25 0 1 0 764103572 98701312 23199 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24097 23199 1111 63 0 24034 0
vsize: 96388
[startup+820.112 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 63166 0 0 0 81840 178 0 0 25 0 1 0 764103572 98959360 23262 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24160 23262 1111 63 0 24097 0
vsize: 96640
[startup+830.113 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 63488 0 0 0 82840 178 0 0 25 0 1 0 764103572 100032512 23524 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24422 23524 1111 63 0 24359 0
vsize: 97688
[startup+840.114 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 63488 0 0 0 83840 178 0 0 25 0 1 0 764103572 100032512 23524 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24422 23524 1111 63 0 24359 0
vsize: 97688
[startup+850.114 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 63624 0 0 0 84839 179 0 0 25 0 1 0 764103572 100589568 23660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24558 23660 1111 63 0 24495 0
vsize: 98232
[startup+860.115 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 63760 0 0 0 85839 179 0 0 25 0 1 0 764103572 101150720 23796 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24695 23796 1111 63 0 24632 0
vsize: 98780
[startup+870.116 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 63886 0 0 0 86839 180 0 0 25 0 1 0 764103572 101662720 23922 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24820 23922 1111 63 0 24757 0
vsize: 99280
[startup+880.117 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 63959 0 0 0 87839 180 0 0 25 0 1 0 764103572 101965824 23995 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24894 23995 1111 63 0 24831 0
vsize: 99576
[startup+890.117 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 64085 0 0 0 88839 180 0 0 25 0 1 0 764103572 102477824 24121 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25019 24121 1111 63 0 24956 0
vsize: 100076
[startup+900.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 65415 0 0 0 89836 184 0 0 25 0 1 0 764103572 107929600 25451 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26350 25451 1111 63 0 26287 0
vsize: 105400
[startup+910.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 65478 0 0 0 90835 184 0 0 25 0 1 0 764103572 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+920.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 65478 0 0 0 91835 184 0 0 25 0 1 0 764103572 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+930.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 65478 0 0 0 92835 185 0 0 25 0 1 0 764103572 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+940.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 65478 0 0 0 93836 185 0 0 25 0 1 0 764103572 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+950.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 65478 0 0 0 94836 185 0 0 25 0 1 0 764103572 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+960.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 65478 0 0 0 95836 185 0 0 25 0 1 0 764103572 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+970.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 65478 0 0 0 96836 185 0 0 25 0 1 0 764103572 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+980.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17478
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 66797 0 0 0 97833 188 0 0 25 0 1 0 764103572 108187648 25515 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25515 1111 63 0 26350 0
vsize: 105652
[startup+990.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 67351 0 0 0 98832 189 0 0 25 0 1 0 764103572 109215744 25765 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26664 25765 1111 63 0 26601 0
vsize: 106656
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 67362 0 0 0 99832 189 0 0 25 0 1 0 764103572 109215744 25766 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26664 25766 1111 63 0 26601 0
vsize: 106656
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 67362 0 0 0 100832 189 0 0 25 0 1 0 764103572 109215744 25766 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26664 25766 1111 63 0 26601 0
vsize: 106656
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 67545 0 0 0 101832 190 0 0 25 0 1 0 764103572 109559808 25849 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26748 25849 1111 63 0 26685 0
vsize: 106992
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 67846 0 0 0 102832 191 0 0 25 0 1 0 764103572 109559808 25850 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26748 25850 1111 63 0 26685 0
vsize: 106992
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 68079 0 0 0 103831 191 0 0 25 0 1 0 764103572 109903872 25933 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26832 25933 1111 63 0 26769 0
vsize: 107328
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 68215 0 0 0 104831 192 0 0 25 0 1 0 764103572 110460928 26069 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26968 26069 1111 63 0 26905 0
vsize: 107872
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 68278 0 0 0 105831 192 0 0 25 0 1 0 764103572 110718976 26132 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27031 26132 1111 63 0 26968 0
vsize: 108124
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 68451 0 0 0 106831 192 0 0 25 0 1 0 764103572 110972928 26195 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27093 26195 1111 63 0 27030 0
vsize: 108372
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 69582 0 0 0 107828 196 0 0 25 0 1 0 764103572 112005120 26436 4294967295 134512640 134714508 3221221792 3221220320 134554866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27387 26442 1111 63 0 27324 0
vsize: 109380
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 70100 0 0 0 108826 197 0 0 25 0 1 0 764103572 113164288 26729 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26729 1111 63 0 27565 0
vsize: 110512
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 70100 0 0 0 109826 197 0 0 25 0 1 0 764103572 113164288 26729 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26729 1111 63 0 27565 0
vsize: 110512
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 70291 0 0 0 110826 198 0 0 25 0 1 0 764103572 113164288 26730 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26730 1111 63 0 27565 0
vsize: 110512
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 71071 0 0 0 111824 200 0 0 25 0 1 0 764103572 113164288 26730 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26730 1111 63 0 27565 0
vsize: 110512
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 71377 0 0 0 112824 201 0 0 25 0 1 0 764103572 113762304 26876 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27774 26876 1111 63 0 27711 0
vsize: 111096
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 71656 0 0 0 113823 201 0 0 25 0 1 0 764103572 114536448 27065 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27963 27065 1111 63 0 27900 0
vsize: 111852
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 72156 0 0 0 114821 203 0 0 25 0 1 0 764103572 114536448 27065 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27963 27065 1111 63 0 27900 0
vsize: 111852
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 72805 0 0 0 115821 204 0 0 25 0 1 0 764103572 115392512 27274 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28172 27274 1111 63 0 28109 0
vsize: 112688
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 72878 0 0 0 116821 204 0 0 25 0 1 0 764103572 115695616 27347 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28246 27347 1111 63 0 28183 0
vsize: 112984
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 73169 0 0 0 117820 205 0 0 25 0 1 0 764103572 115695616 27348 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28246 27348 1111 63 0 28183 0
vsize: 112984
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 74005 0 0 0 118818 207 0 0 25 0 1 0 764103572 116338688 27504 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28403 27504 1111 63 0 28340 0
vsize: 113612
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) R 17422 7876 7672 0 -1 0 74005 0 0 0 119818 207 0 0 25 0 1 0 764103572 116338688 27504 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28403 27504 1111 63 0 28340 0
vsize: 113612
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 17480
Raw data (stat): 17423 (bsolo_lpr_cuts) Z 17422 7876 7672 0 -1 1036 74005 0 0 0 119818 212 0 0 25 0 1 0 764103572 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.19
CPU time (s): 1200.32
CPU user time (s): 1198.19
CPU system time (s): 2.12968
CPU usage (%): 100.011
Max. virtual memory (Kb): 113612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####