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/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	924
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.71
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 41105

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 05:54:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29169 boxname=wulflinc6 idbench=953 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 29169
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        810180 kB
Buffers:         29568 kB
Cached:         170908 kB
SwapCached:       4068 kB
Active:          36792 kB
Inactive:       168892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        809928 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13164 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:14:34 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 29169 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 760 constraints.
c preprocess terminated 67.455 s
c Initial Lower Bound: 903
c Lower Bound Elapsed time: 2.84333
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 7589
Raw data (stat): 7589 (runsolver) R 7588 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907914654 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 14036 0 0 0 965 33 0 0 25 0 1 0 907914654 60600320 13948 4294967295 134512640 134716908 3221224560 3221223232 134627260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14795 13948 1111 63 0 14732 0
vsize: 59180
[startup+20.0025 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 14068 0 0 0 1965 34 0 0 25 0 1 0 907914654 60735488 13980 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14828 13980 1111 63 0 14765 0
vsize: 59312
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 14094 0 0 0 2965 34 0 0 25 0 1 0 907914654 60870656 14006 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14861 14006 1111 63 0 14798 0
vsize: 59444
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 14126 0 0 0 3965 34 0 0 25 0 1 0 907914654 61005824 14038 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 14038 1111 63 0 14831 0
vsize: 59576
[startup+50.0053 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 14152 0 0 0 4965 34 0 0 25 0 1 0 907914654 61140992 14064 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14927 14064 1111 63 0 14864 0
vsize: 59708
[startup+60.0057 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 14183 0 0 0 5965 34 0 0 25 0 1 0 907914654 61276160 14095 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14960 14095 1111 63 0 14897 0
vsize: 59840
[startup+70.0069 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 14978 0 0 0 6964 36 0 0 25 0 1 0 907914654 63467520 14714 4294967295 134512640 134716908 3221224560 3221220640 1074882586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15495 14714 1111 63 0 15432 0
vsize: 61980
[startup+80.0087 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 16315 0 0 0 7960 40 0 0 25 0 1 0 907914654 63078400 14691 4294967295 134512640 134716908 3221224560 3221223120 134698935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15400 14691 1111 63 0 15337 0
vsize: 61600
[startup+90.0092 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 16588 0 0 0 8959 42 0 0 25 0 1 0 907914654 64159744 14964 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15664 14964 1111 63 0 15601 0
vsize: 62656
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 16770 0 0 0 9957 44 0 0 25 0 1 0 907914654 64970752 15146 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15862 15146 1111 63 0 15799 0
vsize: 63448
[startup+110.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 16978 0 0 0 10957 45 0 0 25 0 1 0 907914654 65777664 15354 4294967295 134512640 134716908 3221224560 3221223200 134698400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16059 15354 1111 63 0 15996 0
vsize: 64236
[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17083 0 0 0 11956 45 0 0 25 0 1 0 907914654 66183168 15459 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16158 15459 1111 63 0 16095 0
vsize: 64632
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17111 0 0 0 12957 46 0 0 25 0 1 0 907914654 66318336 15487 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16191 15487 1111 63 0 16128 0
vsize: 64764
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17180 0 0 0 13957 46 0 0 25 0 1 0 907914654 66588672 15556 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16257 15556 1111 63 0 16194 0
vsize: 65028
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17304 0 0 0 14956 47 0 0 25 0 1 0 907914654 67129344 15680 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16389 15680 1111 63 0 16326 0
vsize: 65556
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17497 0 0 0 15956 48 0 0 25 0 1 0 907914654 67919872 15873 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16582 15873 1111 63 0 16519 0
vsize: 66328
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17574 0 0 0 16955 48 0 0 25 0 1 0 907914654 68263936 15950 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16666 15950 1111 63 0 16603 0
vsize: 66664
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17615 0 0 0 17955 49 0 0 25 0 1 0 907914654 68399104 15991 4294967295 134512640 134716908 3221224560 3221223136 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16699 15991 1111 63 0 16636 0
vsize: 66796
[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17615 0 0 0 18955 49 0 0 25 0 1 0 907914654 68399104 15991 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16699 15991 1111 63 0 16636 0
vsize: 66796
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17695 0 0 0 19955 50 0 0 25 0 1 0 907914654 68669440 16071 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16765 16071 1111 63 0 16702 0
vsize: 67060
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17824 0 0 0 20955 51 0 0 25 0 1 0 907914654 69210112 16200 4294967295 134512640 134716908 3221224560 3221223232 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16897 16200 1111 63 0 16834 0
vsize: 67588
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 17922 0 0 0 21954 52 0 0 25 0 1 0 907914654 69615616 16298 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16996 16298 1111 63 0 16933 0
vsize: 67984
[startup+230.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18030 0 0 0 22954 52 0 0 25 0 1 0 907914654 70156288 16406 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17128 16406 1111 63 0 17065 0
vsize: 68512
[startup+240.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18076 0 0 0 23954 53 0 0 25 0 1 0 907914654 70291456 16452 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17161 16452 1111 63 0 17098 0
vsize: 68644
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18076 0 0 0 24953 54 0 0 25 0 1 0 907914654 70291456 16452 4294967295 134512640 134716908 3221224560 3221223296 134535829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17161 16452 1111 63 0 17098 0
vsize: 68644
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18091 0 0 0 25953 54 0 0 25 0 1 0 907914654 70291456 16467 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17161 16467 1111 63 0 17098 0
vsize: 68644
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18253 0 0 0 26953 55 0 0 25 0 1 0 907914654 71081984 16629 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17354 16629 1111 63 0 17291 0
vsize: 69416
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18427 0 0 0 27952 56 0 0 25 0 1 0 907914654 71753728 16803 4294967295 134512640 134716908 3221224560 3221223200 134536700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17518 16803 1111 63 0 17455 0
vsize: 70072
[startup+290.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18584 0 0 0 28952 57 0 0 25 0 1 0 907914654 72425472 16960 4294967295 134512640 134716908 3221224560 3221223296 134558537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16960 1111 63 0 17619 0
vsize: 70728
[startup+300.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7589
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18584 0 0 0 29952 57 0 0 25 0 1 0 907914654 72425472 16960 4294967295 134512640 134716908 3221224560 3221223148 134542372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16960 1111 63 0 17619 0
vsize: 70728
[startup+310.025 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 7632
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18607 0 0 0 30952 57 0 0 25 0 1 0 907914654 72425472 16983 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16983 1111 63 0 17619 0
vsize: 70728
[startup+320.026 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 7642
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18607 0 0 0 31952 58 0 0 25 0 1 0 907914654 72425472 16983 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16983 1111 63 0 17619 0
vsize: 70728
[startup+330.294 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 7642
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18702 0 0 0 32979 58 0 0 25 0 1 0 907914654 72830976 17078 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17781 17078 1111 63 0 17718 0
vsize: 71124
[startup+340.294 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 7642
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18820 0 0 0 33979 58 0 0 25 0 1 0 907914654 73371648 17196 4294967295 134512640 134716908 3221224560 3221223208 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17913 17196 1111 63 0 17850 0
vsize: 71652
[startup+350.294 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 7642
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18820 0 0 0 34979 58 0 0 25 0 1 0 907914654 73371648 17196 4294967295 134512640 134716908 3221224560 3221223328 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17913 17196 1111 63 0 17850 0
vsize: 71652
[startup+360.295 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 7642
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18902 0 0 0 35979 59 0 0 25 0 1 0 907914654 73641984 17278 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17979 17278 1111 63 0 17916 0
vsize: 71916
[startup+370.295 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 7642
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 18902 0 0 0 36979 59 0 0 25 0 1 0 907914654 73641984 17278 4294967295 134512640 134716908 3221224560 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17979 17278 1111 63 0 17916 0
vsize: 71916
[startup+380.295 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19006 0 0 0 37979 60 0 0 25 0 1 0 907914654 74047488 17382 4294967295 134512640 134716908 3221224560 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 17382 1111 63 0 18015 0
vsize: 72312
[startup+390.296 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19071 0 0 0 38979 60 0 0 25 0 1 0 907914654 74317824 17447 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18144 17447 1111 63 0 18081 0
vsize: 72576
[startup+400.297 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19153 0 0 0 39979 60 0 0 25 0 1 0 907914654 74694656 17529 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18236 17529 1111 63 0 18173 0
vsize: 72944
[startup+410.297 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19204 0 0 0 40979 61 0 0 25 0 1 0 907914654 74964992 17580 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18302 17580 1111 63 0 18239 0
vsize: 73208
[startup+420.298 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19297 0 0 0 41979 61 0 0 25 0 1 0 907914654 75235328 17673 4294967295 134512640 134716908 3221224560 3221223136 134542773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18368 17673 1111 63 0 18305 0
vsize: 73472
[startup+430.299 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19368 0 0 0 42979 61 0 0 25 0 1 0 907914654 75640832 17744 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17744 1111 63 0 18404 0
vsize: 73868
[startup+440.299 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19424 0 0 0 43979 62 0 0 25 0 1 0 907914654 75776000 17800 4294967295 134512640 134716908 3221224560 3221223300 134591993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18500 17800 1111 63 0 18437 0
vsize: 74000
[startup+450.3 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19424 0 0 0 44979 62 0 0 25 0 1 0 907914654 75776000 17800 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18500 17800 1111 63 0 18437 0
vsize: 74000
[startup+460.3 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19558 0 0 0 45979 63 0 0 25 0 1 0 907914654 76316672 17934 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18632 17934 1111 63 0 18569 0
vsize: 74528
[startup+470.301 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19558 0 0 0 46979 64 0 0 25 0 1 0 907914654 76316672 17934 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18632 17934 1111 63 0 18569 0
vsize: 74528
[startup+480.301 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19558 0 0 0 47978 64 0 0 25 0 1 0 907914654 76316672 17934 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18632 17934 1111 63 0 18569 0
vsize: 74528
[startup+490.301 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19585 0 0 0 48978 65 0 0 25 0 1 0 907914654 76451840 17961 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18665 17961 1111 63 0 18602 0
vsize: 74660
[startup+500.302 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19748 0 0 0 49978 66 0 0 25 0 1 0 907914654 77127680 18124 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18124 1111 63 0 18767 0
vsize: 75320
[startup+510.303 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19821 0 0 0 50977 66 0 0 25 0 1 0 907914654 77398016 18197 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18896 18197 1111 63 0 18833 0
vsize: 75584
[startup+520.303 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 19980 0 0 0 51977 67 0 0 25 0 1 0 907914654 78073856 18356 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19061 18356 1111 63 0 18998 0
vsize: 76244
[startup+530.303 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20004 0 0 0 52977 68 0 0 25 0 1 0 907914654 78209024 18380 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19094 18380 1111 63 0 19031 0
vsize: 76376
[startup+540.304 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20004 0 0 0 53977 68 0 0 25 0 1 0 907914654 78209024 18380 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19094 18380 1111 63 0 19031 0
vsize: 76376
[startup+550.304 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20004 0 0 0 54977 68 0 0 25 0 1 0 907914654 78209024 18380 4294967295 134512640 134716908 3221224560 3221223352 134531224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19094 18380 1111 63 0 19031 0
vsize: 76376
[startup+560.304 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20148 0 0 0 55976 69 0 0 25 0 1 0 907914654 78725120 18524 4294967295 134512640 134716908 3221224560 3221223368 134558597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19220 18524 1111 63 0 19157 0
vsize: 76880
[startup+570.306 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20247 0 0 0 56976 70 0 0 25 0 1 0 907914654 79241216 18623 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19346 18623 1111 63 0 19283 0
vsize: 77384
[startup+580.306 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20247 0 0 0 57976 70 0 0 25 0 1 0 907914654 79241216 18623 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19346 18623 1111 63 0 19283 0
vsize: 77384
[startup+590.306 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20253 0 0 0 58976 70 0 0 25 0 1 0 907914654 79241216 18629 4294967295 134512640 134716908 3221224560 3221223032 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19346 18629 1111 63 0 19283 0
vsize: 77384
[startup+600.307 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20253 0 0 0 59977 70 0 0 25 0 1 0 907914654 79241216 18629 4294967295 134512640 134716908 3221224560 3221223100 134539270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19346 18629 1111 63 0 19283 0
vsize: 77384
[startup+610.308 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7644
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20391 0 0 0 60976 71 0 0 25 0 1 0 907914654 79732736 18767 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19466 18767 1111 63 0 19403 0
vsize: 77864
[startup+620.308 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20563 0 0 0 61976 72 0 0 25 0 1 0 907914654 80523264 18939 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19659 18939 1111 63 0 19596 0
vsize: 78636
[startup+630.308 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20599 0 0 0 62976 72 0 0 25 0 1 0 907914654 80658432 18975 4294967295 134512640 134716908 3221224560 3221223344 134529024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19692 18975 1111 63 0 19629 0
vsize: 78768
[startup+640.31 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20599 0 0 0 63976 72 0 0 25 0 1 0 907914654 80658432 18975 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19692 18975 1111 63 0 19629 0
vsize: 78768
[startup+650.311 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20599 0 0 0 64977 72 0 0 25 0 1 0 907914654 80658432 18975 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19692 18975 1111 63 0 19629 0
vsize: 78768
[startup+660.312 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20677 0 0 0 65976 73 0 0 25 0 1 0 907914654 80896000 19053 4294967295 134512640 134716908 3221224560 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19750 19053 1111 63 0 19687 0
vsize: 79000
[startup+670.312 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20727 0 0 0 66977 73 0 0 25 0 1 0 907914654 81166336 19103 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19816 19103 1111 63 0 19753 0
vsize: 79264
[startup+680.313 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20727 0 0 0 67977 74 0 0 25 0 1 0 907914654 81166336 19103 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19816 19103 1111 63 0 19753 0
vsize: 79264
[startup+690.313 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20768 0 0 0 68977 74 0 0 25 0 1 0 907914654 81305600 19144 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 19144 1111 63 0 19787 0
vsize: 79400
[startup+700.314 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20768 0 0 0 69977 74 0 0 25 0 1 0 907914654 81305600 19144 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 19144 1111 63 0 19787 0
vsize: 79400
[startup+710.316 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20768 0 0 0 70977 75 0 0 25 0 1 0 907914654 81305600 19144 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19850 19144 1111 63 0 19787 0
vsize: 79400
[startup+720.317 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20877 0 0 0 71977 75 0 0 25 0 1 0 907914654 81711104 19253 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19949 19253 1111 63 0 19886 0
vsize: 79796
[startup+730.318 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20877 0 0 0 72977 75 0 0 25 0 1 0 907914654 81711104 19253 4294967295 134512640 134716908 3221224560 3221223248 134534107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19949 19253 1111 63 0 19886 0
vsize: 79796
[startup+740.319 s]
Raw data (loadavg): 1.15 1.03 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 20980 0 0 0 73977 76 0 0 25 0 1 0 907914654 82239488 19356 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20078 19356 1111 63 0 20015 0
vsize: 80312
[startup+750.32 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21036 0 0 0 74977 76 0 0 25 0 1 0 907914654 82247680 19387 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20080 19387 1111 63 0 20017 0
vsize: 80320
[startup+760.32 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21128 0 0 0 75977 77 0 0 25 0 1 0 907914654 82653184 19479 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20179 19479 1111 63 0 20116 0
vsize: 80716
[startup+770.321 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21128 0 0 0 76977 77 0 0 25 0 1 0 907914654 82653184 19479 4294967295 134512640 134716908 3221224560 3221223184 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20179 19479 1111 63 0 20116 0
vsize: 80716
[startup+780.321 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21128 0 0 0 77977 78 0 0 25 0 1 0 907914654 82653184 19479 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20179 19479 1111 63 0 20116 0
vsize: 80716
[startup+790.321 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21128 0 0 0 78976 78 0 0 25 0 1 0 907914654 82653184 19479 4294967295 134512640 134716908 3221224560 3221223128 1077377371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20179 19479 1111 63 0 20116 0
vsize: 80716
[startup+800.322 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21128 0 0 0 79977 78 0 0 25 0 1 0 907914654 82653184 19479 4294967295 134512640 134716908 3221224560 3221223232 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20179 19479 1111 63 0 20116 0
vsize: 80716
[startup+810.323 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21247 0 0 0 80977 79 0 0 25 0 1 0 907914654 83193856 19598 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20311 19598 1111 63 0 20248 0
vsize: 81244
[startup+820.324 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21298 0 0 0 81976 80 0 0 25 0 1 0 907914654 83329024 19649 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20344 19649 1111 63 0 20281 0
vsize: 81376
[startup+830.325 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21304 0 0 0 82976 80 0 0 25 0 1 0 907914654 83464192 19655 4294967295 134512640 134716908 3221224560 3221223128 1077377371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20377 19656 1111 63 0 20314 0
vsize: 81508
[startup+840.324 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21366 0 0 0 83976 81 0 0 25 0 1 0 907914654 83599360 19717 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20410 19717 1111 63 0 20347 0
vsize: 81640
[startup+850.324 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21392 0 0 0 84976 81 0 0 25 0 1 0 907914654 83734528 19743 4294967295 134512640 134716908 3221224560 3221223196 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20443 19743 1111 63 0 20380 0
vsize: 81772
[startup+860.324 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21506 0 0 0 85976 82 0 0 25 0 1 0 907914654 84275200 19857 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20575 19857 1111 63 0 20512 0
vsize: 82300
[startup+870.324 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21516 0 0 0 86976 82 0 0 25 0 1 0 907914654 84246528 19867 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20568 19867 1111 63 0 20505 0
vsize: 82272
[startup+880.323 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21630 0 0 0 87976 82 0 0 25 0 1 0 907914654 84787200 19981 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20700 19981 1111 63 0 20637 0
vsize: 82800
[startup+890.324 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21667 0 0 0 88975 83 0 0 25 0 1 0 907914654 84905984 20018 4294967295 134512640 134716908 3221224560 3221223052 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20729 20018 1111 63 0 20666 0
vsize: 82916
[startup+900.323 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21705 0 0 0 89975 83 0 0 25 0 1 0 907914654 85041152 20056 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20762 20056 1111 63 0 20699 0
vsize: 83048
[startup+910.322 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21801 0 0 0 90975 84 0 0 25 0 1 0 907914654 85508096 20152 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20876 20152 1111 63 0 20813 0
vsize: 83504
[startup+920.323 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21801 0 0 0 91975 84 0 0 25 0 1 0 907914654 85508096 20152 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20876 20152 1111 63 0 20813 0
vsize: 83504
[startup+930.323 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21871 0 0 0 92975 84 0 0 25 0 1 0 907914654 85778432 20222 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20942 20222 1111 63 0 20879 0
vsize: 83768
[startup+940.322 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 21884 0 0 0 93975 85 0 0 25 0 1 0 907914654 85778432 20235 4294967295 134512640 134716908 3221224560 3221223152 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20942 20235 1111 63 0 20879 0
vsize: 83768
[startup+950.322 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22003 0 0 0 94975 85 0 0 25 0 1 0 907914654 86319104 20354 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21074 20354 1111 63 0 21011 0
vsize: 84296
[startup+960.321 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22027 0 0 0 95975 85 0 0 25 0 1 0 907914654 86319104 20378 4294967295 134512640 134716908 3221224560 3221223108 134699043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21074 20378 1111 63 0 21011 0
vsize: 84296
[startup+970.32 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22027 0 0 0 96975 85 0 0 25 0 1 0 907914654 86319104 20378 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21074 20378 1111 63 0 21011 0
vsize: 84296
[startup+980.32 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22045 0 0 0 97975 86 0 0 25 0 1 0 907914654 86392832 20396 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21092 20396 1111 63 0 21029 0
vsize: 84368
[startup+990.319 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22137 0 0 0 98975 86 0 0 25 0 1 0 907914654 86798336 20488 4294967295 134512640 134716908 3221224560 3221223320 134592385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21191 20488 1111 63 0 21128 0
vsize: 84764
[startup+1000.32 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22210 0 0 0 99975 87 0 0 25 0 1 0 907914654 87068672 20561 4294967295 134512640 134716908 3221224560 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21257 20561 1111 63 0 21194 0
vsize: 85028
[startup+1010.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22210 0 0 0 100975 87 0 0 25 0 1 0 907914654 87068672 20561 4294967295 134512640 134716908 3221224560 3221223196 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21257 20561 1111 63 0 21194 0
vsize: 85028
[startup+1020.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22210 0 0 0 101975 87 0 0 25 0 1 0 907914654 87068672 20561 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21257 20561 1111 63 0 21194 0
vsize: 85028
[startup+1030.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22216 0 0 0 102975 87 0 0 25 0 1 0 907914654 87134208 20567 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21273 20567 1111 63 0 21210 0
vsize: 85092
[startup+1040.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22235 0 0 0 103975 88 0 0 25 0 1 0 907914654 87269376 20586 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21306 20586 1111 63 0 21243 0
vsize: 85224
[startup+1050.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22301 0 0 0 104975 88 0 0 25 0 1 0 907914654 87482368 20652 4294967295 134512640 134716908 3221224560 3221223232 134542977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21358 20652 1111 63 0 21295 0
vsize: 85432
[startup+1060.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22359 0 0 0 105975 88 0 0 25 0 1 0 907914654 87752704 20710 4294967295 134512640 134716908 3221224560 3221223120 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21424 20710 1111 63 0 21361 0
vsize: 85696
[startup+1070.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22359 0 0 0 106975 88 0 0 25 0 1 0 907914654 87535616 20678 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21371 20678 1111 63 0 21308 0
vsize: 85484
[startup+1080.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22359 0 0 0 107975 89 0 0 25 0 1 0 907914654 87535616 20678 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21371 20678 1111 63 0 21308 0
vsize: 85484
[startup+1090.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22388 0 0 0 108975 89 0 0 25 0 1 0 907914654 87670784 20707 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21404 20707 1111 63 0 21341 0
vsize: 85616
[startup+1100.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22424 0 0 0 109975 89 0 0 25 0 1 0 907914654 87920640 20743 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21465 20743 1111 63 0 21402 0
vsize: 85860
[startup+1110.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22459 0 0 0 110975 90 0 0 25 0 1 0 907914654 87973888 20778 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21478 20778 1111 63 0 21415 0
vsize: 85912
[startup+1120.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22459 0 0 0 111975 90 0 0 25 0 1 0 907914654 87973888 20778 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21478 20778 1111 63 0 21415 0
vsize: 85912
[startup+1130.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22481 0 0 0 112976 90 0 0 25 0 1 0 907914654 88109056 20800 4294967295 134512640 134716908 3221224560 3221223200 134698425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21511 20800 1111 63 0 21448 0
vsize: 86044
[startup+1140.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22618 0 0 0 113975 91 0 0 25 0 1 0 907914654 88608768 20937 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21633 20937 1111 63 0 21570 0
vsize: 86532
[startup+1150.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22618 0 0 0 114975 91 0 0 25 0 1 0 907914654 88608768 20937 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21633 20937 1111 63 0 21570 0
vsize: 86532
[startup+1160.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22618 0 0 0 115975 91 0 0 25 0 1 0 907914654 88608768 20937 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21633 20937 1111 63 0 21570 0
vsize: 86532
[startup+1170.31 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22618 0 0 0 116975 92 0 0 25 0 1 0 907914654 88608768 20937 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21633 20937 1111 63 0 21570 0
vsize: 86532
[startup+1174.73 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 7646
Raw data (stat): 7589 (bsolo_lpr_cuts-) R 7588 25568 25567 0 -1 0 22618 0 0 0 116975 92 0 0 25 0 1 0 907914654 88608768 20937 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21633 20937 1111 63 0 21570 0
vsize: 0

Child status: 0
Real time (s): 1174.73
CPU time (s): 1175.09
CPU user time (s): 1174.13
CPU system time (s): 0.961853
CPU usage (%): 100.031
Max. virtual memory (Kb): 86532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####