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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb
MD5SUM	889599bea53ff906bd4dd516c552c027
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	123680
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6484387800
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	188743680
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	10767194085
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.12283
Number of variables	123680
Total number of constraints	404
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	404
Minimum length of a constraint	20
Maximum length of a constraint	123680
Trace number 26066

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 01:16:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15667 boxname=wulflinc31 idbench=1206 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  889599bea53ff906bd4dd516c552c027  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-d6cube.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-d6cube.opb
IDLAUNCH: 15667
/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:        642088 kB
Buffers:         24532 kB
Cached:         346484 kB
SwapCached:       1352 kB
Active:         265300 kB
Inactive:       108248 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        641836 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13208 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 01:36:19 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 15667 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.93 0.98 0.93 2/55 20733
Raw data (stat): 20733 (runsolver) R 20732 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 826186441 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 1188 0 0 0 990 5 0 0 25 0 1 0 826186441 16056320 1111 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3920 1111 1111 63 0 3857 0
vsize: 15680
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 1409 0 0 0 1990 5 0 0 25 0 1 0 826186441 16904192 1332 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4127 1332 1111 63 0 4064 0
vsize: 16508
[startup+30.0013 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 1629 0 0 0 2989 6 0 0 25 0 1 0 826186441 17747968 1552 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4333 1552 1111 63 0 4270 0
vsize: 17332
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 1846 0 0 0 3989 6 0 0 25 0 1 0 826186441 18747392 1769 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4577 1769 1111 63 0 4514 0
vsize: 18308
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2065 0 0 0 4988 8 0 0 25 0 1 0 826186441 19591168 1988 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4783 1988 1111 63 0 4720 0
vsize: 19132
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2285 0 0 0 5987 9 0 0 25 0 1 0 826186441 20434944 2208 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4989 2208 1111 63 0 4926 0
vsize: 19956
[startup+70.0034 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2510 0 0 0 6987 9 0 0 25 0 1 0 826186441 21417984 2433 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5229 2433 1111 63 0 5166 0
vsize: 20916
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2732 0 0 0 7987 9 0 0 25 0 1 0 826186441 22265856 2655 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5436 2655 1111 63 0 5373 0
vsize: 21744
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 2951 0 0 0 8986 11 0 0 25 0 1 0 826186441 23244800 2874 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5675 2874 1111 63 0 5612 0
vsize: 22700
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 3171 0 0 0 9985 11 0 0 25 0 1 0 826186441 24092672 3094 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5882 3094 1111 63 0 5819 0
vsize: 23528
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 3398 0 0 0 10985 12 0 0 25 0 1 0 826186441 25079808 3321 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6123 3321 1111 63 0 6060 0
vsize: 24492
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 3618 0 0 0 11984 13 0 0 25 0 1 0 826186441 25927680 3541 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6330 3541 1111 63 0 6267 0
vsize: 25320
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 3844 0 0 0 12983 14 0 0 25 0 1 0 826186441 26927104 3767 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6574 3767 1111 63 0 6511 0
vsize: 26296
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4066 0 0 0 13983 14 0 0 25 0 1 0 826186441 27774976 3989 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6781 3989 1111 63 0 6718 0
vsize: 27124
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4286 0 0 0 14982 15 0 0 25 0 1 0 826186441 28758016 4209 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7021 4209 1111 63 0 6958 0
vsize: 28084
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4514 0 0 0 15982 16 0 0 25 0 1 0 826186441 29605888 4437 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7228 4437 1111 63 0 7165 0
vsize: 28912
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4734 0 0 0 16981 16 0 0 25 0 1 0 826186441 30588928 4657 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7468 4657 1111 63 0 7405 0
vsize: 29872
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 4961 0 0 0 17981 17 0 0 25 0 1 0 826186441 31432704 4884 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7674 4884 1111 63 0 7611 0
vsize: 30696
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 5183 0 0 0 18981 17 0 0 25 0 1 0 826186441 32419840 5106 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7915 5106 1111 63 0 7852 0
vsize: 31660
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 5404 0 0 0 19980 18 0 0 25 0 1 0 826186441 33267712 5327 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8122 5327 1111 63 0 8059 0
vsize: 32488
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 5631 0 0 0 20980 18 0 0 25 0 1 0 826186441 34254848 5554 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8363 5554 1111 63 0 8300 0
vsize: 33452
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 5857 0 0 0 21980 19 0 0 25 0 1 0 826186441 35094528 5780 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8568 5780 1111 63 0 8505 0
vsize: 34272
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6078 0 0 0 22979 19 0 0 25 0 1 0 826186441 36081664 6001 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8809 6001 1111 63 0 8746 0
vsize: 35236
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6305 0 0 0 23979 20 0 0 25 0 1 0 826186441 36925440 6228 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9015 6228 1111 63 0 8952 0
vsize: 36060
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6542 0 0 0 24978 21 0 0 25 0 1 0 826186441 37924864 6465 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9259 6465 1111 63 0 9196 0
vsize: 37036
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6769 0 0 0 25977 22 0 0 25 0 1 0 826186441 38907904 6692 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9499 6692 1111 63 0 9436 0
vsize: 37996
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 6996 0 0 0 26976 23 0 0 25 0 1 0 826186441 39890944 6919 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9739 6919 1111 63 0 9676 0
vsize: 38956
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 7224 0 0 0 27976 23 0 0 25 0 1 0 826186441 40738816 7147 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9946 7147 1111 63 0 9883 0
vsize: 39784
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 7452 0 0 0 28975 24 0 0 25 0 1 0 826186441 41725952 7375 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10187 7375 1111 63 0 10124 0
vsize: 40748
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 7678 0 0 0 29974 25 0 0 25 0 1 0 826186441 42565632 7601 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10392 7601 1111 63 0 10329 0
vsize: 41568
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 7906 0 0 0 30974 26 0 0 25 0 1 0 826186441 43552768 7829 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10633 7829 1111 63 0 10570 0
vsize: 42532
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 8135 0 0 0 31973 26 0 0 25 0 1 0 826186441 44539904 8058 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10874 8058 1111 63 0 10811 0
vsize: 43496
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 8362 0 0 0 32973 27 0 0 25 0 1 0 826186441 45387776 8285 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11081 8285 1111 63 0 11018 0
vsize: 44324
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 8596 0 0 0 33972 28 0 0 25 0 1 0 826186441 46374912 8519 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11322 8519 1111 63 0 11259 0
vsize: 45288
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 8823 0 0 0 34971 29 0 0 25 0 1 0 826186441 47353856 8746 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11561 8746 1111 63 0 11498 0
vsize: 46244
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9051 0 0 0 35971 29 0 0 25 0 1 0 826186441 48201728 8974 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11768 8974 1111 63 0 11705 0
vsize: 47072
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9285 0 0 0 36970 30 0 0 25 0 1 0 826186441 49188864 9208 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12009 9208 1111 63 0 11946 0
vsize: 48036
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9514 0 0 0 37970 31 0 0 25 0 1 0 826186441 50176000 9437 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12250 9437 1111 63 0 12187 0
vsize: 49000
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9740 0 0 0 38969 32 0 0 25 0 1 0 826186441 51015680 9663 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12455 9663 1111 63 0 12392 0
vsize: 49820
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 9975 0 0 0 39968 32 0 0 25 0 1 0 826186441 52002816 9898 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12696 9898 1111 63 0 12633 0
vsize: 50784
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 10209 0 0 0 40967 33 0 0 25 0 1 0 826186441 52989952 10132 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12937 10132 1111 63 0 12874 0
vsize: 51748
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 10437 0 0 0 41967 34 0 0 25 0 1 0 826186441 53833728 10360 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13143 10360 1111 63 0 13080 0
vsize: 52572
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 10672 0 0 0 42966 35 0 0 25 0 1 0 826186441 54820864 10595 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13384 10595 1111 63 0 13321 0
vsize: 53536
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 10899 0 0 0 43965 36 0 0 25 0 1 0 826186441 55803904 10822 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13624 10822 1111 63 0 13561 0
vsize: 54496
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 11133 0 0 0 44964 37 0 0 25 0 1 0 826186441 56786944 11056 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13864 11056 1111 63 0 13801 0
vsize: 55456
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 11367 0 0 0 45963 39 0 0 25 0 1 0 826186441 57634816 11290 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14071 11290 1111 63 0 14008 0
vsize: 56284
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 11601 0 0 0 46962 40 0 0 25 0 1 0 826186441 58621952 11524 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14312 11524 1111 63 0 14249 0
vsize: 57248
[startup+480.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 11828 0 0 0 47962 40 0 0 25 0 1 0 826186441 59609088 11751 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14553 11751 1111 63 0 14490 0
vsize: 58212
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 12079 0 0 0 48961 40 0 0 25 0 1 0 826186441 60678144 12002 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14814 12002 1111 63 0 14751 0
vsize: 59256
[startup+500.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 12306 0 0 0 49961 41 0 0 25 0 1 0 826186441 61657088 12229 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15053 12229 1111 63 0 14990 0
vsize: 60212
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 12541 0 0 0 50960 42 0 0 25 0 1 0 826186441 62644224 12464 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15294 12464 1111 63 0 15231 0
vsize: 61176
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 12776 0 0 0 51960 43 0 0 25 0 1 0 826186441 63627264 12699 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15534 12699 1111 63 0 15471 0
vsize: 62136
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13010 0 0 0 52959 43 0 0 25 0 1 0 826186441 64471040 12933 4294967295 134512640 134714508 3221221776 3221219644 1077253348 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15740 12933 1111 63 0 15677 0
vsize: 62960
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13244 0 0 0 53959 44 0 0 25 0 1 0 826186441 65458176 13167 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15981 13167 1111 63 0 15918 0
vsize: 63924
[startup+550.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13478 0 0 0 54958 45 0 0 25 0 1 0 826186441 66441216 13401 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16221 13401 1111 63 0 16158 0
vsize: 64884
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13713 0 0 0 55958 45 0 0 25 0 1 0 826186441 67432448 13636 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16463 13636 1111 63 0 16400 0
vsize: 65852
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 13948 0 0 0 56958 46 0 0 25 0 1 0 826186441 68415488 13871 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16703 13871 1111 63 0 16640 0
vsize: 66812
[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 14183 0 0 0 57957 46 0 0 25 0 1 0 826186441 69255168 14106 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16908 14106 1111 63 0 16845 0
vsize: 67632
[startup+590.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 14415 0 0 0 58957 47 0 0 25 0 1 0 826186441 70246400 14338 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17150 14338 1111 63 0 17087 0
vsize: 68600
[startup+600.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 14651 0 0 0 59956 47 0 0 25 0 1 0 826186441 71229440 14574 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17390 14574 1111 63 0 17327 0
vsize: 69560
[startup+610.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 14886 0 0 0 60956 48 0 0 25 0 1 0 826186441 72216576 14809 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17631 14809 1111 63 0 17568 0
vsize: 70524
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 15126 0 0 0 61956 48 0 0 25 0 1 0 826186441 73203712 15049 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17872 15049 1111 63 0 17809 0
vsize: 71488
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 15362 0 0 0 62956 49 0 0 25 0 1 0 826186441 74190848 15285 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18113 15285 1111 63 0 18050 0
vsize: 72452
[startup+640.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 15602 0 0 0 63955 49 0 0 25 0 1 0 826186441 75169792 15525 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18352 15525 1111 63 0 18289 0
vsize: 73408
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 15836 0 0 0 64955 50 0 0 25 0 1 0 826186441 76017664 15759 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18559 15759 1111 63 0 18496 0
vsize: 74236
[startup+660.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 16078 0 0 0 65955 50 0 0 25 0 1 0 826186441 77004800 16001 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18800 16001 1111 63 0 18737 0
vsize: 75200
[startup+670.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 16319 0 0 0 66954 51 0 0 25 0 1 0 826186441 77991936 16242 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19041 16242 1111 63 0 18978 0
vsize: 76164
[startup+680.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 16554 0 0 0 67954 52 0 0 25 0 1 0 826186441 78979072 16477 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19282 16477 1111 63 0 19219 0
vsize: 77128
[startup+690.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 16794 0 0 0 68953 52 0 0 25 0 1 0 826186441 79958016 16717 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19521 16717 1111 63 0 19458 0
vsize: 78084
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 17036 0 0 0 69953 52 0 0 25 0 1 0 826186441 80945152 16959 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19762 16959 1111 63 0 19699 0
vsize: 79048
[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 17271 0 0 0 70953 53 0 0 25 0 1 0 826186441 81932288 17194 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20003 17194 1111 63 0 19940 0
vsize: 80012
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 17518 0 0 0 71953 53 0 0 25 0 1 0 826186441 82919424 17441 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20244 17441 1111 63 0 20181 0
vsize: 80976
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 17754 0 0 0 72952 54 0 0 25 0 1 0 826186441 83906560 17677 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20485 17677 1111 63 0 20422 0
vsize: 81940
[startup+740.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18000 0 0 0 73952 54 0 0 25 0 1 0 826186441 84885504 17923 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20724 17923 1111 63 0 20661 0
vsize: 82896
[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18236 0 0 0 74952 54 0 0 25 0 1 0 826186441 85872640 18159 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20965 18159 1111 63 0 20902 0
vsize: 83860
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18484 0 0 0 75952 55 0 0 25 0 1 0 826186441 86859776 18407 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21206 18407 1111 63 0 21143 0
vsize: 84824
[startup+770.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18725 0 0 0 76952 55 0 0 25 0 1 0 826186441 87846912 18648 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21447 18648 1111 63 0 21384 0
vsize: 85788
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 18968 0 0 0 77952 56 0 0 25 0 1 0 826186441 88834048 18891 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21688 18891 1111 63 0 21625 0
vsize: 86752
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 19215 0 0 0 78951 56 0 0 25 0 1 0 826186441 89821184 19138 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21929 19138 1111 63 0 21866 0
vsize: 87716
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 19456 0 0 0 79951 56 0 0 25 0 1 0 826186441 90800128 19379 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22168 19379 1111 63 0 22105 0
vsize: 88672
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 19698 0 0 0 80950 57 0 0 25 0 1 0 826186441 91787264 19621 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22409 19621 1111 63 0 22346 0
vsize: 89636
[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 19945 0 0 0 81950 58 0 0 25 0 1 0 826186441 92913664 19868 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22684 19868 1111 63 0 22621 0
vsize: 90736
[startup+830.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 20194 0 0 0 82950 58 0 0 25 0 1 0 826186441 93900800 20117 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22925 20117 1111 63 0 22862 0
vsize: 91700
[startup+840.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 20436 0 0 0 83950 59 0 0 25 0 1 0 826186441 94887936 20359 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23166 20359 1111 63 0 23103 0
vsize: 92664
[startup+850.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 20684 0 0 0 84949 59 0 0 25 0 1 0 826186441 95875072 20607 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23407 20607 1111 63 0 23344 0
vsize: 93628
[startup+860.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 20931 0 0 0 85949 59 0 0 25 0 1 0 826186441 96854016 20854 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23646 20854 1111 63 0 23583 0
vsize: 94584
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 21173 0 0 0 86949 60 0 0 25 0 1 0 826186441 97841152 21096 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23887 21096 1111 63 0 23824 0
vsize: 95548
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 21421 0 0 0 87948 60 0 0 25 0 1 0 826186441 98828288 21344 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24128 21344 1111 63 0 24065 0
vsize: 96512
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 21670 0 0 0 88948 61 0 0 25 0 1 0 826186441 99954688 21593 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24403 21593 1111 63 0 24340 0
vsize: 97612
[startup+900.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 21919 0 0 0 89947 62 0 0 25 0 1 0 826186441 100941824 21842 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24644 21842 1111 63 0 24581 0
vsize: 98576
[startup+910.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 22166 0 0 0 90947 63 0 0 25 0 1 0 826186441 101928960 22089 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24885 22089 1111 63 0 24822 0
vsize: 99540
[startup+920.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 22415 0 0 0 91946 63 0 0 25 0 1 0 826186441 102907904 22338 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25124 22338 1111 63 0 25061 0
vsize: 100496
[startup+930.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 22668 0 0 0 92946 64 0 0 25 0 1 0 826186441 104034304 22591 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25399 22591 1111 63 0 25336 0
vsize: 101596
[startup+940.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 22916 0 0 0 93945 65 0 0 25 0 1 0 826186441 105021440 22839 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25640 22839 1111 63 0 25577 0
vsize: 102560
[startup+950.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 23203 0 0 0 94945 65 0 0 25 0 1 0 826186441 106373120 23126 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25970 23126 1111 63 0 25907 0
vsize: 103880
[startup+960.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 23451 0 0 0 95944 66 0 0 25 0 1 0 826186441 107495424 23374 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26244 23374 1111 63 0 26181 0
vsize: 104976
[startup+970.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 23701 0 0 0 96944 66 0 0 25 0 1 0 826186441 108482560 23624 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26485 23624 1111 63 0 26422 0
vsize: 105940
[startup+980.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 23956 0 0 0 97944 66 0 0 25 0 1 0 826186441 109469696 23879 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26726 23879 1111 63 0 26663 0
vsize: 106904
[startup+990.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 24209 0 0 0 98943 67 0 0 25 0 1 0 826186441 110587904 24132 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26999 24132 1111 63 0 26936 0
vsize: 107996
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 24458 0 0 0 99943 68 0 0 25 0 1 0 826186441 111579136 24381 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27241 24381 1111 63 0 27178 0
vsize: 108964
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 24713 0 0 0 100943 69 0 0 25 0 1 0 826186441 112562176 24636 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27481 24636 1111 63 0 27418 0
vsize: 109924
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 24968 0 0 0 101942 69 0 0 25 0 1 0 826186441 113688576 24891 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27756 24891 1111 63 0 27693 0
vsize: 111024
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 25224 0 0 0 102942 70 0 0 25 0 1 0 826186441 114675712 25147 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27997 25147 1111 63 0 27934 0
vsize: 111988
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 25479 0 0 0 103941 70 0 0 25 0 1 0 826186441 115662848 25402 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28238 25402 1111 63 0 28175 0
vsize: 112952
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 25733 0 0 0 104941 71 0 0 25 0 1 0 826186441 116789248 25656 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28513 25656 1111 63 0 28450 0
vsize: 114052
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 25990 0 0 0 105941 72 0 0 25 0 1 0 826186441 117772288 25913 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28753 25913 1111 63 0 28690 0
vsize: 115012
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 26243 0 0 0 106940 72 0 0 25 0 1 0 826186441 118898688 26166 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29028 26166 1111 63 0 28965 0
vsize: 116112
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 26499 0 0 0 107940 72 0 0 25 0 1 0 826186441 119885824 26422 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29269 26422 1111 63 0 29206 0
vsize: 117076
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 26761 0 0 0 108940 73 0 0 25 0 1 0 826186441 121012224 26684 4294967295 134512640 134714508 3221221776 3221220112 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29544 26684 1111 63 0 29481 0
vsize: 118176
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 27016 0 0 0 109940 73 0 0 25 0 1 0 826186441 121999360 26939 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29785 26939 1111 63 0 29722 0
vsize: 119140
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 27273 0 0 0 110940 73 0 0 25 0 1 0 826186441 122982400 27196 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30025 27196 1111 63 0 29962 0
vsize: 120100
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 27534 0 0 0 111940 74 0 0 25 0 1 0 826186441 124112896 27457 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30301 27457 1111 63 0 30238 0
vsize: 121204
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 27795 0 0 0 112939 74 0 0 25 0 1 0 826186441 125239296 27718 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30576 27718 1111 63 0 30513 0
vsize: 122304
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 28052 0 0 0 113939 75 0 0 25 0 1 0 826186441 126226432 27975 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30817 27975 1111 63 0 30754 0
vsize: 123268
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 28311 0 0 0 114939 75 0 0 25 0 1 0 826186441 127344640 28234 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31090 28234 1111 63 0 31027 0
vsize: 124360
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 28568 0 0 0 115938 76 0 0 25 0 1 0 826186441 128331776 28491 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31331 28491 1111 63 0 31268 0
vsize: 125324
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 28830 0 0 0 116938 76 0 0 25 0 1 0 826186441 129458176 28753 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31606 28753 1111 63 0 31543 0
vsize: 126424
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 29091 0 0 0 117938 76 0 0 25 0 1 0 826186441 130445312 29014 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31847 29014 1111 63 0 31784 0
vsize: 127388
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 29355 0 0 0 118938 77 0 0 25 0 1 0 826186441 131571712 29278 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32122 29278 1111 63 0 32059 0
vsize: 128488
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) R 20732 7876 7672 0 -1 0 29616 0 0 0 119937 77 0 0 25 0 1 0 826186441 132558848 29539 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32363 29539 1111 63 0 32300 0
vsize: 129452
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.93 1/55 20733
Raw data (stat): 20733 (bsolo_lpr_cuts) Z 20732 7876 7672 0 -1 1036 29616 0 0 0 119937 83 0 0 25 0 1 0 826186441 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.1
CPU time (s): 1200.21
CPU user time (s): 1199.38
CPU system time (s): 0.834873
CPU usage (%): 100.01
Max. virtual memory (Kb): 129452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####