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 25440

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 09:58:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19788 boxname=wulflinc31 idbench=1523 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8504dbc55a414805ff1a65155550ce21  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-qap10.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-qap10.opb
IDLAUNCH: 19788
/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:        792232 kB
Buffers:         29708 kB
Cached:         187184 kB
SwapCached:       5400 kB
Active:         154292 kB
Inactive:        69288 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791980 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13216 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 10:18:48 (client local time) WITH STATUS 0 IN 1200.64 SECONDS
stats: 19788 7 1200.64 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 1193.39 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
Raw data (loadavg): 0.85 0.97 0.94 2/55 19753
Raw data (stat): 19753 (runsolver) R 19752 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 786116696 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.97 0.94 2/55 19753
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 1273 0 0 0 991 4 0 0 25 0 1 0 786116696 17723392 1196 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4327 1196 1111 63 0 4264 0
vsize: 17308
[startup+20.001 s]
Raw data (loadavg): 0.89 0.97 0.94 2/55 19753
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 1930 0 0 0 1990 5 0 0 25 0 1 0 786116696 20508672 1853 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5007 1853 1111 63 0 4944 0
vsize: 20028
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.94 2/55 19753
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 2605 0 0 0 2989 7 0 0 25 0 1 0 786116696 23150592 2528 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5652 2528 1111 63 0 5589 0
vsize: 22608
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.97 0.94 2/55 19753
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 3316 0 0 0 3988 8 0 0 25 0 1 0 786116696 26079232 3239 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6367 3239 1111 63 0 6304 0
vsize: 25468
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.97 0.94 2/55 19753
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 4050 0 0 0 4986 10 0 0 25 0 1 0 786116696 29159424 3973 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7119 3973 1111 63 0 7056 0
vsize: 28476
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.97 0.94 2/55 19753
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 4811 0 0 0 5985 11 0 0 25 0 1 0 786116696 32239616 4734 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7871 4734 1111 63 0 7808 0
vsize: 31484
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 19753
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 5597 0 0 0 6983 13 0 0 25 0 1 0 786116696 35508224 5520 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8669 5520 1111 63 0 8606 0
vsize: 34676
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 19753
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 6394 0 0 0 7981 15 0 0 25 0 1 0 786116696 38735872 6317 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9457 6317 1111 63 0 9394 0
vsize: 37828
[startup+90.256 s]
Raw data (loadavg): 1.12 1.00 0.95 2/57 19794
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 7222 0 0 0 9004 17 0 0 25 0 1 0 786116696 42106880 7145 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10280 7145 1111 63 0 10217 0
vsize: 41120
[startup+100.256 s]
Raw data (loadavg): 1.17 1.02 0.96 2/55 19806
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 8050 0 0 0 10003 18 0 0 25 0 1 0 786116696 45486080 7973 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11105 7973 1111 63 0 11042 0
vsize: 44420
[startup+110.256 s]
Raw data (loadavg): 1.15 1.02 0.96 2/55 19806
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 8882 0 0 0 11001 20 0 0 25 0 1 0 786116696 48861184 8805 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11929 8805 1111 63 0 11866 0
vsize: 47716
[startup+120.257 s]
Raw data (loadavg): 1.12 1.02 0.96 2/55 19806
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 9733 0 0 0 12000 22 0 0 25 0 1 0 786116696 52490240 9656 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12815 9656 1111 63 0 12752 0
vsize: 51260
[startup+130.257 s]
Raw data (loadavg): 1.10 1.02 0.96 2/55 19806
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 10602 0 0 0 12999 23 0 0 25 0 1 0 786116696 56012800 10525 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13675 10525 1111 63 0 13612 0
vsize: 54700
[startup+140.257 s]
Raw data (loadavg): 1.09 1.02 0.96 2/55 19806
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 11495 0 0 0 13998 24 0 0 25 0 1 0 786116696 59682816 11418 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14571 11418 1111 63 0 14508 0
vsize: 58284
[startup+150.258 s]
Raw data (loadavg): 1.07 1.01 0.96 2/55 19806
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 12395 0 0 0 14997 25 0 0 25 0 1 0 786116696 63348736 12318 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15466 12318 1111 63 0 15403 0
vsize: 61864
[startup+160.258 s]
Raw data (loadavg): 1.06 1.01 0.96 2/55 19806
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 13395 0 0 0 15995 28 0 0 25 0 1 0 786116696 67465216 13318 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16471 13318 1111 63 0 16408 0
vsize: 65884
[startup+170.259 s]
Raw data (loadavg): 1.05 1.01 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 14401 0 0 0 16992 31 0 0 25 0 1 0 786116696 71573504 14324 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17474 14324 1111 63 0 17411 0
vsize: 69896
[startup+180.26 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 15501 0 0 0 17990 33 0 0 25 0 1 0 786116696 76120064 15424 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18584 15424 1111 63 0 18521 0
vsize: 74336
[startup+190.26 s]
Raw data (loadavg): 1.04 1.01 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 16746 0 0 0 18988 36 0 0 25 0 1 0 786116696 81108992 16669 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19802 16669 1111 63 0 19739 0
vsize: 79208
[startup+200.26 s]
Raw data (loadavg): 1.03 1.01 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 17946 0 0 0 19985 38 0 0 25 0 1 0 786116696 86102016 17869 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21021 17869 1111 63 0 20958 0
vsize: 84084
[startup+210.26 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 19128 0 0 0 20983 41 0 0 25 0 1 0 786116696 91160576 19051 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22256 19052 1111 63 0 22193 0
vsize: 89024
[startup+220.261 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 26552 0 0 0 21966 58 0 0 25 0 1 0 786116696 120877056 26339 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29511 26339 1111 63 0 29448 0
vsize: 118044
[startup+230.261 s]
Raw data (loadavg): 1.02 1.01 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 31932 0 0 0 22953 70 0 0 25 0 1 0 786116696 142819328 31719 4294967295 134512640 134714508 3221221776 3221219844 1077314242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34868 31719 1111 63 0 34805 0
vsize: 139472
[startup+240.261 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 35612 0 0 0 23944 78 0 0 25 0 1 0 786116696 157884416 35399 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38546 35399 1111 63 0 38483 0
vsize: 154184
[startup+250.261 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 37417 0 0 0 24940 82 0 0 25 0 1 0 786116696 165318656 37204 4294967295 134512640 134714508 3221221776 3221219784 1077364304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40361 37204 1111 63 0 40298 0
vsize: 161444
[startup+260.262 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 39234 0 0 0 25933 89 0 0 25 0 1 0 786116696 172752896 39021 4294967295 134512640 134714508 3221221776 3221220024 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42176 39021 1111 63 0 42113 0
vsize: 168704
[startup+270.262 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 45780 0 0 0 26918 104 0 0 25 0 1 0 786116696 190799872 45405 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46582 45405 1111 63 0 46519 0
vsize: 186328
[startup+280.263 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 48673 0 0 0 27912 110 0 0 25 0 1 0 786116696 202702848 48298 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49488 48298 1111 63 0 49425 0
vsize: 197952
[startup+290.263 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 51465 0 0 0 28907 115 0 0 25 0 1 0 786116696 214061056 51090 4294967295 134512640 134714508 3221221776 3221220280 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52261 51091 1111 63 0 52198 0
vsize: 209044
[startup+300.263 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 54166 0 0 0 29902 120 0 0 25 0 1 0 786116696 225148928 53791 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54968 53791 1111 63 0 54905 0
vsize: 219872
[startup+310.263 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 56804 0 0 0 30898 124 0 0 25 0 1 0 786116696 235966464 56429 4294967295 134512640 134714508 3221221776 3221220304 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57609 56429 1111 63 0 57546 0
vsize: 230436
[startup+320.264 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 59357 0 0 0 31894 128 0 0 25 0 1 0 786116696 246378496 58982 4294967295 134512640 134714508 3221221776 3221220256 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60151 58982 1111 63 0 60088 0
vsize: 240604
[startup+330.264 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 61819 0 0 0 32889 133 0 0 25 0 1 0 786116696 256520192 61444 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62627 61444 1111 63 0 62564 0
vsize: 250508
[startup+340.264 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 64193 0 0 0 33885 137 0 0 25 0 1 0 786116696 266256384 63818 4294967295 134512640 134714508 3221221776 3221220260 134539352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65004 63818 1111 63 0 64941 0
vsize: 260016
[startup+350.264 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 66484 0 0 0 34881 142 0 0 25 0 1 0 786116696 275587072 66109 4294967295 134512640 134714508 3221221776 3221220528 134630798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67282 66109 1111 63 0 67219 0
vsize: 269128
[startup+360.264 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 68837 0 0 0 35878 145 0 0 25 0 1 0 786116696 285323264 68462 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69659 68462 1111 63 0 69596 0
vsize: 278636
[startup+370.265 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 71305 0 0 0 36875 148 0 0 25 0 1 0 786116696 295329792 70930 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72102 70930 1111 63 0 72039 0
vsize: 288408
[startup+380.265 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 73717 0 0 0 37871 152 0 0 25 0 1 0 786116696 305205248 73342 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74513 73342 1111 63 0 74450 0
vsize: 298052
[startup+390.265 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 76004 0 0 0 38867 156 0 0 25 0 1 0 786116696 314671104 75629 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76824 75629 1111 63 0 76761 0
vsize: 307296
[startup+400.266 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 78255 0 0 0 39863 161 0 0 25 0 1 0 786116696 323866624 77880 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79069 77880 1111 63 0 79006 0
vsize: 316276
[startup+410.265 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 80412 0 0 0 40859 165 0 0 25 0 1 0 786116696 332652544 80037 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81214 80037 1111 63 0 81151 0
vsize: 324856
[startup+420.266 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 82446 0 0 0 41857 167 0 0 25 0 1 0 786116696 341037056 82071 4294967295 134512640 134714508 3221221776 3221220260 134536744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83261 82071 1111 63 0 83198 0
vsize: 333044
[startup+430.267 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 84432 0 0 0 42854 170 0 0 25 0 1 0 786116696 349151232 84057 4294967295 134512640 134714508 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85242 84057 1111 63 0 85179 0
vsize: 340968
[startup+440.267 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 86514 0 0 0 43851 173 0 0 25 0 1 0 786116696 357670912 86139 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87322 86139 1111 63 0 87259 0
vsize: 349288
[startup+450.268 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19808
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 88579 0 0 0 44848 176 0 0 25 0 1 0 786116696 366190592 88204 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89402 88204 1111 63 0 89339 0
vsize: 357608
[startup+460.268 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 90586 0 0 0 45846 179 0 0 25 0 1 0 786116696 374304768 90211 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91383 90211 1111 63 0 91320 0
vsize: 365532
[startup+470.269 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 92484 0 0 0 46843 182 0 0 25 0 1 0 786116696 382148608 92109 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93298 92109 1111 63 0 93235 0
vsize: 373192
[startup+480.269 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 94523 0 0 0 47839 186 0 0 25 0 1 0 786116696 390533120 94148 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95345 94148 1111 63 0 95282 0
vsize: 381380
[startup+490.269 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 96525 0 0 0 48836 189 0 0 25 0 1 0 786116696 398643200 96150 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97325 96150 1111 63 0 97262 0
vsize: 389300
[startup+500.27 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 98471 0 0 0 49833 193 0 0 25 0 1 0 786116696 406622208 98096 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99273 98096 1111 63 0 99210 0
vsize: 397092
[startup+510.27 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 100331 0 0 0 50829 197 0 0 25 0 1 0 786116696 414195712 99956 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101122 99956 1111 63 0 101059 0
vsize: 404488
[startup+520.271 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 102084 0 0 0 51826 200 0 0 25 0 1 0 786116696 421498880 101709 4294967295 134512640 134714508 3221221776 3221220348 134543155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102905 101709 1111 63 0 102842 0
vsize: 411620
[startup+530.272 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 103828 0 0 0 52824 202 0 0 25 0 1 0 786116696 428531712 103453 4294967295 134512640 134714508 3221221776 3221220400 134528996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104622 103453 1111 63 0 104559 0
vsize: 418488
[startup+540.272 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 105520 0 0 0 53821 205 0 0 25 0 1 0 786116696 435560448 105145 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106338 105145 1111 63 0 106275 0
vsize: 425352
[startup+550.271 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 107126 0 0 0 54819 208 0 0 25 0 1 0 786116696 442052608 106751 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107923 106751 1111 63 0 107860 0
vsize: 431692
[startup+560.272 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 108742 0 0 0 55816 210 0 0 25 0 1 0 786116696 448679936 108367 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109541 108367 1111 63 0 109478 0
vsize: 438164
[startup+570.272 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 110296 0 0 0 56814 213 0 0 25 0 1 0 786116696 455032832 109921 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111092 109921 1111 63 0 111029 0
vsize: 444368
[startup+580.272 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 111764 0 0 0 57812 215 0 0 25 0 1 0 786116696 461119488 111389 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 112578 111389 1111 63 0 112515 0
vsize: 450312
[startup+590.272 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 113127 0 0 0 58809 218 0 0 25 0 1 0 786116696 466665472 112752 4294967295 134512640 134714508 3221221776 3221220184 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 113932 112752 1111 63 0 113869 0
vsize: 455728
[startup+600.273 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 114421 0 0 0 59807 220 0 0 25 0 1 0 786116696 471937024 114046 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 115219 114046 1111 63 0 115156 0
vsize: 460876
[startup+610.273 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 115784 0 0 0 60805 222 0 0 25 0 1 0 786116696 477618176 115409 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116606 115410 1111 63 0 116543 0
vsize: 466424
[startup+620.274 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 117086 0 0 0 61803 225 0 0 25 0 1 0 786116696 482889728 116711 4294967295 134512640 134714508 3221221776 3221220288 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 117893 116711 1111 63 0 117830 0
vsize: 471572
[startup+630.275 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 118314 0 0 0 62801 227 0 0 25 0 1 0 786116696 487895040 117939 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 119115 117939 1111 63 0 119052 0
vsize: 476460
[startup+640.275 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 119458 0 0 0 63799 229 0 0 25 0 1 0 786116696 492625920 119083 4294967295 134512640 134714508 3221221776 3221220504 134672936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120270 119083 1111 63 0 120207 0
vsize: 481080
[startup+650.275 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 120427 0 0 0 64797 231 0 0 25 0 1 0 786116696 496549888 120052 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 121228 120052 1111 63 0 121165 0
vsize: 484912
[startup+660.275 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 121226 0 0 0 65797 231 0 0 25 0 1 0 786116696 499793920 120851 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 122020 120851 1111 63 0 121957 0
vsize: 488080
[startup+670.276 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 122011 0 0 0 66796 233 0 0 25 0 1 0 786116696 503037952 121636 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 122812 121636 1111 63 0 122749 0
vsize: 491248
[startup+680.276 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 122907 0 0 0 67795 234 0 0 25 0 1 0 786116696 506691584 122532 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123704 122532 1111 63 0 123641 0
vsize: 494816
[startup+690.276 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 123711 0 0 0 68793 236 0 0 25 0 1 0 786116696 510070784 123336 4294967295 134512640 134714508 3221221776 3221220544 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 124529 123336 1111 63 0 124466 0
vsize: 498116
[startup+700.277 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 124434 0 0 0 69792 237 0 0 25 0 1 0 786116696 513048576 124059 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 125256 124059 1111 63 0 125193 0
vsize: 501024
[startup+710.276 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 125256 0 0 0 70791 238 0 0 25 0 1 0 786116696 516292608 124881 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126048 124881 1111 63 0 125985 0
vsize: 504192
[startup+720.277 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 126041 0 0 0 71790 240 0 0 25 0 1 0 786116696 519536640 125666 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126840 125666 1111 63 0 126777 0
vsize: 507360
[startup+730.277 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 126689 0 0 0 72789 241 0 0 25 0 1 0 786116696 522244096 126314 4294967295 134512640 134714508 3221221776 3221220156 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127501 126314 1111 63 0 127438 0
vsize: 510004
[startup+740.278 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 127166 0 0 0 73788 242 0 0 25 0 1 0 786116696 524136448 126791 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127963 126791 1111 63 0 127900 0
vsize: 511852
[startup+750.278 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 127619 0 0 0 74787 243 0 0 25 0 1 0 786116696 526028800 127244 4294967295 134512640 134714508 3221221776 3221220184 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128425 127244 1111 63 0 128362 0
vsize: 513700
[startup+760.278 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 128186 0 0 0 75786 244 0 0 25 0 1 0 786116696 528326656 127811 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128986 127811 1111 63 0 128923 0
vsize: 515944
[startup+770.279 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 128686 0 0 0 76786 245 0 0 25 0 1 0 786116696 530354176 128311 4294967295 134512640 134714508 3221221776 3221220160 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 129481 128311 1111 63 0 129418 0
vsize: 517924
[startup+780.279 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 129093 0 0 0 77785 246 0 0 25 0 1 0 786116696 532115456 128718 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 129911 128718 1111 63 0 129848 0
vsize: 519644
[startup+790.279 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 129466 0 0 0 78784 246 0 0 25 0 1 0 786116696 533602304 129091 4294967295 134512640 134714508 3221221776 3221220240 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 130274 129091 1111 63 0 130211 0
vsize: 521096
[startup+800.279 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 129876 0 0 0 79784 247 0 0 25 0 1 0 786116696 535224320 129501 4294967295 134512640 134714508 3221221776 3221220400 134528959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 130670 129501 1111 63 0 130607 0
vsize: 522680
[startup+810.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 130213 0 0 0 80784 248 0 0 25 0 1 0 786116696 536711168 129838 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131033 129838 1111 63 0 130970 0
vsize: 524132
[startup+820.281 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 130492 0 0 0 81783 248 0 0 25 0 1 0 786116696 537792512 130117 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131297 130117 1111 63 0 131234 0
vsize: 525188
[startup+830.281 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 130729 0 0 0 82783 249 0 0 25 0 1 0 786116696 538738688 130354 4294967295 134512640 134714508 3221221776 3221220512 134625565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131528 130354 1111 63 0 131465 0
vsize: 526112
[startup+840.281 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 130887 0 0 0 83783 249 0 0 25 0 1 0 786116696 539414528 130512 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131693 130512 1111 63 0 131630 0
vsize: 526772
[startup+850.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 130969 0 0 0 84783 249 0 0 25 0 1 0 786116696 539820032 130594 4294967295 134512640 134714508 3221221776 3221220304 134528524 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131792 130594 1111 63 0 131729 0
vsize: 527168
[startup+860.281 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131044 0 0 0 85783 249 0 0 25 0 1 0 786116696 540037120 130669 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131845 130669 1111 63 0 131782 0
vsize: 527380
[startup+870.281 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131047 0 0 0 86783 249 0 0 25 0 1 0 786116696 540037120 130672 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131845 130672 1111 63 0 131782 0
vsize: 527380
[startup+880.281 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131048 0 0 0 87784 249 0 0 25 0 1 0 786116696 540037120 130673 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131845 130673 1111 63 0 131782 0
vsize: 527380
[startup+890.281 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131050 0 0 0 88784 249 0 0 25 0 1 0 786116696 540037120 130675 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131845 130675 1111 63 0 131782 0
vsize: 527380
[startup+900.281 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131054 0 0 0 89784 249 0 0 25 0 1 0 786116696 540037120 130679 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131845 130679 1111 63 0 131782 0
vsize: 527380
[startup+910.281 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131055 0 0 0 90784 249 0 0 25 0 1 0 786116696 540172288 130680 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130680 1111 63 0 131815 0
vsize: 527512
[startup+920.282 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131058 0 0 0 91784 249 0 0 25 0 1 0 786116696 540172288 130683 4294967295 134512640 134714508 3221221776 3221220424 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130683 1111 63 0 131815 0
vsize: 527512
[startup+930.283 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131060 0 0 0 92784 249 0 0 25 0 1 0 786116696 540172288 130685 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130685 1111 63 0 131815 0
vsize: 527512
[startup+940.283 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131061 0 0 0 93785 249 0 0 25 0 1 0 786116696 540172288 130686 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130686 1111 63 0 131815 0
vsize: 527512
[startup+950.283 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131066 0 0 0 94784 250 0 0 25 0 1 0 786116696 540172288 130691 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130691 1111 63 0 131815 0
vsize: 527512
[startup+960.283 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131067 0 0 0 95784 250 0 0 25 0 1 0 786116696 540172288 130692 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130692 1111 63 0 131815 0
vsize: 527512
[startup+970.284 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131070 0 0 0 96784 250 0 0 25 0 1 0 786116696 540172288 130695 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130695 1111 63 0 131815 0
vsize: 527512
[startup+980.284 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131072 0 0 0 97784 250 0 0 25 0 1 0 786116696 540172288 130697 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130697 1111 63 0 131815 0
vsize: 527512
[startup+990.284 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131073 0 0 0 98784 250 0 0 25 0 1 0 786116696 540172288 130698 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130698 1111 63 0 131815 0
vsize: 527512
[startup+1000.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131076 0 0 0 99785 250 0 0 25 0 1 0 786116696 540172288 130701 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130701 1111 63 0 131815 0
vsize: 527512
[startup+1010.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131076 0 0 0 100785 250 0 0 25 0 1 0 786116696 540172288 130701 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130701 1111 63 0 131815 0
vsize: 527512
[startup+1020.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131078 0 0 0 101785 250 0 0 25 0 1 0 786116696 540172288 130703 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130703 1111 63 0 131815 0
vsize: 527512
[startup+1030.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131078 0 0 0 102785 250 0 0 25 0 1 0 786116696 540172288 130703 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130703 1111 63 0 131815 0
vsize: 527512
[startup+1040.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131080 0 0 0 103785 250 0 0 25 0 1 0 786116696 540172288 130705 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130705 1111 63 0 131815 0
vsize: 527512
[startup+1050.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131083 0 0 0 104785 250 0 0 25 0 1 0 786116696 540172288 130708 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130708 1111 63 0 131815 0
vsize: 527512
[startup+1060.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131083 0 0 0 105785 250 0 0 25 0 1 0 786116696 540172288 130708 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130708 1111 63 0 131815 0
vsize: 527512
[startup+1070.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131085 0 0 0 106786 250 0 0 25 0 1 0 786116696 540172288 130710 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131878 130710 1111 63 0 131815 0
vsize: 527512
[startup+1080.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131089 0 0 0 107786 250 0 0 25 0 1 0 786116696 540307456 130714 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130714 1111 63 0 131848 0
vsize: 527644
[startup+1090.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131090 0 0 0 108786 250 0 0 25 0 1 0 786116696 540307456 130715 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130715 1111 63 0 131848 0
vsize: 527644
[startup+1100.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131093 0 0 0 109786 250 0 0 25 0 1 0 786116696 540307456 130718 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130718 1111 63 0 131848 0
vsize: 527644
[startup+1110.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131095 0 0 0 110786 250 0 0 25 0 1 0 786116696 540307456 130720 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130720 1111 63 0 131848 0
vsize: 527644
[startup+1120.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131097 0 0 0 111787 250 0 0 25 0 1 0 786116696 540307456 130722 4294967295 134512640 134714508 3221221776 3221220432 134627261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130722 1111 63 0 131848 0
vsize: 527644
[startup+1130.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131099 0 0 0 112786 251 0 0 25 0 1 0 786116696 540307456 130724 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130724 1111 63 0 131848 0
vsize: 527644
[startup+1140.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131102 0 0 0 113787 251 0 0 25 0 1 0 786116696 540307456 130727 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130727 1111 63 0 131848 0
vsize: 527644
[startup+1150.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131103 0 0 0 114787 251 0 0 25 0 1 0 786116696 540307456 130728 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130728 1111 63 0 131848 0
vsize: 527644
[startup+1160.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131106 0 0 0 115787 251 0 0 25 0 1 0 786116696 540307456 130731 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130731 1111 63 0 131848 0
vsize: 527644
[startup+1170.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131107 0 0 0 116787 251 0 0 25 0 1 0 786116696 540307456 130732 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130732 1111 63 0 131848 0
vsize: 527644
[startup+1180.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131108 0 0 0 117787 251 0 0 25 0 1 0 786116696 540307456 130733 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130733 1111 63 0 131848 0
vsize: 527644
[startup+1190.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 131109 0 0 0 118787 251 0 0 25 0 1 0 786116696 540307456 130734 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131911 130734 1111 63 0 131848 0
vsize: 527644
[startup+1200.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) R 19752 7876 7672 0 -1 0 225484 0 0 0 119582 456 0 0 25 0 1 0 786116696 550961152 133101 4294967295 134512640 134714508 3221221776 3221219912 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 134512 133106 1111 63 0 134449 0
vsize: 538048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.54 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 19810
Raw data (stat): 19753 (bsolo_lpr_cuts) Z 19752 7876 7672 0 -1 1036 225501 0 0 0 119582 481 0 0 25 0 1 0 786116696 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.54
CPU time (s): 1200.64
CPU user time (s): 1195.83
CPU system time (s): 4.81127
CPU usage (%): 100.008
Max. virtual memory (Kb): 538048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####