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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM	44281820d2b00a47b643433ffa4e2d73
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	117
Optimality of the best value was proved	NO
Number of terms in the objective function	8
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	255
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	138
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	535
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	5.96709
Number of variables	464
Total number of constraints	1395
Number of constraints which are clauses	336
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	723
Minimum length of a constraint	1
Maximum length of a constraint	128
Trace number 41281

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 09:32:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29339 boxname=wulflinc4 idbench=1123 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos16.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos16.opb
IDLAUNCH: 29339
/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:        857280 kB
Buffers:         10180 kB
Cached:         146844 kB
SwapCached:        872 kB
Active:          24496 kB
Inactive:       134576 kB
HighTotal:      131008 kB
HighFree:         1260 kB
LowTotal:       903652 kB
LowFree:        856020 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12524 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:52:17 (client local time) WITH STATUS 0 IN 1176.24 SECONDS
stats: 29339 7 1176.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 464 variables and 1069 constraints.
c After prepocess the problem consists of 464 variables and 901 constraints.
c preprocess terminated 0.56 s
c Initial Lower Bound: 95
c Lower Bound Elapsed time: 0.25425
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.21 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.84 0.94 0.90 2/54 13195
Raw data (stat): 13195 (runsolver) R 13194 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909212197 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 6868 0 0 0 981 16 0 0 25 0 1 0 909212197 16465920 3332 4294967295 134512640 134716908 3221224560 3221222896 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4020 3332 1111 63 0 3957 0
vsize: 16080
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 8937 0 0 0 1975 22 0 0 25 0 1 0 909212197 17002496 3361 4294967295 134512640 134716908 3221224560 3221220844 1075112927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4151 3361 1111 63 0 4088 0
vsize: 16604
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 11262 0 0 0 2969 28 0 0 25 0 1 0 909212197 16994304 3355 4294967295 134512640 134716908 3221224560 3221220604 1074873347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4149 3355 1111 63 0 4086 0
vsize: 16596
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 13672 0 0 0 3963 34 0 0 25 0 1 0 909212197 16482304 3336 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4024 3336 1111 63 0 3961 0
vsize: 16096
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 16455 0 0 0 4957 40 0 0 25 0 1 0 909212197 16596992 3352 4294967295 134512640 134716908 3221224560 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4052 3352 1111 63 0 3989 0
vsize: 16208
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 19477 0 0 0 5948 49 0 0 25 0 1 0 909212197 16609280 3367 4294967295 134512640 134716908 3221224560 3221222816 1074153713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4055 3367 1111 63 0 3992 0
vsize: 16220
[startup+70.0081 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 22640 0 0 0 6941 58 0 0 25 0 1 0 909212197 16695296 3388 4294967295 134512640 134716908 3221224560 3221222520 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 3388 1111 63 0 4013 0
vsize: 16304
[startup+80.0083 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 26040 0 0 0 7932 66 0 0 25 0 1 0 909212197 16949248 3450 4294967295 134512640 134716908 3221224560 3221223136 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4138 3450 1111 63 0 4075 0
vsize: 16552
[startup+90.0088 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 28348 0 0 0 8926 72 0 0 25 0 1 0 909212197 16936960 3447 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4135 3447 1111 63 0 4072 0
vsize: 16540
[startup+100.009 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 30938 0 0 0 9919 80 0 0 25 0 1 0 909212197 16936960 3447 4294967295 134512640 134716908 3221224560 3221222912 1074115271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4135 3447 1111 63 0 4072 0
vsize: 16540
[startup+110.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 34897 0 0 0 10910 89 0 0 25 0 1 0 909212197 16936960 3447 4294967295 134512640 134716908 3221224560 3221222912 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4135 3447 1111 63 0 4072 0
vsize: 16540
[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 38367 0 0 0 11901 98 0 0 25 0 1 0 909212197 17068032 3479 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4167 3479 1111 63 0 4104 0
vsize: 16668
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 42932 0 0 0 12890 110 0 0 25 0 1 0 909212197 17121280 3492 4294967295 134512640 134716908 3221224560 3221223220 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4180 3492 1111 63 0 4117 0
vsize: 16720
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 47965 0 0 0 13878 122 0 0 25 0 1 0 909212197 17264640 3521 4294967295 134512640 134716908 3221224560 3221222912 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 3521 1111 63 0 4152 0
vsize: 16860
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 53660 0 0 0 14862 138 0 0 25 0 1 0 909212197 17518592 3589 4294967295 134512640 134716908 3221224560 3221222944 1074153296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4277 3589 1111 63 0 4214 0
vsize: 17108
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 58400 0 0 0 15851 149 0 0 25 0 1 0 909212197 18759680 3786 4294967295 134512640 134716908 3221224560 3221220604 1074873328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4580 3786 1111 63 0 4517 0
vsize: 18320
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 61729 0 0 0 16841 159 0 0 25 0 1 0 909212197 17838080 3668 4294967295 134512640 134716908 3221224560 3221222816 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4355 3668 1111 63 0 4292 0
vsize: 17420
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 65114 0 0 0 17832 168 0 0 25 0 1 0 909212197 18948096 3793 4294967295 134512640 134716908 3221224560 3221221632 1074867302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4626 3793 1111 63 0 4563 0
vsize: 18504
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 68753 0 0 0 18823 178 0 0 25 0 1 0 909212197 17969152 3700 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4387 3700 1111 63 0 4324 0
vsize: 17548
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 73054 0 0 0 19813 188 0 0 25 0 1 0 909212197 17895424 3682 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3682 1111 63 0 4306 0
vsize: 17476
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 77222 0 0 0 20801 200 0 0 25 0 1 0 909212197 18018304 3712 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4399 3712 1111 63 0 4336 0
vsize: 17596
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 81358 0 0 0 21791 211 0 0 25 0 1 0 909212197 18960384 3843 4294967295 134512640 134716908 3221224560 3221220832 1074961290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 3843 1111 63 0 4566 0
vsize: 18516
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 85653 0 0 0 22779 222 0 0 25 0 1 0 909212197 18161664 3747 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 3747 1111 63 0 4371 0
vsize: 17736
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 90287 0 0 0 23768 233 0 0 25 0 1 0 909212197 19058688 3875 4294967295 134512640 134716908 3221224560 3221220800 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 3875 1111 63 0 4590 0
vsize: 18612
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 94040 0 0 0 24759 243 0 0 25 0 1 0 909212197 18665472 3800 4294967295 134512640 134716908 3221224560 3221220828 1075169392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4557 3800 1111 63 0 4494 0
vsize: 18228
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 98706 0 0 0 25746 256 0 0 25 0 1 0 909212197 18325504 3787 4294967295 134512640 134716908 3221224560 3221222896 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4474 3787 1111 63 0 4411 0
vsize: 17896
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 102593 0 0 0 26736 266 0 0 25 0 1 0 909212197 18411520 3808 4294967295 134512640 134716908 3221224560 3221222696 1077377488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4495 3808 1111 63 0 4432 0
vsize: 17980
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 106438 0 0 0 27726 276 0 0 25 0 1 0 909212197 19185664 3856 4294967295 134512640 134716908 3221224560 3221220604 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4684 3856 1111 63 0 4621 0
vsize: 18736
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 109656 0 0 0 28719 284 0 0 25 0 1 0 909212197 18677760 3867 4294967295 134512640 134716908 3221224560 3221221664 1074138803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3867 1111 63 0 4497 0
vsize: 18240
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 113539 0 0 0 29708 295 0 0 25 0 1 0 909212197 19456000 3936 4294967295 134512640 134716908 3221224560 3221220508 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 3936 1111 63 0 4687 0
vsize: 19000
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 117244 0 0 0 30699 305 0 0 25 0 1 0 909212197 18681856 3880 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4561 3880 1111 63 0 4498 0
vsize: 18244
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 120832 0 0 0 31689 315 0 0 25 0 1 0 909212197 18747392 3896 4294967295 134512640 134716908 3221224560 3221222768 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4577 3896 1111 63 0 4514 0
vsize: 18308
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 125098 0 0 0 32679 325 0 0 25 0 1 0 909212197 19849216 4038 4294967295 134512640 134716908 3221224560 3221220560 1075965308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4846 4038 1111 63 0 4783 0
vsize: 19384
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 128417 0 0 0 33670 334 0 0 25 0 1 0 909212197 19046400 3969 4294967295 134512640 134716908 3221224560 3221222912 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 3969 1111 63 0 4587 0
vsize: 18600
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 132245 0 0 0 34662 342 0 0 25 0 1 0 909212197 19046400 3969 4294967295 134512640 134716908 3221224560 3221222560 1074918260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 3969 1111 63 0 4587 0
vsize: 18600
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 136487 0 0 0 35652 353 0 0 25 0 1 0 909212197 19222528 4012 4294967295 134512640 134716908 3221224560 3221222288 1075829009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4693 4012 1111 63 0 4630 0
vsize: 18772
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 140329 0 0 0 36644 361 0 0 25 0 1 0 909212197 19365888 4047 4294967295 134512640 134716908 3221224560 3221222816 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4728 4047 1111 63 0 4665 0
vsize: 18912
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 143542 0 0 0 37635 370 0 0 25 0 1 0 909212197 20205568 4158 4294967295 134512640 134716908 3221224560 3221220720 1074794679 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4933 4158 1111 63 0 4870 0
vsize: 19732
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 147240 0 0 0 38627 378 0 0 25 0 1 0 909212197 19611648 4108 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4788 4108 1111 63 0 4725 0
vsize: 19152
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 150698 0 0 0 39620 386 0 0 25 0 1 0 909212197 19451904 4069 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4749 4069 1111 63 0 4686 0
vsize: 18996
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 154170 0 0 0 40611 395 0 0 25 0 1 0 909212197 19410944 4059 4294967295 134512640 134716908 3221224560 3221222896 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4739 4059 1111 63 0 4676 0
vsize: 18956
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 157150 0 0 0 41604 402 0 0 25 0 1 0 909212197 20037632 4094 4294967295 134512640 134716908 3221224560 3221221592 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4892 4094 1111 63 0 4829 0
vsize: 19568
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 160744 0 0 0 42596 410 0 0 25 0 1 0 909212197 20488192 4178 4294967295 134512640 134716908 3221224560 3221220896 1075113628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5002 4178 1111 63 0 4939 0
vsize: 20008
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 163533 0 0 0 43588 418 0 0 25 0 1 0 909212197 20389888 4156 4294967295 134512640 134716908 3221224560 3221220832 1074961329 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4978 4156 1111 63 0 4915 0
vsize: 19912
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 165728 0 0 0 44584 422 0 0 25 0 1 0 909212197 19619840 4110 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4790 4110 1111 63 0 4727 0
vsize: 19160
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 169112 0 0 0 45576 431 0 0 25 0 1 0 909212197 20492288 4166 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5003 4166 1111 63 0 4940 0
vsize: 20012
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 172424 0 0 0 46567 440 0 0 25 0 1 0 909212197 19619840 4110 4294967295 134512640 134716908 3221224560 3221222864 1073986748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4790 4110 1111 63 0 4727 0
vsize: 19160
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 175922 0 0 0 47558 449 0 0 25 0 1 0 909212197 19619840 4110 4294967295 134512640 134716908 3221224560 3221222348 1077410128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4790 4110 1111 63 0 4727 0
vsize: 19160
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 179681 0 0 0 48549 458 0 0 25 0 1 0 909212197 20303872 4195 4294967295 134512640 134716908 3221224560 3221220768 1074815188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4957 4195 1111 63 0 4894 0
vsize: 19828
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 184421 0 0 0 49538 470 0 0 25 0 1 0 909212197 19619840 4110 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4790 4110 1111 63 0 4727 0
vsize: 19160
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 188990 0 0 0 50527 480 0 0 25 0 1 0 909212197 20668416 4241 4294967295 134512640 134716908 3221224560 3221220644 1075964393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4241 1111 63 0 4983 0
vsize: 20184
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 194228 0 0 0 51515 493 0 0 25 0 1 0 909212197 19935232 4174 4294967295 134512640 134716908 3221224560 3221222560 1074916373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4867 4174 1111 63 0 4804 0
vsize: 19468
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 198403 0 0 0 52504 504 0 0 25 0 1 0 909212197 20176896 4246 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4926 4246 1111 63 0 4863 0
vsize: 19704
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 202275 0 0 0 53495 513 0 0 25 0 1 0 909212197 21016576 4314 4294967295 134512640 134716908 3221224560 3221220704 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5131 4314 1111 63 0 5068 0
vsize: 20524
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 205593 0 0 0 54485 524 0 0 25 0 1 0 909212197 20967424 4293 4294967295 134512640 134716908 3221224560 3221221328 1076083817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5119 4293 1111 63 0 5056 0
vsize: 20476
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 208999 0 0 0 55476 532 0 0 25 0 1 0 909212197 20951040 4334 4294967295 134512640 134716908 3221224560 3221220844 1076111491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5115 4334 1111 63 0 5052 0
vsize: 20460
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 212594 0 0 0 56466 543 0 0 25 0 1 0 909212197 20742144 4384 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5064 4384 1111 63 0 5001 0
vsize: 20256
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 215890 0 0 0 57457 552 0 0 25 0 1 0 909212197 21614592 4479 4294967295 134512640 134716908 3221224560 3221221216 1075968382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5277 4479 1111 63 0 5214 0
vsize: 21108
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 218989 0 0 0 58449 560 0 0 25 0 1 0 909212197 21454848 4430 4294967295 134512640 134716908 3221224560 3221221088 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5238 4430 1111 63 0 5175 0
vsize: 20952
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 222826 0 0 0 59438 571 0 0 25 0 1 0 909212197 21581824 4456 4294967295 134512640 134716908 3221224560 3221220896 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5269 4456 1111 63 0 5206 0
vsize: 21076
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 226407 0 0 0 60429 581 0 0 25 0 1 0 909212197 20905984 4422 4294967295 134512640 134716908 3221224560 3221222816 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5104 4422 1111 63 0 5041 0
vsize: 20416
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 230310 0 0 0 61418 592 0 0 25 0 1 0 909212197 21749760 4550 4294967295 134512640 134716908 3221224560 3221220640 1075112385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 4550 1111 63 0 5247 0
vsize: 21240
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 235019 0 0 0 62405 605 0 0 25 0 1 0 909212197 21647360 4515 4294967295 134512640 134716908 3221224560 3221221544 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5216 4504 1111 63 0 5153 0
vsize: 21140
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 239086 0 0 0 63393 617 0 0 25 0 1 0 909212197 21876736 4542 4294967295 134512640 134716908 3221224560 3221220720 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5341 4542 1111 63 0 5278 0
vsize: 21364
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 242753 0 0 0 64385 625 0 0 25 0 1 0 909212197 22241280 4627 4294967295 134512640 134716908 3221224560 3221220832 1074960876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4627 1111 63 0 5367 0
vsize: 21720
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 246292 0 0 0 65375 635 0 0 25 0 1 0 909212197 22405120 4629 4294967295 134512640 134716908 3221224560 3221220704 1074970267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5470 4629 1111 63 0 5407 0
vsize: 21880
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 250073 0 0 0 66366 645 0 0 25 0 1 0 909212197 22536192 4686 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4686 1111 63 0 5439 0
vsize: 22008
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 253499 0 0 0 67356 655 0 0 25 0 1 0 909212197 22605824 4680 4294967295 134512640 134716908 3221224560 3221220560 1074791146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5519 4680 1111 63 0 5456 0
vsize: 22076
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 257025 0 0 0 68347 664 0 0 25 0 1 0 909212197 22745088 4751 4294967295 134512640 134716908 3221224560 3221220788 1075115141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5553 4751 1111 63 0 5490 0
vsize: 22212
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 260525 0 0 0 69337 674 0 0 25 0 1 0 909212197 21921792 4672 4294967295 134512640 134716908 3221224560 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5352 4672 1111 63 0 5289 0
vsize: 21408
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 264580 0 0 0 70326 686 0 0 25 0 1 0 909212197 22859776 4737 4294967295 134512640 134716908 3221224560 3221220616 1074789611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5581 4737 1111 63 0 5518 0
vsize: 22324
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 268436 0 0 0 71317 695 0 0 25 0 1 0 909212197 23027712 4795 4294967295 134512640 134716908 3221224560 3221220788 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5622 4795 1111 63 0 5559 0
vsize: 22488
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 272064 0 0 0 72308 705 0 0 25 0 1 0 909212197 22921216 4790 4294967295 134512640 134716908 3221224560 3221220944 1076117310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5596 4790 1111 63 0 5533 0
vsize: 22384
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 276296 0 0 0 73298 715 0 0 25 0 1 0 909212197 22405120 4783 4294967295 134512640 134716908 3221224560 3221223168 134524076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5470 4783 1111 63 0 5407 0
vsize: 21880
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 280025 0 0 0 74289 724 0 0 25 0 1 0 909212197 22536192 4819 4294967295 134512640 134716908 3221224560 3221222556 1077379961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4819 1111 63 0 5439 0
vsize: 22008
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 284103 0 0 0 75278 735 0 0 25 0 1 0 909212197 23887872 4945 4294967295 134512640 134716908 3221224560 3221220828 1076079124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5832 4945 1111 63 0 5769 0
vsize: 23328
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 287889 0 0 0 76270 743 0 0 25 0 1 0 909212197 23891968 4946 4294967295 134512640 134716908 3221224560 3221220708 1075964401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 4946 1111 63 0 5770 0
vsize: 23332
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 291513 0 0 0 77261 752 0 0 25 0 1 0 909212197 22839296 4896 4294967295 134512640 134716908 3221224560 3221222896 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4896 1111 63 0 5513 0
vsize: 22304
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 295202 0 0 0 78253 760 0 0 25 0 1 0 909212197 22806528 4888 4294967295 134512640 134716908 3221224560 3221222960 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5568 4888 1111 63 0 5505 0
vsize: 22272
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 298498 0 0 0 79246 768 0 0 25 0 1 0 909212197 22900736 4911 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5591 4911 1111 63 0 5528 0
vsize: 22364
[startup+810.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 305195 0 0 0 80230 785 0 0 25 0 1 0 909212197 23826432 4933 4294967295 134512640 134716908 3221224560 3221221624 1075007310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5817 4933 1111 63 0 5754 0
vsize: 23268
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 309943 0 0 0 81218 796 0 0 25 0 1 0 909212197 23826432 4944 4294967295 134512640 134716908 3221224560 3221220616 1074789581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5817 4944 1111 63 0 5754 0
vsize: 23268
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 315664 0 0 0 82204 811 0 0 25 0 1 0 909212197 23638016 4992 4294967295 134512640 134716908 3221224560 3221220524 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5771 4992 1111 63 0 5708 0
vsize: 23084
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 321489 0 0 0 83188 826 0 0 25 0 1 0 909212197 23183360 4980 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5660 4980 1111 63 0 5597 0
vsize: 22640
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 327953 0 0 0 84172 843 0 0 25 0 1 0 909212197 23756800 5054 4294967295 134512640 134716908 3221224560 3221221576 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5800 5054 1111 63 0 5737 0
vsize: 23200
[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 333619 0 0 0 85158 857 0 0 25 0 1 0 909212197 24256512 5053 4294967295 134512640 134716908 3221224560 3221220708 1075964386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5922 5053 1111 63 0 5859 0
vsize: 23688
[startup+870.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 339927 0 0 0 86142 873 0 0 25 0 1 0 909212197 24109056 5109 4294967295 134512640 134716908 3221224560 3221220660 1075964286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 5109 1111 63 0 5823 0
vsize: 23544
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 344374 0 0 0 87130 885 0 0 25 0 1 0 909212197 23711744 5109 4294967295 134512640 134716908 3221224560 3221222944 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5789 5109 1111 63 0 5726 0
vsize: 23156
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 349698 0 0 0 88117 898 0 0 25 0 1 0 909212197 24907776 5198 4294967295 134512640 134716908 3221224560 3221220520 1074789596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6081 5198 1111 63 0 6018 0
vsize: 24324
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 354103 0 0 0 89105 911 0 0 25 0 1 0 909212197 24969216 5182 4294967295 134512640 134716908 3221224560 3221220832 1074961191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 5182 1111 63 0 6033 0
vsize: 24384
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 359145 0 0 0 90093 923 0 0 25 0 1 0 909212197 25100288 5246 4294967295 134512640 134716908 3221224560 3221220440 1074788488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6128 5246 1111 63 0 6065 0
vsize: 24512
[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 364358 0 0 0 91081 936 0 0 25 0 1 0 909212197 24010752 5182 4294967295 134512640 134716908 3221224560 3221222912 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5862 5182 1111 63 0 5799 0
vsize: 23448
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 370323 0 0 0 92068 948 0 0 25 0 1 0 909212197 25268224 5261 4294967295 134512640 134716908 3221224560 3221221372 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6169 5261 1111 63 0 6106 0
vsize: 24676
[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 375746 0 0 0 93056 961 0 0 25 0 1 0 909212197 25128960 5368 4294967295 134512640 134716908 3221224560 3221221000 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6135 5368 1111 63 0 6072 0
vsize: 24540
[startup+950.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 379279 0 0 0 94047 970 0 0 25 0 1 0 909212197 24449024 5289 4294967295 134512640 134716908 3221224560 3221222592 1074146261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5969 5289 1111 63 0 5906 0
vsize: 23876
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 382573 0 0 0 95039 978 0 0 25 0 1 0 909212197 25456640 5342 4294967295 134512640 134716908 3221224560 3221220704 1074969455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6215 5342 1111 63 0 6152 0
vsize: 24860
[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 386530 0 0 0 96030 987 0 0 25 0 1 0 909212197 25546752 5371 4294967295 134512640 134716908 3221224560 3221221600 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6237 5372 1111 63 0 6174 0
vsize: 24948
[startup+980.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 390352 0 0 0 97019 998 0 0 25 0 1 0 909212197 24797184 5374 4294967295 134512640 134716908 3221224560 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6054 5374 1111 63 0 5991 0
vsize: 24216
[startup+990.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 394500 0 0 0 98009 1009 0 0 25 0 1 0 909212197 26230784 5648 4294967295 134512640 134716908 3221224560 3221220720 1074794682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6404 5648 1111 63 0 6341 0
vsize: 25616
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 398186 0 0 0 99000 1017 0 0 25 0 1 0 909212197 25358336 5511 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6191 5511 1111 63 0 6128 0
vsize: 24764
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 401826 0 0 0 99991 1027 0 0 25 0 1 0 909212197 25182208 5468 4294967295 134512640 134716908 3221224560 3221221680 1074865090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6148 5468 1111 63 0 6085 0
vsize: 24592
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 405190 0 0 0 100982 1036 0 0 25 0 1 0 909212197 25083904 5444 4294967295 134512640 134716908 3221224560 3221222896 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6124 5444 1111 63 0 6061 0
vsize: 24496
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 408930 0 0 0 101972 1046 0 0 25 0 1 0 909212197 26386432 5566 4294967295 134512640 134716908 3221224560 3221220644 1075964386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6442 5566 1111 63 0 6379 0
vsize: 25768
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 413057 0 0 0 102961 1058 0 0 25 0 1 0 909212197 26382336 5568 4294967295 134512640 134716908 3221224560 3221220508 1074788921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6441 5568 1111 63 0 6378 0
vsize: 25764
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 417493 0 0 0 103949 1069 0 0 25 0 1 0 909212197 26337280 5556 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6430 5556 1111 63 0 6367 0
vsize: 25720
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 421100 0 0 0 104940 1079 0 0 25 0 1 0 909212197 26124288 5593 4294967295 134512640 134716908 3221224560 3221220784 1074960918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6378 5593 1111 63 0 6315 0
vsize: 25512
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 425198 0 0 0 105930 1089 0 0 25 0 1 0 909212197 26218496 5665 4294967295 134512640 134716908 3221224560 3221220784 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6401 5665 1111 63 0 6338 0
vsize: 25604
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 429111 0 0 0 106920 1099 0 0 25 0 1 0 909212197 25604096 5571 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6251 5571 1111 63 0 6188 0
vsize: 25004
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 432512 0 0 0 107911 1108 0 0 25 0 1 0 909212197 26476544 5743 4294967295 134512640 134716908 3221224560 3221220612 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6464 5743 1111 63 0 6401 0
vsize: 25856
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 436018 0 0 0 108904 1116 0 0 25 0 1 0 909212197 26882048 5761 4294967295 134512640 134716908 3221224560 3221220896 1074972164 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6563 5761 1111 63 0 6500 0
vsize: 26252
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 439316 0 0 0 109896 1124 0 0 25 0 1 0 909212197 26046464 5679 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6359 5679 1111 63 0 6296 0
vsize: 25436
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 442734 0 0 0 110888 1132 0 0 25 0 1 0 909212197 26144768 5703 4294967295 134512640 134716908 3221224560 3221222780 1074057995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6383 5703 1111 63 0 6320 0
vsize: 25532
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 446802 0 0 0 111880 1141 0 0 25 0 1 0 909212197 27500544 5830 4294967295 134512640 134716908 3221224560 3221220768 1074815359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6714 5830 1111 63 0 6651 0
vsize: 26856
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 450533 0 0 0 112872 1149 0 0 25 0 1 0 909212197 27492352 5832 4294967295 134512640 134716908 3221224560 3221220604 1074873430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6712 5832 1111 63 0 6649 0
vsize: 26848
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 454330 0 0 0 113864 1157 0 0 25 0 1 0 909212197 27553792 5827 4294967295 134512640 134716908 3221224560 3221220688 1075561092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6727 5827 1111 63 0 6664 0
vsize: 26908
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 457935 0 0 0 114856 1165 0 0 25 0 1 0 909212197 26656768 5828 4294967295 134512640 134716908 3221224560 3221222912 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 5828 1111 63 0 6445 0
vsize: 26032
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 461643 0 0 0 115846 1175 0 0 25 0 1 0 909212197 27598848 5868 4294967295 134512640 134716908 3221224560 3221220716 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6738 5868 1111 63 0 6675 0
vsize: 26952
[startup+1176.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 13195
Raw data (stat): 13195 (bsolo_lpr_cuts-) R 13194 21152 21151 0 -1 0 461643 0 0 0 115846 1175 0 0 25 0 1 0 909212197 27598848 5868 4294967295 134512640 134716908 3221224560 3221220716 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6738 5868 1111 63 0 6675 0
vsize: 0

Child status: 0
Real time (s): 1176.07
CPU time (s): 1176.24
CPU user time (s): 1164.41
CPU system time (s): 11.8292
CPU usage (%): 100.014
Max. virtual memory (Kb): 26952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####