PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb
MD5SUM	e4d850251a185eefeba808334bb200f5
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	102000
Biggest coefficient in the objective function	166502400
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	44079267426
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	166502400
Number of bits of the biggest number in a constraint	28
Biggest sum of numbers in a constraint	44079267426
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	267.004
Number of variables	118500
Total number of constraints	10525
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	10525
Minimum length of a constraint	10
Maximum length of a constraint	118500
Trace number 29030

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        737872 kB
Buffers:         13852 kB
Cached:         253088 kB
SwapCached:       3972 kB
Active:          78464 kB
Inactive:       195360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        737620 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            17212 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:45:14 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 10805 7 1200.43 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.94 0.90 0.91 2/55 18165
Raw data (stat): 18165 (runsolver) R 18164 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 720902823 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.95 0.90 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 1309 0 0 0 993 4 0 0 25 0 1 0 720902823 16314368 1233 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 1233 1111 63 0 3920 0
vsize: 15932
[startup+20.0008 s]
Raw data (loadavg): 0.96 0.91 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 1605 0 0 0 1993 5 0 0 25 0 1 0 720902823 17551360 1529 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 1529 1111 63 0 4222 0
vsize: 17140
[startup+30.0016 s]
Raw data (loadavg): 0.97 0.91 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 1913 0 0 0 2992 7 0 0 25 0 1 0 720902823 18792448 1837 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 1837 1111 63 0 4525 0
vsize: 18352
[startup+40.0024 s]
Raw data (loadavg): 0.97 0.91 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 2213 0 0 0 3991 8 0 0 25 0 1 0 720902823 20041728 2137 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4893 2137 1111 63 0 4830 0
vsize: 19572
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.91 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 2520 0 0 0 4990 9 0 0 25 0 1 0 720902823 21299200 2444 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2444 1111 63 0 5137 0
vsize: 20800
[startup+60.0018 s]
Raw data (loadavg): 0.98 0.92 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 2823 0 0 0 5990 9 0 0 25 0 1 0 720902823 22540288 2747 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5503 2747 1111 63 0 5440 0
vsize: 22012
[startup+70.0016 s]
Raw data (loadavg): 0.98 0.92 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 3137 0 0 0 6989 10 0 0 25 0 1 0 720902823 23797760 3061 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5810 3061 1111 63 0 5747 0
vsize: 23240
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.92 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 3447 0 0 0 7989 10 0 0 25 0 1 0 720902823 25149440 3371 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6140 3371 1111 63 0 6077 0
vsize: 24560
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.92 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 3750 0 0 0 8989 10 0 0 25 0 1 0 720902823 26386432 3674 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6442 3679 1111 63 0 6379 0
vsize: 25768
[startup+100.005 s]
Raw data (loadavg): 0.99 0.92 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 4069 0 0 0 9989 11 0 0 25 0 1 0 720902823 27643904 3993 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6749 3993 1111 63 0 6686 0
vsize: 26996
[startup+110.107 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 4373 0 0 0 10999 11 0 0 25 0 1 0 720902823 28884992 4297 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7052 4297 1111 63 0 6989 0
vsize: 28208
[startup+120.114 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 4694 0 0 0 11999 12 0 0 25 0 1 0 720902823 30126080 4618 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 4618 1111 63 0 7292 0
vsize: 29420
[startup+130.114 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 4997 0 0 0 12999 12 0 0 25 0 1 0 720902823 31367168 4921 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7658 4921 1111 63 0 7595 0
vsize: 30632
[startup+140.114 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 5311 0 0 0 13998 13 0 0 25 0 1 0 720902823 32780288 5235 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8003 5235 1111 63 0 7940 0
vsize: 32012
[startup+150.114 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 5628 0 0 0 14998 13 0 0 25 0 1 0 720902823 34045952 5552 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8312 5552 1111 63 0 8249 0
vsize: 33248
[startup+160.114 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 5937 0 0 0 15997 14 0 0 25 0 1 0 720902823 35307520 5861 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8620 5861 1111 63 0 8557 0
vsize: 34480
[startup+170.113 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 6253 0 0 0 16997 15 0 0 25 0 1 0 720902823 36573184 6177 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8929 6177 1111 63 0 8866 0
vsize: 35716
[startup+180.113 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 6576 0 0 0 17996 15 0 0 25 0 1 0 720902823 37949440 6500 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9265 6500 1111 63 0 9202 0
vsize: 37060
[startup+190.114 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 6884 0 0 0 18996 16 0 0 25 0 1 0 720902823 39206912 6808 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9572 6808 1111 63 0 9509 0
vsize: 38288
[startup+200.114 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 7200 0 0 0 19995 17 0 0 25 0 1 0 720902823 40448000 7124 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9875 7124 1111 63 0 9812 0
vsize: 39500
[startup+210.114 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 7516 0 0 0 20995 17 0 0 25 0 1 0 720902823 41689088 7440 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10178 7440 1111 63 0 10115 0
vsize: 40712
[startup+220.113 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 7833 0 0 0 21994 18 0 0 25 0 1 0 720902823 43085824 7757 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 7757 1111 63 0 10456 0
vsize: 42076
[startup+230.113 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 8154 0 0 0 22994 19 0 0 25 0 1 0 720902823 44322816 8078 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10821 8078 1111 63 0 10758 0
vsize: 43284
[startup+240.113 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 8468 0 0 0 23994 19 0 0 25 0 1 0 720902823 45715456 8392 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11161 8392 1111 63 0 11098 0
vsize: 44644
[startup+250.113 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 8784 0 0 0 24994 19 0 0 25 0 1 0 720902823 46956544 8708 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11464 8708 1111 63 0 11401 0
vsize: 45856
[startup+260.113 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 9106 0 0 0 25993 20 0 0 25 0 1 0 720902823 48197632 9030 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11767 9030 1111 63 0 11704 0
vsize: 47068
[startup+270.112 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 9432 0 0 0 26993 20 0 0 25 0 1 0 720902823 49635328 9356 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12118 9356 1111 63 0 12055 0
vsize: 48472
[startup+280.112 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 9748 0 0 0 27993 21 0 0 25 0 1 0 720902823 51007488 9672 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 9672 1111 63 0 12390 0
vsize: 49812
[startup+290.113 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 10076 0 0 0 28993 21 0 0 25 0 1 0 720902823 52244480 10000 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12755 10000 1111 63 0 12692 0
vsize: 51020
[startup+300.113 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 10399 0 0 0 29993 21 0 0 25 0 1 0 720902823 53620736 10323 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13091 10323 1111 63 0 13028 0
vsize: 52364
[startup+310.112 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 10722 0 0 0 30992 22 0 0 25 0 1 0 720902823 54882304 10646 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13399 10646 1111 63 0 13336 0
vsize: 53596
[startup+320.112 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 11044 0 0 0 31991 23 0 0 25 0 1 0 720902823 56258560 10968 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13735 10968 1111 63 0 13672 0
vsize: 54940
[startup+330.112 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 11368 0 0 0 32991 23 0 0 25 0 1 0 720902823 57516032 11292 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14042 11292 1111 63 0 13979 0
vsize: 56168
[startup+340.112 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 11689 0 0 0 33991 24 0 0 25 0 1 0 720902823 58912768 11613 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14383 11613 1111 63 0 14320 0
vsize: 57532
[startup+350.112 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 12018 0 0 0 34990 24 0 0 25 0 1 0 720902823 60289024 11942 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14719 11942 1111 63 0 14656 0
vsize: 58876
[startup+360.112 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 12347 0 0 0 35990 25 0 0 25 0 1 0 720902823 61550592 12271 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15027 12271 1111 63 0 14964 0
vsize: 60108
[startup+370.112 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 12670 0 0 0 36990 25 0 0 25 0 1 0 720902823 62926848 12594 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15363 12594 1111 63 0 15300 0
vsize: 61452
[startup+380.121 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 12999 0 0 0 37990 26 0 0 25 0 1 0 720902823 64167936 12923 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15666 12923 1111 63 0 15603 0
vsize: 62664
[startup+390.121 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 13326 0 0 0 38989 27 0 0 25 0 1 0 720902823 65560576 13250 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16006 13250 1111 63 0 15943 0
vsize: 64024
[startup+400.12 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 13656 0 0 0 39989 27 0 0 25 0 1 0 720902823 66957312 13580 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16347 13580 1111 63 0 16284 0
vsize: 65388
[startup+410.122 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 13986 0 0 0 40989 28 0 0 25 0 1 0 720902823 68333568 13910 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16683 13910 1111 63 0 16620 0
vsize: 66732
[startup+420.121 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 14314 0 0 0 41988 29 0 0 25 0 1 0 720902823 69574656 14238 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16986 14238 1111 63 0 16923 0
vsize: 67944
[startup+430.121 s]
Raw data (loadavg): 0.99 0.96 0.91 3/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 14644 0 0 0 42987 29 0 0 25 0 1 0 720902823 70971392 14568 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17327 14568 1111 63 0 17264 0
vsize: 69308
[startup+440.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 14980 0 0 0 43987 30 0 0 25 0 1 0 720902823 72364032 14904 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17667 14904 1111 63 0 17604 0
vsize: 70668
[startup+450.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 15307 0 0 0 44986 31 0 0 25 0 1 0 720902823 73605120 15231 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17970 15231 1111 63 0 17907 0
vsize: 71880
[startup+460.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 15637 0 0 0 45986 31 0 0 25 0 1 0 720902823 74977280 15561 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18305 15561 1111 63 0 18242 0
vsize: 73220
[startup+470.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 15979 0 0 0 46986 32 0 0 25 0 1 0 720902823 76374016 15903 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18646 15903 1111 63 0 18583 0
vsize: 74584
[startup+480.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 16308 0 0 0 47985 33 0 0 25 0 1 0 720902823 77750272 16232 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18982 16232 1111 63 0 18919 0
vsize: 75928
[startup+490.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 16649 0 0 0 48985 33 0 0 25 0 1 0 720902823 79122432 16573 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19317 16573 1111 63 0 19254 0
vsize: 77268
[startup+500.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 16979 0 0 0 49984 34 0 0 25 0 1 0 720902823 80515072 16903 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19657 16903 1111 63 0 19594 0
vsize: 78628
[startup+510.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 17312 0 0 0 50984 35 0 0 25 0 1 0 720902823 81911808 17236 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19998 17236 1111 63 0 19935 0
vsize: 79992
[startup+520.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 17673 0 0 0 51983 35 0 0 25 0 1 0 720902823 83402752 17597 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20362 17597 1111 63 0 20299 0
vsize: 81448
[startup+530.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 18002 0 0 0 52983 36 0 0 25 0 1 0 720902823 84799488 17926 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20703 17926 1111 63 0 20640 0
vsize: 82812
[startup+540.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 18344 0 0 0 53983 36 0 0 25 0 1 0 720902823 86175744 18268 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21039 18268 1111 63 0 20976 0
vsize: 84156
[startup+550.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 18681 0 0 0 54982 37 0 0 25 0 1 0 720902823 87572480 18605 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21380 18605 1111 63 0 21317 0
vsize: 85520
[startup+560.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 19022 0 0 0 55983 38 0 0 25 0 1 0 720902823 88965120 18946 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21720 18946 1111 63 0 21657 0
vsize: 86880
[startup+570.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 19363 0 0 0 56983 38 0 0 25 0 1 0 720902823 90341376 19287 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22056 19287 1111 63 0 21993 0
vsize: 88224
[startup+580.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 19700 0 0 0 57982 39 0 0 25 0 1 0 720902823 91713536 19624 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22391 19624 1111 63 0 22328 0
vsize: 89564
[startup+590.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 20054 0 0 0 58982 40 0 0 25 0 1 0 720902823 93245440 19978 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22765 19978 1111 63 0 22702 0
vsize: 91060
[startup+600.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 20390 0 0 0 59981 40 0 0 25 0 1 0 720902823 94621696 20314 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23101 20314 1111 63 0 23038 0
vsize: 92404
[startup+610.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 20734 0 0 0 60981 41 0 0 25 0 1 0 720902823 95993856 20658 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23436 20658 1111 63 0 23373 0
vsize: 93744
[startup+620.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 21082 0 0 0 61981 41 0 0 25 0 1 0 720902823 97390592 21006 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23777 21006 1111 63 0 23714 0
vsize: 95108
[startup+630.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 21424 0 0 0 62981 42 0 0 25 0 1 0 720902823 98783232 21348 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24117 21348 1111 63 0 24054 0
vsize: 96468
[startup+640.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 21772 0 0 0 63980 42 0 0 25 0 1 0 720902823 100159488 21696 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24453 21696 1111 63 0 24390 0
vsize: 97812
[startup+650.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 22120 0 0 0 64980 43 0 0 25 0 1 0 720902823 101691392 22044 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24827 22044 1111 63 0 24764 0
vsize: 99308
[startup+660.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 22463 0 0 0 65979 44 0 0 25 0 1 0 720902823 103063552 22387 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25162 22387 1111 63 0 25099 0
vsize: 100648
[startup+670.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 22819 0 0 0 66979 44 0 0 25 0 1 0 720902823 104439808 22743 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25498 22743 1111 63 0 25435 0
vsize: 101992
[startup+680.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 23167 0 0 0 67978 45 0 0 25 0 1 0 720902823 105947136 23091 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25866 23091 1111 63 0 25803 0
vsize: 103464
[startup+690.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 23516 0 0 0 68978 45 0 0 25 0 1 0 720902823 107343872 23440 4294967295 134512640 134714508 3221224592 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26207 23440 1111 63 0 26144 0
vsize: 104828
[startup+700.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 23872 0 0 0 69978 46 0 0 25 0 1 0 720902823 108875776 23796 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26581 23796 1111 63 0 26518 0
vsize: 106324
[startup+710.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 24220 0 0 0 70977 47 0 0 25 0 1 0 720902823 110247936 24144 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26916 24144 1111 63 0 26853 0
vsize: 107664
[startup+720.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 24567 0 0 0 71976 48 0 0 25 0 1 0 720902823 111620096 24491 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27251 24491 1111 63 0 27188 0
vsize: 109004
[startup+730.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 24924 0 0 0 72976 48 0 0 25 0 1 0 720902823 113152000 24848 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27625 24848 1111 63 0 27562 0
vsize: 110500
[startup+740.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 25273 0 0 0 73976 49 0 0 25 0 1 0 720902823 114548736 25197 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27966 25197 1111 63 0 27903 0
vsize: 111864
[startup+750.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 25621 0 0 0 74975 49 0 0 25 0 1 0 720902823 115900416 25545 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28296 25545 1111 63 0 28233 0
vsize: 113184
[startup+760.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 25984 0 0 0 75975 50 0 0 25 0 1 0 720902823 117432320 25908 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28670 25908 1111 63 0 28607 0
vsize: 114680
[startup+770.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 26339 0 0 0 76974 51 0 0 25 0 1 0 720902823 118964224 26263 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29044 26263 1111 63 0 28981 0
vsize: 116176
[startup+780.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 26688 0 0 0 77974 51 0 0 25 0 1 0 720902823 120336384 26612 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29379 26612 1111 63 0 29316 0
vsize: 117516
[startup+790.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 27051 0 0 0 78973 52 0 0 25 0 1 0 720902823 121868288 26975 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29753 26975 1111 63 0 29690 0
vsize: 119012
[startup+800.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 27410 0 0 0 79972 53 0 0 25 0 1 0 720902823 123260928 27334 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30093 27334 1111 63 0 30030 0
vsize: 120372
[startup+810.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 27759 0 0 0 80972 54 0 0 25 0 1 0 720902823 124772352 27683 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30462 27683 1111 63 0 30399 0
vsize: 121848
[startup+820.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 28123 0 0 0 81972 54 0 0 25 0 1 0 720902823 126169088 28047 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30803 28047 1111 63 0 30740 0
vsize: 123212
[startup+830.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 28484 0 0 0 82971 55 0 0 25 0 1 0 720902823 127680512 28408 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31172 28408 1111 63 0 31109 0
vsize: 124688
[startup+840.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 28847 0 0 0 83971 55 0 0 25 0 1 0 720902823 129212416 28771 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31546 28771 1111 63 0 31483 0
vsize: 126184
[startup+850.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 29208 0 0 0 84971 56 0 0 25 0 1 0 720902823 130609152 29132 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31887 29132 1111 63 0 31824 0
vsize: 127548
[startup+860.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 29570 0 0 0 85970 56 0 0 25 0 1 0 720902823 132120576 29494 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32256 29494 1111 63 0 32193 0
vsize: 129024
[startup+870.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 29933 0 0 0 86969 57 0 0 25 0 1 0 720902823 133652480 29857 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32630 29857 1111 63 0 32567 0
vsize: 130520
[startup+880.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 30295 0 0 0 87969 58 0 0 25 0 1 0 720902823 135049216 30219 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32971 30219 1111 63 0 32908 0
vsize: 131884
[startup+890.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 30669 0 0 0 88968 59 0 0 25 0 1 0 720902823 136560640 30593 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33340 30593 1111 63 0 33277 0
vsize: 133360
[startup+900.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 31031 0 0 0 89968 59 0 0 25 0 1 0 720902823 138088448 30955 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33713 30955 1111 63 0 33650 0
vsize: 134852
[startup+910.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 31399 0 0 0 90968 60 0 0 25 0 1 0 720902823 139620352 31323 4294967295 134512640 134714508 3221224592 3221223248 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34087 31323 1111 63 0 34024 0
vsize: 136348
[startup+920.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 31766 0 0 0 91967 60 0 0 25 0 1 0 720902823 141152256 31690 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34461 31690 1111 63 0 34398 0
vsize: 137844
[startup+930.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 32136 0 0 0 92967 60 0 0 25 0 1 0 720902823 142528512 32060 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34797 32060 1111 63 0 34734 0
vsize: 139188
[startup+940.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 32498 0 0 0 93967 61 0 0 25 0 1 0 720902823 144035840 32422 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35165 32422 1111 63 0 35102 0
vsize: 140660
[startup+950.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 32860 0 0 0 94966 62 0 0 25 0 1 0 720902823 145567744 32784 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35539 32784 1111 63 0 35476 0
vsize: 142156
[startup+960.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 33234 0 0 0 95966 63 0 0 25 0 1 0 720902823 147099648 33158 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35913 33158 1111 63 0 35850 0
vsize: 143652
[startup+970.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 33608 0 0 0 96965 64 0 0 25 0 1 0 720902823 148586496 33532 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36276 33532 1111 63 0 36213 0
vsize: 145104
[startup+980.147 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 34014 0 0 0 97964 65 0 0 25 0 1 0 720902823 150499328 33938 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36743 33938 1111 63 0 36680 0
vsize: 146972
[startup+990.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 34384 0 0 0 98965 65 0 0 25 0 1 0 720902823 152039424 34308 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37119 34308 1111 63 0 37056 0
vsize: 148476
[startup+1000.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 34760 0 0 0 99964 65 0 0 25 0 1 0 720902823 153571328 34684 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37493 34684 1111 63 0 37430 0
vsize: 149972
[startup+1010.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 35129 0 0 0 100965 66 0 0 25 0 1 0 720902823 155078656 35053 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37861 35053 1111 63 0 37798 0
vsize: 151444
[startup+1020.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 35510 0 0 0 101964 67 0 0 25 0 1 0 720902823 156610560 35434 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38235 35434 1111 63 0 38172 0
vsize: 152940
[startup+1030.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 35885 0 0 0 102963 68 0 0 25 0 1 0 720902823 158138368 35809 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38608 35809 1111 63 0 38545 0
vsize: 154432
[startup+1040.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 36259 0 0 0 103963 68 0 0 25 0 1 0 720902823 159674368 36183 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38983 36183 1111 63 0 38920 0
vsize: 155932
[startup+1050.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 36640 0 0 0 104963 69 0 0 25 0 1 0 720902823 161341440 36564 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39390 36564 1111 63 0 39327 0
vsize: 157560
[startup+1060.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 37015 0 0 0 105962 69 0 0 25 0 1 0 720902823 162873344 36939 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39764 36939 1111 63 0 39701 0
vsize: 159056
[startup+1070.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 37397 0 0 0 106962 70 0 0 25 0 1 0 720902823 164405248 37321 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40138 37321 1111 63 0 40075 0
vsize: 160552
[startup+1080.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 37772 0 0 0 107962 70 0 0 25 0 1 0 720902823 165916672 37696 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40507 37696 1111 63 0 40444 0
vsize: 162028
[startup+1090.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 38155 0 0 0 108961 71 0 0 25 0 1 0 720902823 167424000 38079 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40875 38079 1111 63 0 40812 0
vsize: 163500
[startup+1100.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 38542 0 0 0 109960 72 0 0 25 0 1 0 720902823 169091072 38466 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41282 38466 1111 63 0 41219 0
vsize: 165128
[startup+1110.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 38911 0 0 0 110960 73 0 0 25 0 1 0 720902823 170622976 38835 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41656 38835 1111 63 0 41593 0
vsize: 166624
[startup+1120.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 39300 0 0 0 111960 73 0 0 25 0 1 0 720902823 172130304 39224 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42024 39224 1111 63 0 41961 0
vsize: 168096
[startup+1130.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 39681 0 0 0 112959 74 0 0 25 0 1 0 720902823 173641728 39605 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42393 39605 1111 63 0 42330 0
vsize: 169572
[startup+1140.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 40063 0 0 0 113958 75 0 0 25 0 1 0 720902823 175308800 39987 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42800 39987 1111 63 0 42737 0
vsize: 171200
[startup+1150.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 40458 0 0 0 114957 76 0 0 25 0 1 0 720902823 176816128 40382 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43168 40382 1111 63 0 43105 0
vsize: 172672
[startup+1160.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 40833 0 0 0 115956 77 0 0 25 0 1 0 720902823 178483200 40757 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43575 40757 1111 63 0 43512 0
vsize: 174300
[startup+1170.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 41215 0 0 0 116956 78 0 0 25 0 1 0 720902823 180015104 41139 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43949 41139 1111 63 0 43886 0
vsize: 175796
[startup+1180.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 41603 0 0 0 117956 78 0 0 25 0 1 0 720902823 181522432 41527 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44317 41527 1111 63 0 44254 0
vsize: 177268
[startup+1190.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 41990 0 0 0 118955 79 0 0 25 0 1 0 720902823 183189504 41914 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44724 41914 1111 63 0 44661 0
vsize: 178896
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) R 18164 8378 8377 0 -1 0 42380 0 0 0 119955 79 0 0 25 0 1 0 720902823 184721408 42304 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45098 42304 1111 63 0 45035 0
vsize: 180392
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 18165
Raw data (stat): 18165 (bsolo_lpr_cuts) Z 18164 8378 8377 0 -1 1036 42380 0 0 0 119955 87 0 0 25 0 1 0 720902823 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.25
CPU time (s): 1200.43
CPU user time (s): 1199.56
CPU system time (s): 0.876866
CPU usage (%): 100.016
Max. virtual memory (Kb): 180392
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####