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 26274

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 14:42:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14588 boxname=wulflinc21 idbench=1123 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-neos16.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-neos16.opb
IDLAUNCH: 14588
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 3
cpu MHz		: 451.161
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:        914144 kB
Buffers:         35640 kB
Cached:          64124 kB
SwapCached:       1216 kB
Active:          74908 kB
Inactive:        27652 kB
HighTotal:      131008 kB
HighFree:        82656 kB
LowTotal:       903652 kB
LowFree:        831488 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            12452 kB
Committed_AS:    63916 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:02:27 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 14588 7 1175.17 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.573 s
c Initial Lower Bound: 96
c Lower Bound Elapsed time: 0.238571
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.16 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 1.07 1.52 2/55 32604
Raw data (stat): 32604 (runsolver) R 32603 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 708311210 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99991 s]
Raw data (loadavg): 0.93 1.06 1.51 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 7248 0 3 0 966 20 0 0 25 0 1 0 708311210 17068032 3370 4294967295 134512640 134714508 3221224576 3221221648 1074867212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 3370 1111 63 0 4104 0
vsize: 16668
[startup+19.9996 s]
Raw data (loadavg): 0.94 1.06 1.50 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 9742 0 3 0 1959 28 0 0 25 0 1 0 708311210 16437248 3327 4294967295 134512640 134714508 3221224576 3221222696 1077377218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3327 1111 63 0 3950 0
vsize: 16052
[startup+30.0002 s]
Raw data (loadavg): 0.95 1.06 1.50 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 13045 0 3 0 2949 38 0 0 25 0 1 0 708311210 16543744 3353 4294967295 134512640 134714508 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3353 1111 63 0 3976 0
vsize: 16156
[startup+39.9999 s]
Raw data (loadavg): 0.95 1.06 1.49 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 15503 0 3 0 3942 45 0 0 25 0 1 0 708311210 17100800 3380 4294967295 134512640 134714508 3221224576 3221220848 1074961322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4175 3380 1111 63 0 4112 0
vsize: 16700
[startup+49.9996 s]
Raw data (loadavg): 0.96 1.05 1.49 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 18718 0 3 0 4932 55 0 0 25 0 1 0 708311210 17424384 3428 4294967295 134512640 134714508 3221224576 3221220912 1075113393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3428 1111 63 0 4191 0
vsize: 17016
[startup+59.9993 s]
Raw data (loadavg): 0.97 1.05 1.48 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 21773 0 3 0 5923 64 0 0 25 0 1 0 708311210 17420288 3448 4294967295 134512640 134714508 3221224576 3221220704 1075561201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4253 3448 1111 63 0 4190 0
vsize: 17012
[startup+69.999 s]
Raw data (loadavg): 0.97 1.05 1.47 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 24389 0 3 0 6916 71 0 0 25 0 1 0 708311210 17608704 3492 4294967295 134512640 134714508 3221224576 3221221520 1074620120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4299 3492 1111 63 0 4236 0
vsize: 17196
[startup+80.0047 s]
Raw data (loadavg): 0.98 1.05 1.47 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 27606 0 3 0 7909 80 0 0 25 0 1 0 708311210 16863232 3432 4294967295 134512640 134714508 3221224576 3221222304 1075829539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4117 3432 1111 63 0 4054 0
vsize: 16468
[startup+90.0044 s]
Raw data (loadavg): 0.98 1.05 1.46 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 32501 0 3 0 8896 92 0 0 25 0 1 0 708311210 16863232 3432 4294967295 134512640 134714508 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4117 3432 1111 63 0 4054 0
vsize: 16468
[startup+100.004 s]
Raw data (loadavg): 0.98 1.04 1.46 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 35931 0 3 0 9889 100 0 0 25 0 1 0 708311210 17813504 3541 4294967295 134512640 134714508 3221224576 3221220804 1075115133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3541 1111 63 0 4286 0
vsize: 17396
[startup+110.004 s]
Raw data (loadavg): 0.98 1.04 1.45 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 38404 0 3 0 10883 105 0 0 25 0 1 0 708311210 17006592 3467 4294967295 134512640 134714508 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4152 3467 1111 63 0 4089 0
vsize: 16608
[startup+120.003 s]
Raw data (loadavg): 0.99 1.04 1.45 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 41261 0 3 0 11875 114 0 0 25 0 1 0 708311210 17170432 3481 4294967295 134512640 134714508 3221224576 3221222400 1075823365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4192 3481 1111 63 0 4129 0
vsize: 16768
[startup+130.003 s]
Raw data (loadavg): 0.99 1.04 1.44 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 44574 0 3 0 12866 123 0 0 25 0 1 0 708311210 17113088 3493 4294967295 134512640 134714508 3221224576 3221222864 1074143847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4178 3493 1111 63 0 4115 0
vsize: 16712
[startup+140.003 s]
Raw data (loadavg): 0.99 1.04 1.44 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 47155 0 3 0 13858 131 0 0 25 0 1 0 708311210 17694720 3506 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4320 3506 1111 63 0 4257 0
vsize: 17280
[startup+150.003 s]
Raw data (loadavg): 0.99 1.03 1.43 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 50115 0 3 0 14850 139 0 0 25 0 1 0 708311210 18006016 3576 4294967295 134512640 134714508 3221224576 3221220780 1075564184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4396 3576 1111 63 0 4333 0
vsize: 17584
[startup+160.003 s]
Raw data (loadavg): 0.99 1.03 1.43 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 52924 0 3 0 15842 148 0 0 25 0 1 0 708311210 18059264 3590 4294967295 134512640 134714508 3221224576 3221220444 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4409 3590 1111 63 0 4346 0
vsize: 17636
[startup+170.002 s]
Raw data (loadavg): 0.99 1.03 1.42 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 55966 0 3 0 16833 157 0 0 25 0 1 0 708311210 18223104 3637 4294967295 134512640 134714508 3221224576 3221221408 1075115806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4449 3637 1111 63 0 4386 0
vsize: 17796
[startup+180.002 s]
Raw data (loadavg): 0.99 1.03 1.42 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 58872 0 3 0 17824 166 0 0 25 0 1 0 708311210 17432576 3571 4294967295 134512640 134714508 3221224576 3221222772 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 3571 1111 63 0 4193 0
vsize: 17024
[startup+190.001 s]
Raw data (loadavg): 0.99 1.03 1.41 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 61988 0 3 0 18816 174 0 0 25 0 1 0 708311210 17661952 3627 4294967295 134512640 134714508 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4312 3627 1111 63 0 4249 0
vsize: 17248
[startup+200.001 s]
Raw data (loadavg): 0.99 1.03 1.41 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 64807 0 3 0 19808 182 0 0 25 0 1 0 708311210 18075648 3658 4294967295 134512640 134714508 3221224576 3221220488 1074788430 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4413 3658 1111 63 0 4350 0
vsize: 17652
[startup+210.001 s]
Raw data (loadavg): 0.99 1.03 1.40 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 66778 0 3 0 20802 188 0 0 25 0 1 0 708311210 17698816 3636 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4321 3636 1111 63 0 4258 0
vsize: 17284
[startup+220.001 s]
Raw data (loadavg): 0.99 1.02 1.40 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 68972 0 3 0 21795 195 0 0 25 0 1 0 708311210 18255872 3662 4294967295 134512640 134714508 3221224576 3221220572 1074873328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4457 3662 1111 63 0 4394 0
vsize: 17828
[startup+230.001 s]
Raw data (loadavg): 0.99 1.02 1.39 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 71396 0 3 0 22788 203 0 0 25 0 1 0 708311210 18452480 3689 4294967295 134512640 134714508 3221224576 3221220456 1074788559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3689 1111 63 0 4442 0
vsize: 18020
[startup+240.001 s]
Raw data (loadavg): 0.99 1.02 1.39 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 74446 0 3 0 23779 212 0 0 25 0 1 0 708311210 17920000 3663 4294967295 134512640 134714508 3221224576 3221222224 1075818228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4375 3663 1111 63 0 4312 0
vsize: 17500
[startup+250 s]
Raw data (loadavg): 0.99 1.02 1.38 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 77640 0 3 0 24769 221 0 0 25 0 1 0 708311210 18321408 3670 4294967295 134512640 134714508 3221224576 3221220524 1074788947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3670 1111 63 0 4410 0
vsize: 17892
[startup+260.001 s]
Raw data (loadavg): 0.99 1.02 1.38 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 80646 0 3 0 25761 230 0 0 25 0 1 0 708311210 18407424 3701 4294967295 134512640 134714508 3221224576 3221221696 1074834317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3701 1111 63 0 4431 0
vsize: 17976
[startup+270.001 s]
Raw data (loadavg): 0.99 1.02 1.37 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 84177 0 3 0 26752 240 0 0 25 0 1 0 708311210 18657280 3728 4294967295 134512640 134714508 3221224576 3221221620 1074846216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4555 3728 1111 63 0 4492 0
vsize: 18220
[startup+280.001 s]
Raw data (loadavg): 0.99 1.02 1.37 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 87963 0 3 0 27741 250 0 0 25 0 1 0 708311210 18432000 3742 4294967295 134512640 134714508 3221224576 3221220792 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4500 3742 1111 63 0 4437 0
vsize: 18000
[startup+290.001 s]
Raw data (loadavg): 0.99 1.02 1.36 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 90891 0 3 0 28733 259 0 0 25 0 1 0 708311210 17866752 3677 4294967295 134512640 134714508 3221224576 3221222712 1077377266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 3677 1111 63 0 4299 0
vsize: 17448
[startup+300.001 s]
Raw data (loadavg): 0.99 1.02 1.36 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 94478 0 3 0 29722 269 0 0 25 0 1 0 708311210 19075072 3861 4294967295 134512640 134714508 3221224576 3221220620 1074873534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3861 1111 63 0 4594 0
vsize: 18628
[startup+310.001 s]
Raw data (loadavg): 0.99 1.02 1.36 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 97696 0 3 0 30714 278 0 0 25 0 1 0 708311210 18812928 3790 4294967295 134512640 134714508 3221224576 3221220480 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4593 3790 1111 63 0 4530 0
vsize: 18372
[startup+320 s]
Raw data (loadavg): 0.99 1.01 1.35 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 101346 0 3 0 31706 287 0 0 25 0 1 0 708311210 18268160 3782 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4460 3782 1111 63 0 4397 0
vsize: 17840
[startup+330 s]
Raw data (loadavg): 0.99 1.01 1.35 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 103991 0 3 0 32698 294 0 0 25 0 1 0 708311210 18350080 3802 4294967295 134512640 134714508 3221224576 3221222248 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4480 3802 1111 63 0 4417 0
vsize: 17920
[startup+340 s]
Raw data (loadavg): 0.99 1.01 1.34 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 106108 0 3 0 33693 300 0 0 25 0 1 0 708311210 18350080 3802 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4480 3802 1111 63 0 4417 0
vsize: 17920
[startup+349.999 s]
Raw data (loadavg): 0.99 1.01 1.34 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 108789 0 3 0 34686 306 0 0 25 0 1 0 708311210 18944000 3828 4294967295 134512640 134714508 3221224576 3221220524 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4625 3828 1111 63 0 4562 0
vsize: 18500
[startup+360 s]
Raw data (loadavg): 0.99 1.01 1.34 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 113351 0 3 0 35674 319 0 0 25 0 1 0 708311210 18264064 3781 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4459 3781 1111 63 0 4396 0
vsize: 17836
[startup+370 s]
Raw data (loadavg): 0.99 1.01 1.33 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 117560 0 3 0 36662 331 0 0 25 0 1 0 708311210 18423808 3806 4294967295 134512640 134714508 3221224576 3221222744 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4498 3806 1111 63 0 4435 0
vsize: 17992
[startup+379.999 s]
Raw data (loadavg): 0.99 1.01 1.33 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 120766 0 3 0 37653 340 0 0 25 0 1 0 708311210 19251200 4020 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4700 4020 1111 63 0 4637 0
vsize: 18800
[startup+389.999 s]
Raw data (loadavg): 0.99 1.01 1.32 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 125212 0 3 0 38642 351 0 0 25 0 1 0 708311210 19791872 3944 4294967295 134512640 134714508 3221224576 3221221120 1075088564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4832 3944 1111 63 0 4769 0
vsize: 19328
[startup+399.999 s]
Raw data (loadavg): 0.99 1.01 1.32 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 129469 0 3 0 39630 363 0 0 25 0 1 0 708311210 18509824 3841 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4519 3841 1111 63 0 4456 0
vsize: 18076
[startup+410 s]
Raw data (loadavg): 0.99 1.01 1.32 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 132901 0 3 0 40621 372 0 0 25 0 1 0 708311210 19763200 4031 4294967295 134512640 134714508 3221224576 3221220736 1075093344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4825 4031 1111 63 0 4762 0
vsize: 19300
[startup+419.999 s]
Raw data (loadavg): 0.99 1.00 1.31 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 136554 0 3 0 41611 383 0 0 25 0 1 0 708311210 18636800 3872 4294967295 134512640 134714508 3221224576 3221222848 1074208572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4550 3872 1111 63 0 4487 0
vsize: 18200
[startup+430 s]
Raw data (loadavg): 0.99 1.00 1.31 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 140517 0 3 0 42601 393 0 0 25 0 1 0 708311210 18771968 3884 4294967295 134512640 134714508 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4583 3884 1111 63 0 4520 0
vsize: 18332
[startup+440 s]
Raw data (loadavg): 0.99 1.00 1.30 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 144704 0 3 0 43590 404 0 0 25 0 1 0 708311210 18636800 3872 4294967295 134512640 134714508 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4550 3872 1111 63 0 4487 0
vsize: 18200
[startup+449.999 s]
Raw data (loadavg): 0.99 1.00 1.30 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 149588 0 3 0 44577 418 0 0 25 0 1 0 708311210 19582976 3994 4294967295 134512640 134714508 3221224576 3221220460 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4781 3994 1111 63 0 4718 0
vsize: 19124
[startup+460.001 s]
Raw data (loadavg): 0.99 1.00 1.30 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 156775 0 3 0 45558 436 0 0 25 0 1 0 708311210 18599936 3863 4294967295 134512640 134714508 3221224576 3221222556 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3863 1111 63 0 4478 0
vsize: 18164
[startup+470 s]
Raw data (loadavg): 0.99 1.00 1.29 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 160387 0 3 0 46550 445 0 0 25 0 1 0 708311210 18759680 3870 4294967295 134512640 134714508 3221224576 3221222832 1074146199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4580 3870 1111 63 0 4517 0
vsize: 18320
[startup+479.999 s]
Raw data (loadavg): 0.99 1.00 1.29 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 163916 0 3 0 47540 455 0 0 25 0 1 0 708311210 18599936 3863 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3863 1111 63 0 4478 0
vsize: 18164
[startup+489.999 s]
Raw data (loadavg): 0.99 1.00 1.29 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 167636 0 3 0 48530 465 0 0 25 0 1 0 708311210 18632704 3871 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4549 3871 1111 63 0 4486 0
vsize: 18196
[startup+499.999 s]
Raw data (loadavg): 0.99 1.00 1.28 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 171113 0 3 0 49521 474 0 0 25 0 1 0 708311210 18632704 3871 4294967295 134512640 134714508 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4549 3871 1111 63 0 4486 0
vsize: 18196
[startup+509.998 s]
Raw data (loadavg): 0.99 1.00 1.28 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 174240 0 3 0 50512 484 0 0 25 0 1 0 708311210 19685376 3904 4294967295 134512640 134714508 3221224576 3221220720 1074969949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4806 3904 1111 63 0 4743 0
vsize: 19224
[startup+519.999 s]
Raw data (loadavg): 0.99 1.00 1.27 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 177983 0 3 0 51502 494 0 0 25 0 1 0 708311210 18837504 3921 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3921 1111 63 0 4536 0
vsize: 18396
[startup+529.999 s]
Raw data (loadavg): 0.99 1.00 1.27 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 181119 0 3 0 52492 503 0 0 25 0 1 0 708311210 20000768 3967 4294967295 134512640 134714508 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3967 1111 63 0 4820 0
vsize: 19532
[startup+539.998 s]
Raw data (loadavg): 0.99 1.00 1.27 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 184335 0 3 0 53484 512 0 0 25 0 1 0 708311210 19820544 3958 4294967295 134512640 134714508 3221224576 3221220912 1075113538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3958 1111 63 0 4776 0
vsize: 19356
[startup+549.998 s]
Raw data (loadavg): 0.99 1.00 1.26 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 186912 0 3 0 54477 519 0 0 25 0 1 0 708311210 19820544 3953 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3953 1111 63 0 4776 0
vsize: 19356
[startup+559.998 s]
Raw data (loadavg): 0.99 1.00 1.26 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 189370 0 3 0 55470 526 0 0 25 0 1 0 708311210 19820544 3957 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3957 1111 63 0 4776 0
vsize: 19356
[startup+569.998 s]
Raw data (loadavg): 0.99 1.00 1.26 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 194945 0 3 0 56459 538 0 0 25 0 1 0 708311210 19968000 3990 4294967295 134512640 134714508 3221224576 3221221344 1076083950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4875 3990 1111 63 0 4812 0
vsize: 19500
[startup+579.998 s]
Raw data (loadavg): 0.99 1.00 1.26 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 198036 0 3 0 57448 548 0 0 25 0 1 0 708311210 20054016 4000 4294967295 134512640 134714508 3221224576 3221220724 1075964437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4000 1111 63 0 4833 0
vsize: 19584
[startup+589.998 s]
Raw data (loadavg): 0.99 1.00 1.25 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 200961 0 3 0 58441 556 0 0 25 0 1 0 708311210 18837504 3921 4294967295 134512640 134714508 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3921 1111 63 0 4536 0
vsize: 18396
[startup+600.001 s]
Raw data (loadavg): 0.99 1.00 1.25 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 203786 0 3 0 59432 565 0 0 25 0 1 0 708311210 18956288 3941 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4628 3941 1111 63 0 4565 0
vsize: 18512
[startup+610 s]
Raw data (loadavg): 0.99 1.00 1.25 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 207913 0 3 0 60421 576 0 0 25 0 1 0 708311210 18837504 3921 4294967295 134512640 134714508 3221224576 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3921 1111 63 0 4536 0
vsize: 18396
[startup+620 s]
Raw data (loadavg): 0.99 1.00 1.24 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 214143 0 3 0 61407 590 0 0 25 0 1 0 708311210 20152320 4026 4294967295 134512640 134714508 3221224576 3221220784 1074815312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 4026 1111 63 0 4857 0
vsize: 19680
[startup+630 s]
Raw data (loadavg): 0.99 1.00 1.24 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 218115 0 3 0 62397 601 0 0 25 0 1 0 708311210 19886080 4056 4294967295 134512640 134714508 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4855 4056 1111 63 0 4792 0
vsize: 19420
[startup+640 s]
Raw data (loadavg): 0.99 1.00 1.24 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 221598 0 3 0 63387 611 0 0 25 0 1 0 708311210 19030016 3958 4294967295 134512640 134714508 3221224576 3221222896 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4646 3958 1111 63 0 4583 0
vsize: 18584
[startup+649.999 s]
Raw data (loadavg): 0.99 1.00 1.23 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 224955 0 3 0 64376 622 0 0 25 0 1 0 708311210 19017728 3965 4294967295 134512640 134714508 3221224576 3221222224 1075818740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4643 3965 1111 63 0 4580 0
vsize: 18572
[startup+659.999 s]
Raw data (loadavg): 0.99 1.00 1.23 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 230655 0 3 0 65362 636 0 0 25 0 1 0 708311210 20320256 4055 4294967295 134512640 134714508 3221224576 3221221116 1075118208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4961 4055 1111 63 0 4898 0
vsize: 19844
[startup+669.998 s]
Raw data (loadavg): 0.99 1.00 1.23 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 235254 0 3 0 66349 649 0 0 25 0 1 0 708311210 19185664 4006 4294967295 134512640 134714508 3221224576 3221221680 1074138729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4684 4006 1111 63 0 4621 0
vsize: 18736
[startup+679.998 s]
Raw data (loadavg): 0.99 1.00 1.23 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 239531 0 3 0 67339 659 0 0 25 0 1 0 708311210 20299776 4167 4294967295 134512640 134714508 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4956 4167 1111 63 0 4893 0
vsize: 19824
[startup+689.998 s]
Raw data (loadavg): 0.99 1.00 1.22 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 242037 0 3 0 68334 665 0 0 25 0 1 0 708311210 19165184 4001 4294967295 134512640 134714508 3221224576 3221222652 1077379956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 4001 1111 63 0 4616 0
vsize: 18716
[startup+699.998 s]
Raw data (loadavg): 0.99 1.00 1.22 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 245722 0 3 0 69323 675 0 0 25 0 1 0 708311210 19275776 4028 4294967295 134512640 134714508 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4706 4028 1111 63 0 4643 0
vsize: 18824
[startup+709.998 s]
Raw data (loadavg): 0.99 1.00 1.22 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 248948 0 3 0 70316 683 0 0 25 0 1 0 708311210 19230720 4017 4294967295 134512640 134714508 3221224576 3221222756 1077374210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 4017 1111 63 0 4632 0
vsize: 18780
[startup+719.998 s]
Raw data (loadavg): 0.99 1.00 1.21 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 251945 0 3 0 71306 693 0 0 25 0 1 0 708311210 20258816 4040 4294967295 134512640 134714508 3221224576 3221221232 1075967868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4040 1111 63 0 4883 0
vsize: 19784
[startup+729.998 s]
Raw data (loadavg): 0.99 1.00 1.21 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 254951 0 3 0 72299 701 0 0 25 0 1 0 708311210 19230720 4017 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 4017 1111 63 0 4632 0
vsize: 18780
[startup+739.997 s]
Raw data (loadavg): 0.99 1.00 1.21 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 258912 0 3 0 73289 711 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+749.997 s]
Raw data (loadavg): 0.99 1.00 1.21 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 262551 0 3 0 74279 721 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222712 1077377411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+759.997 s]
Raw data (loadavg): 0.99 1.00 1.20 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 267188 0 3 0 75266 733 0 0 25 0 1 0 708311210 20520960 4102 4294967295 134512640 134714508 3221224576 3221220536 1074789527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5010 4102 1111 63 0 4947 0
vsize: 20040
[startup+769.996 s]
Raw data (loadavg): 0.99 1.00 1.20 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 270182 0 3 0 76259 741 0 0 25 0 1 0 708311210 20283392 4062 4294967295 134512640 134714508 3221224576 3221220896 1075171638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4952 4062 1111 63 0 4889 0
vsize: 19808
[startup+779.997 s]
Raw data (loadavg): 0.99 1.00 1.20 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 273962 0 3 0 77248 752 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+789.997 s]
Raw data (loadavg): 0.99 1.00 1.19 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 277929 0 3 0 78238 762 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+799.996 s]
Raw data (loadavg): 0.99 1.00 1.19 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 286119 0 3 0 79219 781 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+809.997 s]
Raw data (loadavg): 0.99 1.00 1.19 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 294912 0 3 0 80199 802 0 0 25 0 1 0 708311210 19300352 4034 4294967295 134512640 134714508 3221224576 3221222928 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+819.997 s]
Raw data (loadavg): 0.99 1.00 1.18 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 299603 0 3 0 81186 815 0 0 25 0 1 0 708311210 20344832 4076 4294967295 134512640 134714508 3221224576 3221220736 1074883666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4967 4076 1111 63 0 4904 0
vsize: 19868
[startup+829.997 s]
Raw data (loadavg): 0.99 1.00 1.18 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 304412 0 3 0 82174 827 0 0 25 0 1 0 708311210 19333120 4042 4294967295 134512640 134714508 3221224576 3221222744 1077377827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 4042 1111 63 0 4657 0
vsize: 18880
[startup+839.997 s]
Raw data (loadavg): 0.99 1.00 1.18 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 308540 0 3 0 83163 838 0 0 25 0 1 0 708311210 19419136 4063 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4741 4063 1111 63 0 4678 0
vsize: 18964
[startup+849.997 s]
Raw data (loadavg): 0.99 1.00 1.18 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 313460 0 3 0 84150 851 0 0 25 0 1 0 708311210 19419136 4063 4294967295 134512640 134714508 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4741 4063 1111 63 0 4678 0
vsize: 18964
[startup+859.996 s]
Raw data (loadavg): 0.99 1.00 1.18 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 320167 0 3 0 85133 868 0 0 25 0 1 0 708311210 20516864 4215 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5009 4215 1111 63 0 4946 0
vsize: 20036
[startup+869.996 s]
Raw data (loadavg): 0.99 1.00 1.17 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 325918 0 3 0 86118 883 0 0 25 0 1 0 708311210 19644416 4118 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 4118 1111 63 0 4733 0
vsize: 19184
[startup+879.997 s]
Raw data (loadavg): 0.99 1.00 1.17 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 330527 0 3 0 87106 896 0 0 25 0 1 0 708311210 19550208 4095 4294967295 134512640 134714508 3221224576 3221222744 1077377604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 4095 1111 63 0 4710 0
vsize: 19092
[startup+889.998 s]
Raw data (loadavg): 0.99 1.00 1.17 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 337651 0 3 0 88088 914 0 0 25 0 1 0 708311210 19652608 4120 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4798 4120 1111 63 0 4735 0
vsize: 19192
[startup+899.997 s]
Raw data (loadavg): 0.99 1.00 1.17 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 342578 0 3 0 89074 928 0 0 25 0 1 0 708311210 19779584 4151 4294967295 134512640 134714508 3221224576 3221222528 1074052315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4829 4151 1111 63 0 4766 0
vsize: 19316
[startup+909.997 s]
Raw data (loadavg): 0.99 1.00 1.17 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 347222 0 3 0 90062 941 0 0 25 0 1 0 708311210 21245952 4337 4294967295 134512640 134714508 3221224576 3221221696 1074834343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5187 4337 1111 63 0 5124 0
vsize: 20748
[startup+919.998 s]
Raw data (loadavg): 0.99 1.00 1.16 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 351166 0 3 0 91051 952 0 0 25 0 1 0 708311210 21200896 4287 4294967295 134512640 134714508 3221224576 3221220444 1074787624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5176 4287 1111 63 0 5113 0
vsize: 20704
[startup+929.997 s]
Raw data (loadavg): 0.99 1.00 1.16 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 354672 0 3 0 92042 961 0 0 25 0 1 0 708311210 21229568 4288 4294967295 134512640 134714508 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5183 4288 1111 63 0 5120 0
vsize: 20732
[startup+939.998 s]
Raw data (loadavg): 0.99 1.00 1.16 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 358058 0 3 0 93032 971 0 0 25 0 1 0 708311210 20041728 4215 4294967295 134512640 134714508 3221224576 3221222768 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4893 4215 1111 63 0 4830 0
vsize: 19572
[startup+949.998 s]
Raw data (loadavg): 0.99 1.00 1.16 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 362598 0 3 0 94019 984 0 0 25 0 1 0 708311210 21135360 4371 4294967295 134512640 134714508 3221224576 3221221408 1075115295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 4371 1111 63 0 5097 0
vsize: 20640
[startup+959.997 s]
Raw data (loadavg): 0.99 1.00 1.16 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 366218 0 3 0 95010 993 0 0 25 0 1 0 708311210 21282816 4321 4294967295 134512640 134714508 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5196 4321 1111 63 0 5133 0
vsize: 20784
[startup+969.997 s]
Raw data (loadavg): 0.99 1.00 1.15 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 371012 0 3 0 95997 1006 0 0 25 0 1 0 708311210 20938752 4321 4294967295 134512640 134714508 3221224576 3221220848 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5112 4321 1111 63 0 5049 0
vsize: 20448
[startup+979.998 s]
Raw data (loadavg): 0.99 1.00 1.15 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 374106 0 3 0 96989 1014 0 0 25 0 1 0 708311210 20402176 4294 4294967295 134512640 134714508 3221224576 3221222576 1074916543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 4294 1111 63 0 4918 0
vsize: 19924
[startup+989.997 s]
Raw data (loadavg): 0.99 1.00 1.15 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 377910 0 3 0 97981 1023 0 0 25 0 1 0 708311210 20422656 4277 4294967295 134512640 134714508 3221224576 3221222496 1075799735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4986 4277 1111 63 0 4923 0
vsize: 19944
[startup+999.998 s]
Raw data (loadavg): 0.99 1.00 1.15 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 381436 0 3 0 98972 1032 0 0 25 0 1 0 708311210 21606400 4381 4294967295 134512640 134714508 3221224576 3221221496 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5275 4381 1111 63 0 5212 0
vsize: 21100
[startup+1010 s]
Raw data (loadavg): 0.99 1.00 1.15 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 385243 0 3 0 99962 1043 0 0 25 0 1 0 708311210 21270528 4392 4294967295 134512640 134714508 3221224576 3221220776 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5193 4392 1111 63 0 5130 0
vsize: 20772
[startup+1020 s]
Raw data (loadavg): 0.99 1.00 1.14 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 388807 0 3 0 100953 1052 0 0 25 0 1 0 708311210 21942272 4514 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5357 4514 1111 63 0 5294 0
vsize: 21428
[startup+1030 s]
Raw data (loadavg): 0.99 1.00 1.14 2/55 32604
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 392967 0 3 0 101942 1062 0 0 25 0 1 0 708311210 21762048 4413 4294967295 134512640 134714508 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5313 4413 1111 63 0 5250 0
vsize: 21252
[startup+1040 s]
Raw data (loadavg): 0.99 1.00 1.14 2/55 32657
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 397070 0 3 0 102931 1073 0 0 25 0 1 0 708311210 21454848 4448 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5238 4448 1111 63 0 5175 0
vsize: 20952
[startup+1050 s]
Raw data (loadavg): 0.99 1.00 1.14 2/55 32657
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 400931 0 3 0 103922 1083 0 0 25 0 1 0 708311210 21856256 4429 4294967295 134512640 134714508 3221224576 3221220848 1074961396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5336 4429 1111 63 0 5273 0
vsize: 21344
[startup+1060 s]
Raw data (loadavg): 0.99 1.00 1.14 2/55 32657
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 404801 0 3 0 104913 1092 0 0 25 0 1 0 708311210 20897792 4424 4294967295 134512640 134714508 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 4424 1111 63 0 5039 0
vsize: 20408
[startup+1070 s]
Raw data (loadavg): 0.99 1.00 1.13 2/55 32657
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 407748 0 3 0 105905 1100 0 0 25 0 1 0 708311210 21839872 4467 4294967295 134512640 134714508 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4467 1111 63 0 5269 0
vsize: 21328
[startup+1080 s]
Raw data (loadavg): 0.99 1.00 1.13 2/55 32657
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 411151 0 3 0 106896 1109 0 0 25 0 1 0 708311210 21839872 4462 4294967295 134512640 134714508 3221224576 3221220456 1074788452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4462 1111 63 0 5269 0
vsize: 21328
[startup+1090 s]
Raw data (loadavg): 0.99 1.00 1.13 2/55 32659
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 414171 0 3 0 107887 1118 0 0 25 0 1 0 708311210 21651456 4483 4294967295 134512640 134714508 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5286 4483 1111 63 0 5223 0
vsize: 21144
[startup+1100 s]
Raw data (loadavg): 0.99 1.00 1.13 2/55 32661
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 417115 0 3 0 108879 1126 0 0 25 0 1 0 708311210 21975040 4471 4294967295 134512640 134714508 3221224576 3221221152 1076049599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5365 4471 1111 63 0 5302 0
vsize: 21460
[startup+1110 s]
Raw data (loadavg): 0.99 1.00 1.13 2/55 32661
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 420485 0 3 0 109872 1132 0 0 25 0 1 0 708311210 22032384 4487 4294967295 134512640 134714508 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5379 4487 1111 63 0 5316 0
vsize: 21516
[startup+1120 s]
Raw data (loadavg): 0.99 1.00 1.12 2/55 32661
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 422862 0 3 0 110866 1139 0 0 25 0 1 0 708311210 21913600 4478 4294967295 134512640 134714508 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5350 4478 1111 63 0 5287 0
vsize: 21400
[startup+1130 s]
Raw data (loadavg): 0.99 1.00 1.12 2/55 32661
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 427235 0 3 0 111856 1149 0 0 25 0 1 0 708311210 21585920 4489 4294967295 134512640 134714508 3221224576 3221220800 1074802818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5270 4489 1111 63 0 5207 0
vsize: 21080
[startup+1140 s]
Raw data (loadavg): 0.99 1.00 1.12 2/55 32661
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 434937 0 3 0 112837 1168 0 0 25 0 1 0 708311210 20930560 4432 4294967295 134512640 134714508 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4432 1111 63 0 5047 0
vsize: 20440
[startup+1150 s]
Raw data (loadavg): 0.99 1.00 1.12 2/55 32661
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 438530 0 3 0 113827 1178 0 0 25 0 1 0 708311210 22446080 4629 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5480 4629 1111 63 0 5417 0
vsize: 21920
[startup+1160 s]
Raw data (loadavg): 0.99 1.00 1.12 2/55 32661
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 442251 0 3 0 114817 1188 0 0 25 0 1 0 708311210 22192128 4492 4294967295 134512640 134714508 3221224576 3221220724 1075964390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5418 4492 1111 63 0 5355 0
vsize: 21672
[startup+1169.99 s]
Raw data (loadavg): 0.99 1.00 1.12 2/55 32661
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 445285 0 3 0 115808 1198 0 0 25 0 1 0 708311210 22204416 4507 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5421 4507 1111 63 0 5358 0
vsize: 21684
[startup+1175.12 s]
Raw data (loadavg): 0.99 1.00 1.11 1/54 32661
Raw data (stat): 32604 (bsolo_lpr_cuts) R 32603 32363 32362 0 -1 0 445285 0 3 0 115808 1198 0 0 25 0 1 0 708311210 22204416 4507 4294967295 134512640 134714508 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5421 4507 1111 63 0 5358 0
vsize: 0

Child status: 0
Real time (s): 1175.12
CPU time (s): 1175.17
CPU user time (s): 1163.14
CPU system time (s): 12.0382
CPU usage (%): 100.005
Max. virtual memory (Kb): 21920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####