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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb
MD5SUM	40e47c460002545cc2670ca84fd53082
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2606
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2606
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2606
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2606
Total number of constraints	6509
Number of constraints which are clauses	6509
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 40753

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 21:27:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28819 boxname=wulflinc4 idbench=205 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  40e47c460002545cc2670ca84fd53082  /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2-c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2-c.opb
IDLAUNCH: 28819
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        857080 kB
Buffers:         30212 kB
Cached:         121872 kB
SwapCached:       5200 kB
Active:          37180 kB
Inactive:       121276 kB
HighTotal:      131008 kB
HighFree:        73724 kB
LowTotal:       903652 kB
LowFree:        783356 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13552 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:46:40 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 28819 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2606 variables and 6509 constraints.
c After prepocess the problem consists of 2541 variables and 8358 constraints.
c preprocess terminated 56.889 s
c Initial Lower Bound: 842
c Lower Bound Elapsed time: 20.7167
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 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.93 0.98 0.91 2/54 4618
Raw data (stat): 4618 (runsolver) R 4617 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904858094 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 4914 0 0 0 983 13 0 0 25 0 1 0 904858094 17948672 3538 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4382 3538 1111 63 0 4319 0
vsize: 17528
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 4914 0 0 0 1984 13 0 0 25 0 1 0 904858094 17948672 3538 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4382 3538 1111 63 0 4319 0
vsize: 17528
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 4949 0 0 0 2984 13 0 0 25 0 1 0 904858094 18219008 3573 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4448 3573 1111 63 0 4385 0
vsize: 17792
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 5104 0 0 0 3984 14 0 0 25 0 1 0 904858094 18759680 3728 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4580 3728 1111 63 0 4517 0
vsize: 18320
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 5225 0 0 0 4984 14 0 0 25 0 1 0 904858094 19300352 3849 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 3849 1111 63 0 4649 0
vsize: 18848
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 6405 0 0 0 5980 17 0 0 25 0 1 0 904858094 24186880 5029 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5905 5029 1111 63 0 5842 0
vsize: 23620
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 7772 0 0 0 6976 22 0 0 25 0 1 0 904858094 30486528 6155 4294967295 134512640 134716908 3221224576 3221221248 1076083919 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6155 1111 63 0 7380 0
vsize: 29772
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 7789 0 0 0 7976 22 0 0 25 0 1 0 904858094 30486528 6172 4294967295 134512640 134716908 3221224576 3221220752 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 6172 1111 63 0 7380 0
vsize: 29772
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 8023 0 0 0 8975 22 0 0 25 0 1 0 904858094 29503488 6144 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7203 6144 1111 63 0 7140 0
vsize: 28812
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 8055 0 0 0 9975 23 0 0 25 0 1 0 904858094 29618176 6170 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6170 1111 63 0 7168 0
vsize: 28924
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 8244 0 0 0 10975 23 0 0 25 0 1 0 904858094 31002624 6359 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7569 6359 1111 63 0 7506 0
vsize: 30276
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 8365 0 0 0 11975 24 0 0 25 0 1 0 904858094 29745152 6176 4294967295 134512640 134716908 3221224576 3221220708 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7262 6176 1111 63 0 7199 0
vsize: 29048
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 8365 0 0 0 12975 24 0 0 25 0 1 0 904858094 29745152 6176 4294967295 134512640 134716908 3221224576 3221220640 1075093371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7262 6176 1111 63 0 7199 0
vsize: 29048
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 8510 0 0 0 13974 24 0 0 25 0 1 0 904858094 31002624 6321 4294967295 134512640 134716908 3221224576 3221221520 1075971404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7569 6321 1111 63 0 7506 0
vsize: 30276
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 10153 0 0 0 14968 31 0 0 25 0 1 0 904858094 26238976 5671 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6406 5671 1111 63 0 6343 0
vsize: 25624
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 11536 0 0 0 15966 34 0 0 25 0 1 0 904858094 30076928 6268 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 6268 1111 63 0 7280 0
vsize: 29372
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.91 3/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 11590 0 0 0 16966 34 0 0 25 0 1 0 904858094 30412800 6322 4294967295 134512640 134716908 3221224576 3221221040 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7425 6322 1111 63 0 7362 0
vsize: 29700
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 14361 0 0 0 17959 41 0 0 25 0 1 0 904858094 30253056 6274 4294967295 134512640 134716908 3221224576 3221220752 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6274 1111 63 0 7323 0
vsize: 29544
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 15789 0 0 0 18955 46 0 0 25 0 1 0 904858094 26689536 5780 4294967295 134512640 134716908 3221224576 3221222684 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6516 5780 1111 63 0 6453 0
vsize: 26064
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 19379 0 0 0 19946 54 0 0 25 0 1 0 904858094 31768576 6296 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 6296 1111 63 0 7693 0
vsize: 31024
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 22409 0 0 0 20939 62 0 0 25 0 1 0 904858094 31948800 6681 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7800 6681 1111 63 0 7737 0
vsize: 31200
[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 23950 0 0 0 21935 66 0 0 25 0 1 0 904858094 27136000 5844 4294967295 134512640 134716908 3221224576 3221222692 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6625 5844 1111 63 0 6562 0
vsize: 26500
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 26921 0 0 0 22926 75 0 0 25 0 1 0 904858094 27123712 5866 4294967295 134512640 134716908 3221224576 3221222848 1074039635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6622 5866 1111 63 0 6559 0
vsize: 26488
[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 28391 0 0 0 23922 79 0 0 25 0 1 0 904858094 31195136 6472 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7616 6472 1111 63 0 7553 0
vsize: 30464
[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 31268 0 0 0 24915 87 0 0 25 0 1 0 904858094 31326208 6502 4294967295 134512640 134716908 3221224576 3221220580 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7648 6502 1111 63 0 7585 0
vsize: 30592
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 33989 0 0 0 25907 95 0 0 25 0 1 0 904858094 32882688 6566 4294967295 134512640 134716908 3221224576 3221220640 1075091196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8028 6566 1111 63 0 7965 0
vsize: 32112
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35146 0 0 0 26904 98 0 0 25 0 1 0 904858094 26095616 5658 4294967295 134512640 134716908 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 5658 1111 63 0 6308 0
vsize: 25484
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35146 0 0 0 27904 98 0 0 25 0 1 0 904858094 26095616 5658 4294967295 134512640 134716908 3221224576 3221223312 134535821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 5658 1111 63 0 6308 0
vsize: 25484
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35160 0 0 0 28904 98 0 0 25 0 1 0 904858094 26230784 5672 4294967295 134512640 134716908 3221224576 3221223136 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6404 5672 1111 63 0 6341 0
vsize: 25616
[startup+300.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35246 0 0 0 29905 98 0 0 25 0 1 0 904858094 26636288 5758 4294967295 134512640 134716908 3221224576 3221223264 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6503 5758 1111 63 0 6440 0
vsize: 26012
[startup+310.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35329 0 0 0 30904 99 0 0 25 0 1 0 904858094 26906624 5841 4294967295 134512640 134716908 3221224576 3221223312 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6569 5841 1111 63 0 6506 0
vsize: 26276
[startup+320.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35406 0 0 0 31904 99 0 0 25 0 1 0 904858094 27176960 5918 4294967295 134512640 134716908 3221224576 3221223280 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6635 5918 1111 63 0 6572 0
vsize: 26540
[startup+330.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35485 0 0 0 32904 99 0 0 25 0 1 0 904858094 27582464 5997 4294967295 134512640 134716908 3221224576 3221223208 134698702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6734 5997 1111 63 0 6671 0
vsize: 26936
[startup+340.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35572 0 0 0 33904 100 0 0 25 0 1 0 904858094 27852800 6084 4294967295 134512640 134716908 3221224576 3221223136 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6800 6084 1111 63 0 6737 0
vsize: 27200
[startup+350.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35653 0 0 0 34904 100 0 0 25 0 1 0 904858094 28258304 6165 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6899 6165 1111 63 0 6836 0
vsize: 27596
[startup+360.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35746 0 0 0 35904 100 0 0 25 0 1 0 904858094 28663808 6258 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6998 6258 1111 63 0 6935 0
vsize: 27992
[startup+370.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35828 0 0 0 36904 100 0 0 25 0 1 0 904858094 28934144 6340 4294967295 134512640 134716908 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 6340 1111 63 0 7001 0
vsize: 28256
[startup+380.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35905 0 0 0 37904 101 0 0 25 0 1 0 904858094 29204480 6417 4294967295 134512640 134716908 3221224576 3221223264 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7130 6417 1111 63 0 7067 0
vsize: 28520
[startup+390.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 35987 0 0 0 38904 101 0 0 25 0 1 0 904858094 29609984 6499 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6499 1111 63 0 7166 0
vsize: 28916
[startup+400.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36060 0 0 0 39905 101 0 0 25 0 1 0 904858094 29880320 6572 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7295 6572 1111 63 0 7232 0
vsize: 29180
[startup+410.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36134 0 0 0 40904 102 0 0 25 0 1 0 904858094 30150656 6646 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7361 6646 1111 63 0 7298 0
vsize: 29444
[startup+420.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36209 0 0 0 41904 102 0 0 25 0 1 0 904858094 30556160 6721 4294967295 134512640 134716908 3221224576 3221223232 134536738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7460 6721 1111 63 0 7397 0
vsize: 29840
[startup+430.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36296 0 0 0 42904 102 0 0 25 0 1 0 904858094 30826496 6808 4294967295 134512640 134716908 3221224576 3221223132 134539248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 6808 1111 63 0 7463 0
vsize: 30104
[startup+440.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36379 0 0 0 43904 102 0 0 25 0 1 0 904858094 31232000 6891 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7625 6891 1111 63 0 7562 0
vsize: 30500
[startup+450.071 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36449 0 0 0 44907 103 0 0 25 0 1 0 904858094 31502336 6961 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7691 6961 1111 63 0 7628 0
vsize: 30764
[startup+460.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36535 0 0 0 45907 103 0 0 25 0 1 0 904858094 31911936 7047 4294967295 134512640 134716908 3221224576 3221223248 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7791 7047 1111 63 0 7728 0
vsize: 31164
[startup+470.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36607 0 0 0 46907 104 0 0 25 0 1 0 904858094 32182272 7119 4294967295 134512640 134716908 3221224576 3221223216 134698720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7857 7119 1111 63 0 7794 0
vsize: 31428
[startup+480.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36688 0 0 0 47907 105 0 0 25 0 1 0 904858094 32452608 7200 4294967295 134512640 134716908 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7923 7200 1111 63 0 7860 0
vsize: 31692
[startup+490.081 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36775 0 0 0 48906 105 0 0 25 0 1 0 904858094 32858112 7287 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8022 7287 1111 63 0 7959 0
vsize: 32088
[startup+500.082 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36856 0 0 0 49906 105 0 0 25 0 1 0 904858094 33128448 7368 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8088 7368 1111 63 0 8025 0
vsize: 32352
[startup+510.087 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 36928 0 0 0 50907 106 0 0 25 0 1 0 904858094 33398784 7440 4294967295 134512640 134716908 3221224576 3221223264 134542876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8154 7440 1111 63 0 8091 0
vsize: 32616
[startup+520.087 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37013 0 0 0 51906 106 0 0 25 0 1 0 904858094 33800192 7525 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8252 7525 1111 63 0 8189 0
vsize: 33008
[startup+530.098 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37090 0 0 0 52907 106 0 0 25 0 1 0 904858094 34070528 7602 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8318 7602 1111 63 0 8255 0
vsize: 33272
[startup+540.099 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37173 0 0 0 53907 107 0 0 25 0 1 0 904858094 34476032 7685 4294967295 134512640 134716908 3221224576 3221223216 134543070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8417 7685 1111 63 0 8354 0
vsize: 33668
[startup+550.099 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37250 0 0 0 54907 107 0 0 25 0 1 0 904858094 34746368 7762 4294967295 134512640 134716908 3221224576 3221223116 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8483 7762 1111 63 0 8420 0
vsize: 33932
[startup+560.099 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37322 0 0 0 55907 108 0 0 25 0 1 0 904858094 35016704 7834 4294967295 134512640 134716908 3221224576 3221223116 134539246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8549 7834 1111 63 0 8486 0
vsize: 34196
[startup+570.102 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37394 0 0 0 56907 108 0 0 25 0 1 0 904858094 35422208 7906 4294967295 134512640 134716908 3221224576 3221222892 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8648 7906 1111 63 0 8585 0
vsize: 34592
[startup+580.108 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37477 0 0 0 57908 108 0 0 25 0 1 0 904858094 35692544 7989 4294967295 134512640 134716908 3221224576 3221223084 134535885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8714 7989 1111 63 0 8651 0
vsize: 34856
[startup+590.109 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37551 0 0 0 58908 108 0 0 25 0 1 0 904858094 35962880 8063 4294967295 134512640 134716908 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8780 8063 1111 63 0 8717 0
vsize: 35120
[startup+600.109 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37624 0 0 0 59907 109 0 0 25 0 1 0 904858094 36368384 8136 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8879 8136 1111 63 0 8816 0
vsize: 35516
[startup+610.109 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37692 0 0 0 60907 109 0 0 25 0 1 0 904858094 36638720 8204 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 8204 1111 63 0 8882 0
vsize: 35780
[startup+620.109 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37761 0 0 0 61907 109 0 0 25 0 1 0 904858094 36909056 8273 4294967295 134512640 134716908 3221224576 3221223244 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9011 8273 1111 63 0 8948 0
vsize: 36044
[startup+630.109 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37831 0 0 0 62907 110 0 0 25 0 1 0 904858094 37179392 8343 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9077 8343 1111 63 0 9014 0
vsize: 36308
[startup+640.11 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37905 0 0 0 63907 110 0 0 25 0 1 0 904858094 37449728 8417 4294967295 134512640 134716908 3221224576 3221223136 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9143 8417 1111 63 0 9080 0
vsize: 36572
[startup+650.11 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 37982 0 0 0 64907 110 0 0 25 0 1 0 904858094 37720064 8494 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9209 8494 1111 63 0 9146 0
vsize: 36836
[startup+660.111 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38051 0 0 0 65906 111 0 0 25 0 1 0 904858094 38125568 8563 4294967295 134512640 134716908 3221224576 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9308 8563 1111 63 0 9245 0
vsize: 37232
[startup+670.111 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38120 0 0 0 66906 111 0 0 25 0 1 0 904858094 38395904 8632 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9374 8632 1111 63 0 9311 0
vsize: 37496
[startup+680.111 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38199 0 0 0 67906 112 0 0 25 0 1 0 904858094 38666240 8711 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9440 8711 1111 63 0 9377 0
vsize: 37760
[startup+690.112 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38273 0 0 0 68906 112 0 0 25 0 1 0 904858094 38936576 8785 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9506 8785 1111 63 0 9443 0
vsize: 38024
[startup+700.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38351 0 0 0 69905 113 0 0 25 0 1 0 904858094 39342080 8863 4294967295 134512640 134716908 3221224576 3221223184 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9605 8863 1111 63 0 9542 0
vsize: 38420
[startup+710.112 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38423 0 0 0 70905 113 0 0 25 0 1 0 904858094 39612416 8935 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9671 8935 1111 63 0 9608 0
vsize: 38684
[startup+720.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38489 0 0 0 71904 114 0 0 25 0 1 0 904858094 39882752 9001 4294967295 134512640 134716908 3221224576 3221223216 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9737 9001 1111 63 0 9674 0
vsize: 38948
[startup+730.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38554 0 0 0 72904 114 0 0 25 0 1 0 904858094 40153088 9066 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9803 9066 1111 63 0 9740 0
vsize: 39212
[startup+740.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38630 0 0 0 73904 115 0 0 25 0 1 0 904858094 40423424 9142 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9869 9142 1111 63 0 9806 0
vsize: 39476
[startup+750.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38699 0 0 0 74904 116 0 0 25 0 1 0 904858094 40693760 9211 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9935 9211 1111 63 0 9872 0
vsize: 39740
[startup+760.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38764 0 0 0 75903 116 0 0 25 0 1 0 904858094 40964096 9276 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10001 9276 1111 63 0 9938 0
vsize: 40004
[startup+770.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38844 0 0 0 76903 116 0 0 25 0 1 0 904858094 41369600 9356 4294967295 134512640 134716908 3221224576 3221223272 134528705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10100 9356 1111 63 0 10037 0
vsize: 40400
[startup+780.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38918 0 0 0 77903 116 0 0 25 0 1 0 904858094 41639936 9430 4294967295 134512640 134716908 3221224576 3221223228 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10166 9430 1111 63 0 10103 0
vsize: 40664
[startup+790.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 38992 0 0 0 78903 117 0 0 25 0 1 0 904858094 41910272 9504 4294967295 134512640 134716908 3221224576 3221223140 134542700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10232 9504 1111 63 0 10169 0
vsize: 40928
[startup+800.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39059 0 0 0 79903 117 0 0 25 0 1 0 904858094 42180608 9571 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10298 9571 1111 63 0 10235 0
vsize: 41192
[startup+810.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39133 0 0 0 80903 117 0 0 25 0 1 0 904858094 42450944 9645 4294967295 134512640 134716908 3221224576 3221223280 134528647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10364 9645 1111 63 0 10301 0
vsize: 41456
[startup+820.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39207 0 0 0 81903 117 0 0 25 0 1 0 904858094 42856448 9719 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10463 9719 1111 63 0 10400 0
vsize: 41852
[startup+830.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39278 0 0 0 82902 118 0 0 25 0 1 0 904858094 43126784 9790 4294967295 134512640 134716908 3221224576 3221223184 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10529 9790 1111 63 0 10466 0
vsize: 42116
[startup+840.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39357 0 0 0 83902 118 0 0 25 0 1 0 904858094 43397120 9869 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10595 9869 1111 63 0 10532 0
vsize: 42380
[startup+850.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39430 0 0 0 84902 119 0 0 25 0 1 0 904858094 43667456 9942 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10661 9942 1111 63 0 10598 0
vsize: 42644
[startup+860.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39498 0 0 0 85902 119 0 0 25 0 1 0 904858094 43937792 10010 4294967295 134512640 134716908 3221224576 3221223320 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10727 10010 1111 63 0 10664 0
vsize: 42908
[startup+870.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39560 0 0 0 86902 119 0 0 25 0 1 0 904858094 44208128 10072 4294967295 134512640 134716908 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10793 10072 1111 63 0 10730 0
vsize: 43172
[startup+880.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39625 0 0 0 87902 120 0 0 25 0 1 0 904858094 44478464 10137 4294967295 134512640 134716908 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10859 10137 1111 63 0 10796 0
vsize: 43436
[startup+890.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39692 0 0 0 88902 120 0 0 25 0 1 0 904858094 44748800 10204 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10925 10204 1111 63 0 10862 0
vsize: 43700
[startup+900.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39757 0 0 0 89902 121 0 0 25 0 1 0 904858094 45019136 10269 4294967295 134512640 134716908 3221224576 3221223228 134542372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10991 10269 1111 63 0 10928 0
vsize: 43964
[startup+910.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39828 0 0 0 90901 121 0 0 25 0 1 0 904858094 45289472 10340 4294967295 134512640 134716908 3221224576 3221223160 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11057 10340 1111 63 0 10994 0
vsize: 44228
[startup+920.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39895 0 0 0 91901 121 0 0 25 0 1 0 904858094 45694976 10407 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11156 10407 1111 63 0 11093 0
vsize: 44624
[startup+930.123 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 39968 0 0 0 92901 122 0 0 25 0 1 0 904858094 45973504 10480 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 10480 1111 63 0 11161 0
vsize: 44896
[startup+940.124 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40037 0 0 0 93901 122 0 0 25 0 1 0 904858094 46243840 10549 4294967295 134512640 134716908 3221224576 3221223200 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11290 10549 1111 63 0 11227 0
vsize: 45160
[startup+950.124 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40109 0 0 0 94901 122 0 0 25 0 1 0 904858094 46514176 10621 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11356 10621 1111 63 0 11293 0
vsize: 45424
[startup+960.124 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40179 0 0 0 95901 122 0 0 25 0 1 0 904858094 46784512 10691 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11422 10691 1111 63 0 11359 0
vsize: 45688
[startup+970.125 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40251 0 0 0 96901 122 0 0 25 0 1 0 904858094 47054848 10763 4294967295 134512640 134716908 3221224576 3221223160 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11488 10763 1111 63 0 11425 0
vsize: 45952
[startup+980.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40314 0 0 0 97902 122 0 0 25 0 1 0 904858094 47329280 10826 4294967295 134512640 134716908 3221224576 3221223136 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11555 10826 1111 63 0 11492 0
vsize: 46220
[startup+990.141 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40375 0 0 0 98903 123 0 0 25 0 1 0 904858094 47599616 10887 4294967295 134512640 134716908 3221224576 3221223200 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11621 10887 1111 63 0 11558 0
vsize: 46484
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40446 0 0 0 99903 123 0 0 25 0 1 0 904858094 47869952 10958 4294967295 134512640 134716908 3221224576 3221222972 134613982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11687 10958 1111 63 0 11624 0
vsize: 46748
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40513 0 0 0 100903 123 0 0 25 0 1 0 904858094 48140288 11025 4294967295 134512640 134716908 3221224576 3221223168 134543742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11753 11025 1111 63 0 11690 0
vsize: 47012
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40585 0 0 0 101903 124 0 0 25 0 1 0 904858094 48410624 11097 4294967295 134512640 134716908 3221224576 3221223248 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11819 11097 1111 63 0 11756 0
vsize: 47276
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40645 0 0 0 102902 124 0 0 25 0 1 0 904858094 48680960 11157 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11885 11157 1111 63 0 11822 0
vsize: 47540
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40705 0 0 0 103902 124 0 0 25 0 1 0 904858094 48951296 11217 4294967295 134512640 134716908 3221224576 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11951 11217 1111 63 0 11888 0
vsize: 47804
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40770 0 0 0 104902 125 0 0 25 0 1 0 904858094 49221632 11282 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12017 11282 1111 63 0 11954 0
vsize: 48068
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40829 0 0 0 105902 125 0 0 25 0 1 0 904858094 49491968 11341 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 11341 1111 63 0 12020 0
vsize: 48332
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40889 0 0 0 106902 125 0 0 25 0 1 0 904858094 49762304 11401 4294967295 134512640 134716908 3221224576 3221223120 134699081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12149 11401 1111 63 0 12086 0
vsize: 48596
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 40951 0 0 0 107901 126 0 0 25 0 1 0 904858094 50032640 11463 4294967295 134512640 134716908 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12215 11463 1111 63 0 12152 0
vsize: 48860
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41019 0 0 0 108901 127 0 0 25 0 1 0 904858094 50302976 11531 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12281 11531 1111 63 0 12218 0
vsize: 49124
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41086 0 0 0 109901 127 0 0 25 0 1 0 904858094 50573312 11598 4294967295 134512640 134716908 3221224576 3221223184 134523345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12347 11598 1111 63 0 12284 0
vsize: 49388
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41141 0 0 0 110901 127 0 0 25 0 1 0 904858094 50708480 11653 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12380 11653 1111 63 0 12317 0
vsize: 49520
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41204 0 0 0 111900 128 0 0 25 0 1 0 904858094 50978816 11716 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12446 11716 1111 63 0 12383 0
vsize: 49784
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41273 0 0 0 112900 128 0 0 25 0 1 0 904858094 51249152 11785 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12512 11785 1111 63 0 12449 0
vsize: 50048
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41338 0 0 0 113900 128 0 0 25 0 1 0 904858094 51519488 11850 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12578 11850 1111 63 0 12515 0
vsize: 50312
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41395 0 0 0 114900 129 0 0 25 0 1 0 904858094 51789824 11907 4294967295 134512640 134716908 3221224576 3221223116 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12644 11907 1111 63 0 12581 0
vsize: 50576
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41461 0 0 0 115900 129 0 0 25 0 1 0 904858094 52060160 11973 4294967295 134512640 134716908 3221224576 3221223088 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12710 11973 1111 63 0 12647 0
vsize: 50840
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41529 0 0 0 116900 129 0 0 25 0 1 0 904858094 52338688 12041 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12778 12041 1111 63 0 12715 0
vsize: 51112
[startup+1174.97 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 4618
Raw data (stat): 4618 (bsolo_lpr_cuts-) R 4617 21152 21151 0 -1 0 41529 0 0 0 116900 129 0 0 25 0 1 0 904858094 52338688 12041 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12778 12041 1111 63 0 12715 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.1
CPU user time (s): 1173.78
CPU system time (s): 1.3218
CPU usage (%): 100.011
Max. virtual memory (Kb): 51112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####