PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 28555

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 03:01:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12339 boxname=wulflinc27 idbench=950 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 12339
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        683340 kB
Buffers:         28088 kB
Cached:         301888 kB
SwapCached:        640 kB
Active:          51160 kB
Inactive:       281304 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        683088 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13068 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:21:33 (client local time) WITH STATUS 10 IN 1175.55 SECONDS
stats: 12339 0 1175.55 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.123 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.03975
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.285
c NEW SOLUTION FOUND: 36 @ 0.289
c NEW SOLUTION FOUND: 35 @ 0.291
c NEW SOLUTION FOUND: 34 @ 0.294
c NEW SOLUTION FOUND: 33 @ 0.296
c NEW SOLUTION FOUND: 32 @ 0.301
c NEW SOLUTION FOUND: 31 @ 0.429
c NEW SOLUTION FOUND: 30 @ 437.66
s SATISFIABLE
v V0001_bit0 V0002_bit0 V0003_bit0 -V0004_bit0 V0005_bit0 V0006_bit0 V0007_bit0 V0008_bit0 -V0009_bit0 -V0010_bit0 V0011_bit0 V0012_bit0 V0013_bit0 V0014_bit0 V0015_bit0 -V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 V0020_bit0 V0021_bit0 V0022_bit0 -V0023_bit0 -V0024_bit0 V0025_bit0 V0026_bit0 -V0027_bit0 V0028_bit0 -V0029_bit0 V0030_bit0 V0031_bit0 V0032_bit0 -V0033_bit0 V0034_bit0 -V0035_bit0 -V0036_bit0 -V0037_bit0 V0038_bit0 V0039_bit0 V0040_bit0 V0041_bit0 V0042_bit0 -V0043_bit0 V0044_bit0 -V0045_bit0 
c Exit Code: 10
c Total time: 1175.53 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.87 0.95 0.90 2/54 11975
Raw data (stat): 11975 (runsolver) R 11974 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835475716 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 16198 0 0 0 957 41 0 0 25 0 1 0 835475716 7471104 1140 4294967295 134512640 134714508 3221224576 3221222576 1074918613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1824 1140 1111 63 0 1761 0
vsize: 7296
[startup+20.0048 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 33315 0 0 0 1916 82 0 0 25 0 1 0 835475716 8265728 1314 4294967295 134512640 134714508 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2018 1314 1111 63 0 1955 0
vsize: 8072
[startup+30.0125 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 49466 0 0 0 2881 118 0 0 25 0 1 0 835475716 8704000 1442 4294967295 134512640 134714508 3221224576 3221222576 1074916558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 1442 1111 63 0 2062 0
vsize: 8500
[startup+40.0146 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 65553 0 0 0 3842 158 0 0 25 0 1 0 835475716 9109504 1542 4294967295 134512640 134714508 3221224576 3221222928 1073986885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2224 1542 1111 63 0 2161 0
vsize: 8896
[startup+50.0195 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 81820 0 0 0 4804 196 0 0 25 0 1 0 835475716 9662464 1677 4294967295 134512640 134714508 3221224576 3221221696 1074866184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2359 1677 1111 63 0 2296 0
vsize: 9436
[startup+60.019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 97510 0 0 0 5767 233 0 0 25 0 1 0 835475716 10559488 1843 4294967295 134512640 134714508 3221224576 3221220736 1075095139 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2578 1843 1111 63 0 2515 0
vsize: 10312
[startup+70.0202 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 114144 0 0 0 6729 271 0 0 25 0 1 0 835475716 10379264 1852 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1852 1111 63 0 2471 0
vsize: 10136
[startup+80.0211 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 129600 0 0 0 7693 308 0 0 25 0 1 0 835475716 11259904 1977 4294967295 134512640 134714508 3221224576 3221221176 1075850774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2749 1977 1111 63 0 2686 0
vsize: 10996
[startup+90.0214 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 146820 0 0 0 8650 351 0 0 25 0 1 0 835475716 11177984 2047 4294967295 134512640 134714508 3221224576 3221222576 1074918472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2729 2047 1111 63 0 2666 0
vsize: 10916
[startup+100.022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 163072 0 0 0 9611 389 0 0 25 0 1 0 835475716 11337728 2092 4294967295 134512640 134714508 3221224576 3221222792 1077377190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2768 2092 1111 63 0 2705 0
vsize: 11072
[startup+110.023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 179968 0 0 0 10573 428 0 0 25 0 1 0 835475716 11841536 2201 4294967295 134512640 134714508 3221224576 3221222944 1074140704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2891 2201 1111 63 0 2828 0
vsize: 11564
[startup+120.023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 195393 0 0 0 11534 466 0 0 25 0 1 0 835475716 12918784 2311 4294967295 134512640 134714508 3221224576 3221221616 1075971404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3154 2311 1111 63 0 3091 0
vsize: 12616
[startup+130.028 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 212226 0 0 0 12496 505 0 0 25 0 1 0 835475716 12460032 2335 4294967295 134512640 134714508 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3042 2335 1111 63 0 2979 0
vsize: 12168
[startup+140.033 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 228863 0 0 0 13457 545 0 0 25 0 1 0 835475716 12668928 2408 4294967295 134512640 134714508 3221224576 3221223236 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2408 1111 63 0 3030 0
vsize: 12372
[startup+150.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 246156 0 0 0 14416 586 0 0 25 0 1 0 835475716 13447168 2528 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3283 2528 1111 63 0 3220 0
vsize: 13132
[startup+160.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 262628 0 0 0 15377 625 0 0 25 0 1 0 835475716 13512704 2604 4294967295 134512640 134714508 3221224576 3221221856 1074140048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3299 2604 1111 63 0 3236 0
vsize: 13196
[startup+170.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 278933 0 0 0 16339 663 0 0 25 0 1 0 835475716 14262272 2697 4294967295 134512640 134714508 3221224576 3221220576 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3482 2697 1111 63 0 3419 0
vsize: 13928
[startup+180.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 294177 0 0 0 17304 699 0 0 25 0 1 0 835475716 13684736 2665 4294967295 134512640 134714508 3221224576 3221222352 1077379970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3341 2665 1111 63 0 3278 0
vsize: 13364
[startup+190.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 311856 0 0 0 18261 741 0 0 25 0 1 0 835475716 15085568 2759 4294967295 134512640 134714508 3221224576 3221221616 1075971389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2759 1111 63 0 3620 0
vsize: 14732
[startup+200.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 329547 0 0 0 19224 780 0 0 25 0 1 0 835475716 15884288 3039 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 3039 1111 63 0 3815 0
vsize: 15512
[startup+210.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 346965 0 0 0 20186 817 0 0 25 0 1 0 835475716 15360000 2867 4294967295 134512640 134714508 3221224576 3221221620 1074846206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3750 2867 1111 63 0 3687 0
vsize: 15000
[startup+220.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 367262 0 0 0 21138 866 0 0 25 0 1 0 835475716 14880768 2957 4294967295 134512640 134714508 3221224576 3221222576 1074918512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3633 2957 1111 63 0 3570 0
vsize: 14532
[startup+230.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11975
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 386656 0 0 0 22093 910 0 0 25 0 1 0 835475716 15069184 3003 4294967295 134512640 134714508 3221224576 3221222880 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 3003 1111 63 0 3616 0
vsize: 14716
[startup+240.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 404364 0 0 0 23053 951 0 0 25 0 1 0 835475716 15712256 3160 4294967295 134512640 134714508 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3836 3160 1111 63 0 3773 0
vsize: 15344
[startup+250.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 422040 0 0 0 24014 990 0 0 25 0 1 0 835475716 15458304 3098 4294967295 134512640 134714508 3221224576 3221222912 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3774 3098 1111 63 0 3711 0
vsize: 15096
[startup+260.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 439463 0 0 0 24975 1029 0 0 25 0 1 0 835475716 15708160 3159 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3835 3159 1111 63 0 3772 0
vsize: 15340
[startup+270.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 458584 0 0 0 25932 1071 0 0 25 0 1 0 835475716 16916480 3249 4294967295 134512640 134714508 3221224576 3221221176 1075850761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4130 3249 1111 63 0 4067 0
vsize: 16520
[startup+280.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 477125 0 0 0 26891 1113 0 0 25 0 1 0 835475716 17207296 3301 4294967295 134512640 134714508 3221224576 3221221616 1075971395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4201 3301 1111 63 0 4138 0
vsize: 16804
[startup+290.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 494928 0 0 0 27851 1153 0 0 25 0 1 0 835475716 16605184 3351 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4054 3351 1111 63 0 3991 0
vsize: 16216
[startup+300.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 514370 0 0 0 28806 1198 0 0 25 0 1 0 835475716 16756736 3415 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4091 3415 1111 63 0 4028 0
vsize: 16364
[startup+310.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 532834 0 0 0 29763 1242 0 0 25 0 1 0 835475716 16957440 3464 4294967295 134512640 134714508 3221224576 3221222548 1077378699 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4140 3464 1111 63 0 4077 0
vsize: 16560
[startup+320.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 551201 0 0 0 30720 1285 0 0 25 0 1 0 835475716 17342464 3558 4294967295 134512640 134714508 3221224576 3221222488 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4234 3558 1111 63 0 4171 0
vsize: 16936
[startup+330.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 570413 0 0 0 31674 1330 0 0 25 0 1 0 835475716 18071552 3704 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4412 3704 1111 63 0 4349 0
vsize: 17648
[startup+340.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 589712 0 0 0 32630 1375 0 0 25 0 1 0 835475716 18132992 3751 4294967295 134512640 134714508 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4427 3751 1111 63 0 4364 0
vsize: 17708
[startup+350.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 608286 0 0 0 33587 1418 0 0 25 0 1 0 835475716 18223104 3773 4294967295 134512640 134714508 3221224576 3221222676 1074208084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4449 3773 1111 63 0 4386 0
vsize: 17796
[startup+360.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 621234 0 0 0 34558 1447 0 0 25 0 1 0 835475716 18853888 3927 4294967295 134512640 134714508 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4603 3927 1111 63 0 4540 0
vsize: 18412
[startup+370.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 637473 0 0 0 35517 1488 0 0 25 0 1 0 835475716 19927040 3913 4294967295 134512640 134714508 3221224576 3221221720 1075850716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 3913 1111 63 0 4802 0
vsize: 19460
[startup+380.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 651946 0 0 0 36487 1518 0 0 25 0 1 0 835475716 19218432 4016 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4692 4016 1111 63 0 4629 0
vsize: 18768
[startup+390.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 668464 0 0 0 37448 1557 0 0 25 0 1 0 835475716 19836928 4164 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4164 1111 63 0 4780 0
vsize: 19372
[startup+400.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 684365 0 0 0 38409 1597 0 0 25 0 1 0 835475716 21516288 4130 4294967295 134512640 134714508 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5253 4130 1111 63 0 5190 0
vsize: 21012
[startup+410.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 702735 0 0 0 39367 1639 0 0 25 0 1 0 835475716 20348928 4261 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4968 4261 1111 63 0 4905 0
vsize: 19872
[startup+420.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 718384 0 0 0 40332 1674 0 0 25 0 1 0 835475716 23109632 4746 4294967295 134512640 134714508 3221224576 3221221808 1075552832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5642 4746 1111 63 0 5579 0
vsize: 22568
[startup+430.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 733693 0 0 0 41297 1710 0 0 25 0 1 0 835475716 20242432 4266 4294967295 134512640 134714508 3221224576 3221222712 1077377457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 4266 1111 63 0 4879 0
vsize: 19768
[startup+440.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 748265 0 0 0 42264 1743 0 0 25 0 1 0 835475716 20652032 4336 4294967295 134512640 134714508 3221224576 3221222656 1074064567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 4336 1111 63 0 4979 0
vsize: 20168
[startup+450.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 760600 0 0 0 43236 1771 0 0 25 0 1 0 835475716 20807680 4405 4294967295 134512640 134714508 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5080 4405 1111 63 0 5017 0
vsize: 20320
[startup+460.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 774331 0 0 0 44205 1802 0 0 25 0 1 0 835475716 21311488 4491 4294967295 134512640 134714508 3221224576 3221221856 1074140020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5203 4491 1111 63 0 5140 0
vsize: 20812
[startup+470.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 787793 0 0 0 45176 1831 0 0 25 0 1 0 835475716 21204992 4470 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4470 1111 63 0 5114 0
vsize: 20708
[startup+480.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 801541 0 0 0 46144 1863 0 0 25 0 1 0 835475716 20910080 4430 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4430 1111 63 0 5042 0
vsize: 20420
[startup+490.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 814721 0 0 0 47113 1894 0 0 25 0 1 0 835475716 21311488 4528 4294967295 134512640 134714508 3221224576 3221222784 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5203 4528 1111 63 0 5140 0
vsize: 20812
[startup+500.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 825000 0 0 0 48089 1918 0 0 25 0 1 0 835475716 21381120 4545 4294967295 134512640 134714508 3221224576 3221221920 1074839017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5220 4545 1111 63 0 5157 0
vsize: 20880
[startup+510.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 839096 0 0 0 49060 1947 0 0 25 0 1 0 835475716 21319680 4530 4294967295 134512640 134714508 3221224576 3221222616 1077377291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5205 4530 1111 63 0 5142 0
vsize: 20820
[startup+520.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 848435 0 0 0 50037 1970 0 0 25 0 1 0 835475716 24293376 4977 4294967295 134512640 134714508 3221224576 3221220784 1074815500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5931 4977 1111 63 0 5868 0
vsize: 23724
[startup+530.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 862084 0 0 0 51008 2000 0 0 25 0 1 0 835475716 21807104 4649 4294967295 134512640 134714508 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4649 1111 63 0 5261 0
vsize: 21296
[startup+540.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 875503 0 0 0 51976 2031 0 0 25 0 1 0 835475716 21692416 4621 4294967295 134512640 134714508 3221224576 3221222768 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5296 4621 1111 63 0 5233 0
vsize: 21184
[startup+550.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 889559 0 0 0 52944 2064 0 0 25 0 1 0 835475716 22491136 4785 4294967295 134512640 134714508 3221224576 3221222224 1075818300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5491 4785 1111 63 0 5428 0
vsize: 21964
[startup+560.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 904622 0 0 0 53910 2098 0 0 25 0 1 0 835475716 21843968 4658 4294967295 134512640 134714508 3221224576 3221223248 134650219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5333 4658 1111 63 0 5270 0
vsize: 21332
[startup+570.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 915264 0 0 0 54885 2123 0 0 25 0 1 0 835475716 22237184 4754 4294967295 134512640 134714508 3221224576 3221222848 1074056063 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5429 4754 1111 63 0 5366 0
vsize: 21716
[startup+580.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 928503 0 0 0 55851 2157 0 0 25 0 1 0 835475716 22228992 4752 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5427 4752 1111 63 0 5364 0
vsize: 21708
[startup+590.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 941286 0 0 0 56821 2187 0 0 25 0 1 0 835475716 23732224 4874 4294967295 134512640 134714508 3221224576 3221222216 1075850409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4874 1111 63 0 5731 0
vsize: 23176
[startup+600.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 955552 0 0 0 57785 2223 0 0 25 0 1 0 835475716 24903680 4987 4294967295 134512640 134714508 3221224576 3221221344 1076083342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6080 4987 1111 63 0 6017 0
vsize: 24320
[startup+610.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 969042 0 0 0 58753 2256 0 0 25 0 1 0 835475716 24862720 5043 4294967295 134512640 134714508 3221224576 3221221408 1075115385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6070 5043 1111 63 0 6007 0
vsize: 24280
[startup+620.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 984652 0 0 0 59715 2293 0 0 25 0 1 0 835475716 24772608 5145 4294967295 134512640 134714508 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6048 5145 1111 63 0 5985 0
vsize: 24192
[startup+630.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 998642 0 0 0 60682 2326 0 0 25 0 1 0 835475716 22798336 4891 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4891 1111 63 0 5503 0
vsize: 22264
[startup+640.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1012888 0 0 0 61651 2357 0 0 25 0 1 0 835475716 22986752 4937 4294967295 134512640 134714508 3221224576 3221223168 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5612 4937 1111 63 0 5549 0
vsize: 22448
[startup+650.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1027786 0 0 0 62617 2392 0 0 25 0 1 0 835475716 23044096 4951 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5626 4951 1111 63 0 5563 0
vsize: 22504
[startup+660.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1042021 0 0 0 63584 2425 0 0 25 0 1 0 835475716 23269376 5006 4294967295 134512640 134714508 3221224576 3221222928 1074115528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5681 5006 1111 63 0 5618 0
vsize: 22724
[startup+670.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1052946 0 0 0 64559 2451 0 0 25 0 1 0 835475716 23945216 5171 4294967295 134512640 134714508 3221224576 3221222812 1074208080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5846 5171 1111 63 0 5783 0
vsize: 23384
[startup+680.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1059719 0 0 0 65542 2467 0 0 25 0 1 0 835475716 23801856 5132 4294967295 134512640 134714508 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5811 5132 1111 63 0 5748 0
vsize: 23244
[startup+690.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1072970 0 0 0 66511 2499 0 0 25 0 1 0 835475716 23752704 5124 4294967295 134512640 134714508 3221224576 3221222392 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5799 5124 1111 63 0 5736 0
vsize: 23196
[startup+700.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1082002 0 0 0 67489 2521 0 0 25 0 1 0 835475716 24682496 5300 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6026 5300 1111 63 0 5963 0
vsize: 24104
[startup+710.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1095045 0 0 0 68458 2552 0 0 25 0 1 0 835475716 26927104 5514 4294967295 134512640 134714508 3221224576 3221220816 1075115752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6574 5514 1111 63 0 6511 0
vsize: 26296
[startup+720.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1108938 0 0 0 69428 2582 0 0 25 0 1 0 835475716 23764992 5127 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5802 5127 1111 63 0 5739 0
vsize: 23208
[startup+730.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1121968 0 0 0 70398 2612 0 0 25 0 1 0 835475716 24666112 5323 4294967295 134512640 134714508 3221224576 3221222856 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6022 5323 1111 63 0 5959 0
vsize: 24088
[startup+740.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1131487 0 0 0 71374 2637 0 0 25 0 1 0 835475716 24649728 5320 4294967295 134512640 134714508 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6018 5320 1111 63 0 5955 0
vsize: 24072
[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1145244 0 0 0 72342 2668 0 0 25 0 1 0 835475716 24772608 5344 4294967295 134512640 134714508 3221224576 3221222304 1075828514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6048 5344 1111 63 0 5985 0
vsize: 24192
[startup+760.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1160218 0 0 0 73309 2702 0 0 25 0 1 0 835475716 27975680 5978 4294967295 134512640 134714508 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6830 5978 1111 63 0 6767 0
vsize: 27320
[startup+770.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1174419 0 0 0 74275 2735 0 0 25 0 1 0 835475716 27471872 5612 4294967295 134512640 134714508 3221224576 3221220720 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6707 5612 1111 63 0 6644 0
vsize: 26828
[startup+780.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1186057 0 0 0 75249 2762 0 0 25 0 1 0 835475716 24952832 5415 4294967295 134512640 134714508 3221224576 3221222572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6092 5415 1111 63 0 6029 0
vsize: 24368
[startup+790.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1197761 0 0 0 76223 2788 0 0 25 0 1 0 835475716 24715264 5359 4294967295 134512640 134714508 3221224576 3221223072 134650078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6034 5359 1111 63 0 5971 0
vsize: 24136
[startup+800.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1212275 0 0 0 77191 2821 0 0 25 0 1 0 835475716 24743936 5366 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 5366 1111 63 0 5978 0
vsize: 24164
[startup+810.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1225939 0 0 0 78160 2852 0 0 25 0 1 0 835475716 27869184 5694 4294967295 134512640 134714508 3221224576 3221221388 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6804 5694 1111 63 0 6741 0
vsize: 27216
[startup+820.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1235010 0 0 0 79139 2872 0 0 25 0 1 0 835475716 24961024 5419 4294967295 134512640 134714508 3221224576 3221222696 1074057994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6094 5419 1111 63 0 6031 0
vsize: 24376
[startup+830.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1250598 0 0 0 80105 2906 0 0 25 0 1 0 835475716 24961024 5419 4294967295 134512640 134714508 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6094 5419 1111 63 0 6031 0
vsize: 24376
[startup+840.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1263876 0 0 0 81074 2938 0 0 25 0 1 0 835475716 27705344 5566 4294967295 134512640 134714508 3221224576 3221221696 1074837200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 5566 1111 63 0 6701 0
vsize: 27056
[startup+850.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1278739 0 0 0 82037 2975 0 0 25 0 1 0 835475716 25477120 5544 4294967295 134512640 134714508 3221224576 3221222576 1074916750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6220 5544 1111 63 0 6157 0
vsize: 24880
[startup+860.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1293279 0 0 0 83003 3009 0 0 25 0 1 0 835475716 28258304 5692 4294967295 134512640 134714508 3221224576 3221221696 1074834461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6899 5692 1111 63 0 6836 0
vsize: 27596
[startup+870.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1307024 0 0 0 83972 3040 0 0 25 0 1 0 835475716 25841664 5609 4294967295 134512640 134714508 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6309 5609 1111 63 0 6246 0
vsize: 25236
[startup+880.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1321243 0 0 0 84938 3075 0 0 25 0 1 0 835475716 26079232 5661 4294967295 134512640 134714508 3221224576 3221222768 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6367 5661 1111 63 0 6304 0
vsize: 25468
[startup+890.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1334421 0 0 0 85906 3107 0 0 25 0 1 0 835475716 28848128 5886 4294967295 134512640 134714508 3221224576 3221220632 1074860243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7043 5886 1111 63 0 6980 0
vsize: 28172
[startup+900.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1349202 0 0 0 86872 3141 0 0 25 0 1 0 835475716 26025984 5679 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6354 5679 1111 63 0 6291 0
vsize: 25416
[startup+910.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1366143 0 0 0 87833 3180 0 0 25 0 1 0 835475716 26824704 5866 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6549 5866 1111 63 0 6486 0
vsize: 26196
[startup+920.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1380935 0 0 0 88798 3215 0 0 25 0 1 0 835475716 26484736 5766 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6466 5766 1111 63 0 6403 0
vsize: 25864
[startup+930.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1395379 0 0 0 89764 3249 0 0 25 0 1 0 835475716 26836992 5846 4294967295 134512640 134714508 3221224576 3221222304 1075828373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6552 5846 1111 63 0 6489 0
vsize: 26208
[startup+940.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1407461 0 0 0 90736 3277 0 0 25 0 1 0 835475716 26836992 5877 4294967295 134512640 134714508 3221224576 3221222216 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6552 5877 1111 63 0 6489 0
vsize: 26208
[startup+950.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1418508 0 0 0 91711 3303 0 0 25 0 1 0 835475716 26836992 5877 4294967295 134512640 134714508 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6552 5877 1111 63 0 6489 0
vsize: 26208
[startup+960.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1433424 0 0 0 92675 3339 0 0 25 0 1 0 835475716 29421568 5999 4294967295 134512640 134714508 3221224576 3221221232 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7183 5999 1111 63 0 7120 0
vsize: 28732
[startup+970.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1448677 0 0 0 93637 3377 0 0 25 0 1 0 835475716 29814784 6116 4294967295 134512640 134714508 3221224576 3221221388 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7279 6116 1111 63 0 7216 0
vsize: 29116
[startup+980.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1458951 0 0 0 94612 3402 0 0 25 0 1 0 835475716 30281728 6311 4294967295 134512640 134714508 3221224576 3221220848 1074960952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 6311 1111 63 0 7330 0
vsize: 29572
[startup+990.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1472339 0 0 0 95584 3431 0 0 25 0 1 0 835475716 29020160 6098 4294967295 134512640 134714508 3221224576 3221221932 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7085 6098 1111 63 0 7022 0
vsize: 28340
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1486394 0 0 0 96552 3462 0 0 25 0 1 0 835475716 28098560 6155 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6860 6155 1111 63 0 6797 0
vsize: 27440
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1497857 0 0 0 97525 3489 0 0 25 0 1 0 835475716 27533312 6047 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6722 6047 1111 63 0 6659 0
vsize: 26888
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1511514 0 0 0 98494 3521 0 0 25 0 1 0 835475716 27725824 6094 4294967295 134512640 134714508 3221224576 3221222660 1077374514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 6094 1111 63 0 6706 0
vsize: 27076
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1524085 0 0 0 99466 3549 0 0 25 0 1 0 835475716 28450816 6190 4294967295 134512640 134714508 3221224576 3221221856 1074140035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6946 6195 1111 63 0 6883 0
vsize: 27784
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1538288 0 0 0 100433 3582 0 0 25 0 1 0 835475716 28065792 6177 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6852 6177 1111 63 0 6789 0
vsize: 27408
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1551336 0 0 0 101404 3612 0 0 25 0 1 0 835475716 28774400 6338 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7025 6338 1111 63 0 6962 0
vsize: 28100
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1566182 0 0 0 102367 3649 0 0 25 0 1 0 835475716 28901376 6339 4294967295 134512640 134714508 3221224576 3221222688 1074867302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7056 6339 1111 63 0 6993 0
vsize: 28224
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1577865 0 0 0 103339 3677 0 0 25 0 1 0 835475716 28688384 6329 4294967295 134512640 134714508 3221224576 3221222368 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7004 6329 1111 63 0 6941 0
vsize: 28016
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1580580 0 0 0 104332 3685 0 0 25 0 1 0 835475716 29204480 6435 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7130 6435 1111 63 0 7067 0
vsize: 28520
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1585761 0 0 0 105320 3696 0 0 25 0 1 0 835475716 28913664 6353 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7059 6353 1111 63 0 6996 0
vsize: 28236
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1598858 0 0 0 106293 3724 0 0 25 0 1 0 835475716 28483584 6279 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 6279 1111 63 0 6891 0
vsize: 27816
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1609692 0 0 0 107267 3750 0 0 25 0 1 0 835475716 32006144 6531 4294967295 134512640 134714508 3221224576 3221221520 1074620117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7814 6531 1111 63 0 7751 0
vsize: 31256
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1622851 0 0 0 108237 3780 0 0 25 0 1 0 835475716 28725248 6338 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7013 6338 1111 63 0 6950 0
vsize: 28052
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1635663 0 0 0 109208 3809 0 0 25 0 1 0 835475716 32849920 6823 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8020 6823 1111 63 0 7957 0
vsize: 32080
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1649126 0 0 0 110177 3840 0 0 25 0 1 0 835475716 32096256 6506 4294967295 134512640 134714508 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7836 6506 1111 63 0 7773 0
vsize: 31344
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1661470 0 0 0 111149 3869 0 0 25 0 1 0 835475716 28987392 6402 4294967295 134512640 134714508 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6402 1111 63 0 7014 0
vsize: 28308
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1673610 0 0 0 112121 3897 0 0 25 0 1 0 835475716 32681984 6737 4294967295 134512640 134714508 3221224576 3221220736 1074794515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7979 6737 1111 63 0 7916 0
vsize: 31916
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1682037 0 0 0 113100 3918 0 0 25 0 1 0 835475716 29925376 6610 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6610 1111 63 0 7243 0
vsize: 29224
[startup+1175.44 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11977
Raw data (stat): 11975 (bsolo_lpr_cuts) R 11974 3394 3393 0 -1 0 1682037 0 0 0 113100 3918 0 0 25 0 1 0 835475716 29925376 6610 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6610 1111 63 0 7243 0
vsize: 0

Child status: 10
Real time (s): 1175.44
CPU time (s): 1175.55
CPU user time (s): 1136.22
CPU system time (s): 39.322
CPU usage (%): 100.009
Max. virtual memory (Kb): 32080
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####