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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-qap10.opb
MD5SUM	8504dbc55a414805ff1a65155550ce21
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	184
Optimality of the best value was proved	NO
Number of terms in the objective function	33930
Biggest coefficient in the objective function	204800
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	188622348
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	204800
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	188622348
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.33
Number of variables	53950
Total number of constraints	1820
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1820
Minimum length of a constraint	130
Maximum length of a constraint	130
Trace number 41676

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 19:32:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29739 boxname=wulflinc1 idbench=1523 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8504dbc55a414805ff1a65155550ce21  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-qap10.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-qap10.opb
IDLAUNCH: 29739
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        926348 kB
Buffers:          1760 kB
Cached:          82888 kB
SwapCached:       1100 kB
Active:          29316 kB
Inactive:        57492 kB
HighTotal:      131008 kB
HighFree:        44856 kB
LowTotal:       903652 kB
LowFree:        881492 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5216 kB
Slab:            15616 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:52:32 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 29739 7 1200.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 53950 variables and 3640 constraints.
c After prepocess the problem consists of 4150 variables and 3695 constraints.
c preprocess terminated 1149.58 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.14 1.00 0.92 2/55 9361
Raw data (stat): 9361 (runsolver) R 9360 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855964211 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 1301 0 0 0 994 2 0 0 25 0 1 0 855964211 17862656 1221 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1221 1111 63 0 4298 0
vsize: 17444
[startup+20.0009 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 1995 0 0 0 1993 4 0 0 25 0 1 0 855964211 20647936 1915 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5041 1915 1111 63 0 4978 0
vsize: 20164
[startup+30.0006 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 2705 0 0 0 2991 5 0 0 25 0 1 0 855964211 23584768 2625 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5758 2625 1111 63 0 5695 0
vsize: 23032
[startup+40.0015 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 3438 0 0 0 3990 6 0 0 25 0 1 0 855964211 26656768 3358 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 3358 1111 63 0 6445 0
vsize: 26032
[startup+50.0022 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 4192 0 0 0 4989 8 0 0 25 0 1 0 855964211 29736960 4112 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7260 4112 1111 63 0 7197 0
vsize: 29040
[startup+60.002 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 4960 0 0 0 5987 10 0 0 25 0 1 0 855964211 32821248 4880 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8013 4880 1111 63 0 7950 0
vsize: 32052
[startup+70.0018 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 5763 0 0 0 6986 11 0 0 25 0 1 0 855964211 36237312 5683 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8847 5683 1111 63 0 8784 0
vsize: 35388
[startup+80.002 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 6581 0 0 0 7985 13 0 0 25 0 1 0 855964211 39464960 6501 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9635 6501 1111 63 0 9572 0
vsize: 38540
[startup+90.0024 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 7416 0 0 0 8983 14 0 0 25 0 1 0 855964211 42987520 7336 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7336 1111 63 0 10432 0
vsize: 41980
[startup+100.002 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 8286 0 0 0 9982 15 0 0 25 0 1 0 855964211 46510080 8206 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11355 8206 1111 63 0 11292 0
vsize: 45420
[startup+110.002 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 9168 0 0 0 10981 17 0 0 25 0 1 0 855964211 50032640 9088 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12215 9088 1111 63 0 12152 0
vsize: 48860
[startup+120.003 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 10085 0 0 0 11979 19 0 0 25 0 1 0 855964211 53952512 10005 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13172 10005 1111 63 0 13109 0
vsize: 52688
[startup+130.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 11020 0 0 0 12978 20 0 0 25 0 1 0 855964211 57769984 10940 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14104 10940 1111 63 0 14041 0
vsize: 56416
[startup+140.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 12027 0 0 0 13976 23 0 0 25 0 1 0 855964211 61878272 11947 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15107 11947 1111 63 0 15044 0
vsize: 60428
[startup+150.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 13084 0 0 0 14974 24 0 0 25 0 1 0 855964211 66134016 13004 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16146 13004 1111 63 0 16083 0
vsize: 64584
[startup+160.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 14128 0 0 0 15972 26 0 0 25 0 1 0 855964211 70389760 14048 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17185 14048 1111 63 0 17122 0
vsize: 68740
[startup+170.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 15214 0 0 0 16971 28 0 0 25 0 1 0 855964211 74944512 15134 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18297 15134 1111 63 0 18234 0
vsize: 73188
[startup+180.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 16500 0 0 0 17968 31 0 0 25 0 1 0 855964211 80080896 16420 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19551 16420 1111 63 0 19488 0
vsize: 78204
[startup+190.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 17766 0 0 0 18967 33 0 0 25 0 1 0 855964211 85360640 17686 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20840 17686 1111 63 0 20777 0
vsize: 83360
[startup+200.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 19013 0 0 0 19964 35 0 0 25 0 1 0 855964211 90710016 18933 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22146 18933 1111 63 0 22083 0
vsize: 88584
[startup+210.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 25175 0 0 0 20952 47 0 0 25 0 1 0 855964211 115318784 24959 4294967295 134512640 134716908 3221224560 3221222864 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28154 24959 1111 63 0 28091 0
vsize: 112616
[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 31797 0 0 0 21938 61 0 0 25 0 1 0 855964211 142274560 31581 4294967295 134512640 134716908 3221224560 3221221036 1077191430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34735 31581 1111 63 0 34672 0
vsize: 138940
[startup+230.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 35483 0 0 0 22932 67 0 0 25 0 1 0 855964211 157339648 35267 4294967295 134512640 134716908 3221224560 3221221028 1077359217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38413 35268 1111 63 0 38350 0
vsize: 153652
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 37300 0 0 0 23927 72 0 0 25 0 1 0 855964211 164773888 37084 4294967295 134512640 134716908 3221224560 3221222848 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40228 37084 1111 63 0 40165 0
vsize: 160912
[startup+250.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 39125 0 0 0 24922 77 0 0 25 0 1 0 855964211 172343296 38909 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42076 38909 1111 63 0 42013 0
vsize: 168304
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 45613 0 0 0 25908 90 0 0 25 0 1 0 855964211 190119936 45235 4294967295 134512640 134716908 3221224560 3221223064 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46416 45235 1111 63 0 46353 0
vsize: 185664
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 48593 0 0 0 26902 96 0 0 25 0 1 0 855964211 202293248 48215 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49388 48215 1111 63 0 49325 0
vsize: 197552
[startup+280.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 51443 0 0 0 27895 103 0 0 25 0 1 0 855964211 214056960 51065 4294967295 134512640 134716908 3221224560 3221222972 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52260 51065 1111 63 0 52197 0
vsize: 209040
[startup+290.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 54244 0 0 0 28890 108 0 0 25 0 1 0 855964211 225415168 53866 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55033 53866 1111 63 0 54970 0
vsize: 220132
[startup+300.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 56954 0 0 0 29886 112 0 0 25 0 1 0 855964211 236638208 56576 4294967295 134512640 134716908 3221224560 3221223064 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57773 56576 1111 63 0 57710 0
vsize: 231092
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 59570 0 0 0 30883 116 0 0 25 0 1 0 855964211 247320576 59192 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60381 59192 1111 63 0 60318 0
vsize: 241524
[startup+320.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 62094 0 0 0 31878 120 0 0 25 0 1 0 855964211 257601536 61716 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62891 61716 1111 63 0 62828 0
vsize: 251564
[startup+330.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 64522 0 0 0 32875 124 0 0 25 0 1 0 855964211 267608064 64144 4294967295 134512640 134716908 3221224560 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65334 64146 1111 63 0 65271 0
vsize: 261336
[startup+340.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 66836 0 0 0 33870 129 0 0 25 0 1 0 855964211 277073920 66458 4294967295 134512640 134716908 3221224560 3221222924 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67645 66458 1111 63 0 67582 0
vsize: 270580
[startup+350.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 69313 0 0 0 34865 134 0 0 25 0 1 0 855964211 287215616 68935 4294967295 134512640 134716908 3221224560 3221222968 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70121 68935 1111 63 0 70058 0
vsize: 280484
[startup+360.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 71863 0 0 0 35862 138 0 0 25 0 1 0 855964211 297627648 71485 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72663 71485 1111 63 0 72600 0
vsize: 290652
[startup+370.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 74283 0 0 0 36858 141 0 0 25 0 1 0 855964211 307499008 73905 4294967295 134512640 134716908 3221224560 3221222968 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75073 73905 1111 63 0 75010 0
vsize: 300292
[startup+380.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 76663 0 0 0 37853 147 0 0 25 0 1 0 855964211 317370368 76285 4294967295 134512640 134716908 3221224560 3221223052 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77483 76285 1111 63 0 77420 0
vsize: 309932
[startup+390.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 78941 0 0 0 38850 150 0 0 25 0 1 0 855964211 326701056 78563 4294967295 134512640 134716908 3221224560 3221223312 134630814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79761 78563 1111 63 0 79698 0
vsize: 319044
[startup+400.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 81093 0 0 0 39846 154 0 0 25 0 1 0 855964211 335491072 80715 4294967295 134512640 134716908 3221224560 3221222924 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81907 80715 1111 63 0 81844 0
vsize: 327628
[startup+410.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 83200 0 0 0 40843 158 0 0 25 0 1 0 855964211 344145920 82822 4294967295 134512640 134716908 3221224560 3221223040 134539385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84020 82822 1111 63 0 83957 0
vsize: 336080
[startup+420.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 85217 0 0 0 41840 160 0 0 25 0 1 0 855964211 352395264 84839 4294967295 134512640 134716908 3221224560 3221223288 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86034 84839 1111 63 0 85971 0
vsize: 344136
[startup+430.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 87392 0 0 0 42838 163 0 0 25 0 1 0 855964211 361320448 87014 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88213 87014 1111 63 0 88150 0
vsize: 352852
[startup+440.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 89511 0 0 0 43835 166 0 0 25 0 1 0 855964211 369971200 89133 4294967295 134512640 134716908 3221224560 3221223288 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90325 89133 1111 63 0 90262 0
vsize: 361300
[startup+450.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 91503 0 0 0 44832 169 0 0 25 0 1 0 855964211 378085376 91125 4294967295 134512640 134716908 3221224560 3221222980 134543706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92306 91125 1111 63 0 92243 0
vsize: 369224
[startup+460.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 93506 0 0 0 45830 171 0 0 25 0 1 0 855964211 386334720 93128 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94320 93128 1111 63 0 94257 0
vsize: 377280
[startup+470.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 95617 0 0 0 46825 176 0 0 25 0 1 0 855964211 394989568 95239 4294967295 134512640 134716908 3221224560 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96433 95240 1111 63 0 96370 0
vsize: 385732
[startup+480.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 97651 0 0 0 47821 180 0 0 25 0 1 0 855964211 403238912 97273 4294967295 134512640 134716908 3221224560 3221223068 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98447 97273 1111 63 0 98384 0
vsize: 393788
[startup+490.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 99601 0 0 0 48819 183 0 0 25 0 1 0 855964211 411217920 99223 4294967295 134512640 134716908 3221224560 3221223312 134630814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100395 99223 1111 63 0 100332 0
vsize: 401580
[startup+500.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 101434 0 0 0 49816 186 0 0 25 0 1 0 855964211 418791424 101056 4294967295 134512640 134716908 3221224560 3221223028 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102244 101056 1111 63 0 102181 0
vsize: 408976
[startup+510.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 103229 0 0 0 50813 189 0 0 25 0 1 0 855964211 426090496 102851 4294967295 134512640 134716908 3221224560 3221223040 134539408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104026 102851 1111 63 0 103963 0
vsize: 416104
[startup+520.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 104998 0 0 0 51809 193 0 0 25 0 1 0 855964211 433393664 104620 4294967295 134512640 134716908 3221224560 3221223288 134675301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105809 104620 1111 63 0 105746 0
vsize: 423236
[startup+530.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 106677 0 0 0 52807 195 0 0 25 0 1 0 855964211 440291328 106299 4294967295 134512640 134716908 3221224560 3221223288 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107493 106299 1111 63 0 107430 0
vsize: 429972
[startup+540.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 108333 0 0 0 53806 197 0 0 25 0 1 0 855964211 447053824 107955 4294967295 134512640 134716908 3221224560 3221222960 134542748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109144 107955 1111 63 0 109081 0
vsize: 436576
[startup+550.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 109951 0 0 0 54803 200 0 0 25 0 1 0 855964211 453677056 109573 4294967295 134512640 134716908 3221224560 3221223176 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110761 109573 1111 63 0 110698 0
vsize: 443044
[startup+560.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 111480 0 0 0 55801 202 0 0 25 0 1 0 855964211 459898880 111102 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112280 111102 1111 63 0 112217 0
vsize: 449120
[startup+570.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 112899 0 0 0 56797 206 0 0 25 0 1 0 855964211 465715200 112521 4294967295 134512640 134716908 3221224560 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113700 112522 1111 63 0 113637 0
vsize: 454800
[startup+580.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 114242 0 0 0 57795 208 0 0 25 0 1 0 855964211 471257088 113864 4294967295 134512640 134716908 3221224560 3221222972 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115053 113864 1111 63 0 114990 0
vsize: 460212
[startup+590.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 115632 0 0 0 58792 211 0 0 25 0 1 0 855964211 476938240 115254 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116440 115254 1111 63 0 116377 0
vsize: 465760
[startup+600.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 116995 0 0 0 59791 213 0 0 25 0 1 0 855964211 482480128 116617 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117793 116617 1111 63 0 117730 0
vsize: 471172
[startup+610.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 118247 0 0 0 60789 215 0 0 25 0 1 0 855964211 487620608 117869 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119048 117869 1111 63 0 118985 0
vsize: 476192
[startup+620.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 119428 0 0 0 61787 218 0 0 25 0 1 0 855964211 492486656 119050 4294967295 134512640 134716908 3221224560 3221223176 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120236 119050 1111 63 0 120173 0
vsize: 480944
[startup+630.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 120428 0 0 0 62786 219 0 0 25 0 1 0 855964211 496545792 120050 4294967295 134512640 134716908 3221224560 3221222944 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121227 120050 1111 63 0 121164 0
vsize: 484908
[startup+640.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 121261 0 0 0 63784 220 0 0 25 0 1 0 855964211 499924992 120883 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122052 120883 1111 63 0 121989 0
vsize: 488208
[startup+650.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 122064 0 0 0 64783 222 0 0 25 0 1 0 855964211 503308288 121686 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122878 121686 1111 63 0 122815 0
vsize: 491512
[startup+660.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 122980 0 0 0 65782 223 0 0 25 0 1 0 855964211 506957824 122602 4294967295 134512640 134716908 3221224560 3221222940 134539251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123769 122602 1111 63 0 123706 0
vsize: 495076
[startup+670.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 123799 0 0 0 66781 224 0 0 25 0 1 0 855964211 510337024 123421 4294967295 134512640 134716908 3221224560 3221222892 134535970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124594 123421 1111 63 0 124531 0
vsize: 498376
[startup+680.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 124555 0 0 0 67780 225 0 0 25 0 1 0 855964211 513449984 124177 4294967295 134512640 134716908 3221224560 3221222952 134542370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125354 124177 1111 63 0 125291 0
vsize: 501416
[startup+690.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 125389 0 0 0 68779 227 0 0 25 0 1 0 855964211 516829184 125011 4294967295 134512640 134716908 3221224560 3221222968 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126179 125011 1111 63 0 126116 0
vsize: 504716
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 126204 0 0 0 69778 227 0 0 25 0 1 0 855964211 520208384 125826 4294967295 134512640 134716908 3221224560 3221223292 134675288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127004 125826 1111 63 0 126941 0
vsize: 508016
[startup+710.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 126820 0 0 0 70777 228 0 0 25 0 1 0 855964211 522780672 126442 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127632 126442 1111 63 0 127569 0
vsize: 510528
[startup+720.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 127305 0 0 0 71777 229 0 0 25 0 1 0 855964211 524673024 126927 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128094 126927 1111 63 0 128031 0
vsize: 512376
[startup+730.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 127775 0 0 0 72776 231 0 0 25 0 1 0 855964211 526700544 127397 4294967295 134512640 134716908 3221224560 3221223296 134630831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128589 127397 1111 63 0 128526 0
vsize: 514356
[startup+740.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 128377 0 0 0 73775 232 0 0 25 0 1 0 855964211 529133568 127999 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129183 127999 1111 63 0 129120 0
vsize: 516732
[startup+750.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 128841 0 0 0 74774 232 0 0 25 0 1 0 855964211 531025920 128463 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129645 128463 1111 63 0 129582 0
vsize: 518580
[startup+760.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 129254 0 0 0 75773 234 0 0 25 0 1 0 855964211 532787200 128876 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130075 128876 1111 63 0 130012 0
vsize: 520300
[startup+770.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 129645 0 0 0 76772 235 0 0 25 0 1 0 855964211 534274048 129267 4294967295 134512640 134716908 3221224560 3221223020 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130438 129267 1111 63 0 130375 0
vsize: 521752
[startup+780.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 130035 0 0 0 77771 236 0 0 25 0 1 0 855964211 535896064 129657 4294967295 134512640 134716908 3221224560 3221222968 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130834 129657 1111 63 0 130771 0
vsize: 523336
[startup+790.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 130344 0 0 0 78771 236 0 0 25 0 1 0 855964211 537247744 129966 4294967295 134512640 134716908 3221224560 3221223088 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131164 129966 1111 63 0 131101 0
vsize: 524656
[startup+800.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 130622 0 0 0 79771 237 0 0 25 0 1 0 855964211 538329088 130244 4294967295 134512640 134716908 3221224560 3221223040 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131428 130244 1111 63 0 131365 0
vsize: 525712
[startup+810.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 130825 0 0 0 80770 237 0 0 25 0 1 0 855964211 539140096 130447 4294967295 134512640 134716908 3221224560 3221223040 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131626 130447 1111 63 0 131563 0
vsize: 526504
[startup+820.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 130944 0 0 0 81770 238 0 0 25 0 1 0 855964211 539680768 130566 4294967295 134512640 134716908 3221224560 3221223176 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131758 130566 1111 63 0 131695 0
vsize: 527032
[startup+830.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131045 0 0 0 82770 238 0 0 25 0 1 0 855964211 540033024 130667 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131844 130667 1111 63 0 131781 0
vsize: 527376
[startup+840.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131048 0 0 0 83770 238 0 0 25 0 1 0 855964211 540033024 130670 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131844 130670 1111 63 0 131781 0
vsize: 527376
[startup+850.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131049 0 0 0 84770 238 0 0 25 0 1 0 855964211 540033024 130671 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131844 130671 1111 63 0 131781 0
vsize: 527376
[startup+860.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131051 0 0 0 85770 238 0 0 25 0 1 0 855964211 540033024 130673 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131844 130673 1111 63 0 131781 0
vsize: 527376
[startup+870.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131054 0 0 0 86771 238 0 0 25 0 1 0 855964211 540033024 130676 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131844 130676 1111 63 0 131781 0
vsize: 527376
[startup+880.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131056 0 0 0 87771 238 0 0 25 0 1 0 855964211 540168192 130678 4294967295 134512640 134716908 3221224560 3221223212 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130678 1111 63 0 131814 0
vsize: 527508
[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131059 0 0 0 88772 238 0 0 25 0 1 0 855964211 540168192 130681 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130681 1111 63 0 131814 0
vsize: 527508
[startup+900.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131061 0 0 0 89772 238 0 0 25 0 1 0 855964211 540168192 130683 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130683 1111 63 0 131814 0
vsize: 527508
[startup+910.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131062 0 0 0 90772 238 0 0 25 0 1 0 855964211 540168192 130684 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130684 1111 63 0 131814 0
vsize: 527508
[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131067 0 0 0 91772 238 0 0 25 0 1 0 855964211 540168192 130689 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130689 1111 63 0 131814 0
vsize: 527508
[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131068 0 0 0 92772 238 0 0 25 0 1 0 855964211 540168192 130690 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130690 1111 63 0 131814 0
vsize: 527508
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131072 0 0 0 93773 238 0 0 25 0 1 0 855964211 540168192 130694 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130694 1111 63 0 131814 0
vsize: 527508
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131073 0 0 0 94773 238 0 0 25 0 1 0 855964211 540168192 130695 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130695 1111 63 0 131814 0
vsize: 527508
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131074 0 0 0 95773 239 0 0 25 0 1 0 855964211 540168192 130696 4294967295 134512640 134716908 3221224560 3221223232 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130696 1111 63 0 131814 0
vsize: 527508
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131077 0 0 0 96773 239 0 0 25 0 1 0 855964211 540168192 130699 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130699 1111 63 0 131814 0
vsize: 527508
[startup+980.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131078 0 0 0 97773 239 0 0 25 0 1 0 855964211 540168192 130700 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130700 1111 63 0 131814 0
vsize: 527508
[startup+990.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131079 0 0 0 98773 239 0 0 25 0 1 0 855964211 540168192 130701 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130701 1111 63 0 131814 0
vsize: 527508
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131080 0 0 0 99773 239 0 0 25 0 1 0 855964211 540168192 130702 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130702 1111 63 0 131814 0
vsize: 527508
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131083 0 0 0 100773 239 0 0 25 0 1 0 855964211 540168192 130705 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130705 1111 63 0 131814 0
vsize: 527508
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131084 0 0 0 101774 239 0 0 25 0 1 0 855964211 540168192 130706 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130706 1111 63 0 131814 0
vsize: 527508
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131085 0 0 0 102774 239 0 0 25 0 1 0 855964211 540168192 130707 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130707 1111 63 0 131814 0
vsize: 527508
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131087 0 0 0 103774 239 0 0 25 0 1 0 855964211 540168192 130709 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131877 130709 1111 63 0 131814 0
vsize: 527508
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131091 0 0 0 104774 239 0 0 25 0 1 0 855964211 540303360 130713 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130713 1111 63 0 131847 0
vsize: 527640
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131094 0 0 0 105774 239 0 0 25 0 1 0 855964211 540303360 130716 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130716 1111 63 0 131847 0
vsize: 527640
[startup+1070.03 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131096 0 0 0 106774 239 0 0 25 0 1 0 855964211 540303360 130718 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130718 1111 63 0 131847 0
vsize: 527640
[startup+1080.02 s]
Raw data (loadavg): 1.14 1.03 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131098 0 0 0 107774 239 0 0 25 0 1 0 855964211 540303360 130720 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130720 1111 63 0 131847 0
vsize: 527640
[startup+1090.03 s]
Raw data (loadavg): 1.12 1.03 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131100 0 0 0 108775 239 0 0 25 0 1 0 855964211 540303360 130722 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130722 1111 63 0 131847 0
vsize: 527640
[startup+1100.03 s]
Raw data (loadavg): 1.10 1.03 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131103 0 0 0 109775 239 0 0 25 0 1 0 855964211 540303360 130725 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130725 1111 63 0 131847 0
vsize: 527640
[startup+1110.02 s]
Raw data (loadavg): 1.08 1.03 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131106 0 0 0 110775 239 0 0 25 0 1 0 855964211 540303360 130728 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130728 1111 63 0 131847 0
vsize: 527640
[startup+1120.02 s]
Raw data (loadavg): 1.07 1.03 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131107 0 0 0 111775 239 0 0 25 0 1 0 855964211 540303360 130729 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130729 1111 63 0 131847 0
vsize: 527640
[startup+1130.02 s]
Raw data (loadavg): 1.06 1.03 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131109 0 0 0 112775 239 0 0 25 0 1 0 855964211 540303360 130731 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130731 1111 63 0 131847 0
vsize: 527640
[startup+1140.03 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 131109 0 0 0 113775 239 0 0 25 0 1 0 855964211 540303360 130731 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131910 130731 1111 63 0 131847 0
vsize: 527640
[startup+1150.03 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 140834 0 0 0 114753 261 0 0 25 0 1 0 855964211 550764544 133036 4294967295 134512640 134716908 3221224560 3221222744 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134464 133036 1111 63 0 134401 0
vsize: 537856
[startup+1160.03 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 272384 0 0 0 115475 539 0 0 25 0 1 0 855964211 550977536 133146 4294967295 134512640 134716908 3221224560 3221222112 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134516 133146 1111 63 0 134453 0
vsize: 538064
[startup+1170.03 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 389377 0 0 0 116216 798 0 0 25 0 1 0 855964211 551337984 133207 4294967295 134512640 134716908 3221224560 3221222680 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134604 133212 1111 63 0 134541 0
vsize: 538416
[startup+1180.03 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 495779 0 0 0 116975 1039 0 0 25 0 1 0 855964211 551424000 133169 4294967295 134512640 134716908 3221224560 3221222744 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134625 133179 1111 63 0 134562 0
vsize: 538500
[startup+1190.03 s]
Raw data (loadavg): 1.10 1.04 0.94 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 529660 0 0 0 117898 1117 0 0 25 0 1 0 855964211 561258496 135218 4294967295 134512640 134716908 3221224560 3221220624 1074883663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137026 135218 1111 63 0 136963 0
vsize: 548104
[startup+1200.03 s]
Raw data (loadavg): 1.16 1.05 0.94 2/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) R 9360 8378 8377 0 -1 0 529830 0 0 0 118898 1117 0 0 25 0 1 0 855964211 561651712 135388 4294967295 134512640 134716908 3221224560 3221220624 1075095115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137122 135388 1111 63 0 137059 0
vsize: 548488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 1.16 1.05 0.94 1/55 9361
Raw data (stat): 9361 (bsolo_lpr_cuts-) Z 9360 8378 8377 0 -1 1036 529830 0 0 0 118898 1142 0 0 25 0 1 0 855964211 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.28
CPU time (s): 1200.41
CPU user time (s): 1188.98
CPU system time (s): 11.4233
CPU usage (%): 100.011
Max. virtual memory (Kb): 548488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####