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/miplib3/normalized-mps-v2-20-10-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
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.01384
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 28216

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 01:10:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13912 boxname=wulflinc4 idbench=1071 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 13912
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        707252 kB
Buffers:         34860 kB
Cached:         272336 kB
SwapCached:        504 kB
Active:          59712 kB
Inactive:       250056 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707000 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5948 kB
Slab:            11964 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:30:12 (client local time) WITH STATUS 10 IN 1175.22 SECONDS
stats: 13912 0 1175.22 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.04075
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.288
c NEW SOLUTION FOUND: 36 @ 0.293
c NEW SOLUTION FOUND: 35 @ 0.295
c NEW SOLUTION FOUND: 34 @ 0.297
c NEW SOLUTION FOUND: 33 @ 0.3
c NEW SOLUTION FOUND: 32 @ 0.305
c NEW SOLUTION FOUND: 31 @ 0.436
c NEW SOLUTION FOUND: 30 @ 437.987
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.2 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.85 0.97 0.93 2/54 26025
Raw data (stat): 26025 (runsolver) R 26024 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776583341 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.0036 s]
Raw data (loadavg): 0.88 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 16108 0 0 0 951 46 0 0 25 0 1 0 776583341 7811072 1146 4294967295 134512640 134714508 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 1149 1111 63 0 1844 0
vsize: 7628
[startup+20.0043 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 33201 0 0 0 1909 88 0 0 25 0 1 0 776583341 8101888 1295 4294967295 134512640 134714508 3221224576 3221222856 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 1295 1111 63 0 1915 0
vsize: 7912
[startup+30.0049 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 49374 0 0 0 2869 128 0 0 25 0 1 0 776583341 9080832 1474 4294967295 134512640 134714508 3221224576 3221220848 1074961191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2217 1474 1111 63 0 2154 0
vsize: 8868
[startup+40.0051 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 65492 0 0 0 3832 165 0 0 25 0 1 0 776583341 9515008 1575 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2323 1575 1111 63 0 2260 0
vsize: 9292
[startup+50.006 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 81806 0 0 0 4793 205 0 0 25 0 1 0 776583341 10575872 1815 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2582 1815 1111 63 0 2519 0
vsize: 10328
[startup+60.0055 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 97556 0 0 0 5759 239 0 0 25 0 1 0 776583341 9940992 1745 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2427 1745 1111 63 0 2364 0
vsize: 9708
[startup+70.0071 s]
Raw data (loadavg): 0.95 0.97 0.93 3/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 114299 0 0 0 6720 278 0 0 25 0 1 0 776583341 10403840 1858 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1858 1111 63 0 2477 0
vsize: 10160
[startup+80.0076 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 129736 0 0 0 7685 313 0 0 25 0 1 0 776583341 11214848 1971 4294967295 134512640 134714508 3221224576 3221222216 1075850518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2738 1971 1111 63 0 2675 0
vsize: 10952
[startup+90.0071 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 147344 0 0 0 8649 350 0 0 25 0 1 0 776583341 11100160 2034 4294967295 134512640 134714508 3221224576 3221223040 1074121049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2710 2034 1111 63 0 2647 0
vsize: 10840
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 163579 0 0 0 9612 387 0 0 25 0 1 0 776583341 12066816 2200 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2946 2200 1111 63 0 2883 0
vsize: 11784
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 180503 0 0 0 10572 427 0 0 25 0 1 0 776583341 11669504 2173 4294967295 134512640 134714508 3221224576 3221222648 1077377507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2849 2173 1111 63 0 2786 0
vsize: 11396
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 195819 0 0 0 11535 464 0 0 25 0 1 0 776583341 12816384 2351 4294967295 134512640 134714508 3221224576 3221220944 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3129 2351 1111 63 0 3066 0
vsize: 12516
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 212641 0 0 0 12495 504 0 0 25 0 1 0 776583341 12283904 2323 4294967295 134512640 134714508 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2323 1111 63 0 2936 0
vsize: 11996
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 229173 0 0 0 13458 541 0 0 25 0 1 0 776583341 12750848 2410 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 2410 1111 63 0 3050 0
vsize: 12452
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 246506 0 0 0 14418 582 0 0 25 0 1 0 776583341 12963840 2489 4294967295 134512640 134714508 3221224576 3221222784 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3165 2489 1111 63 0 3102 0
vsize: 12660
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 263044 0 0 0 15379 621 0 0 25 0 1 0 776583341 14376960 2742 4294967295 134512640 134714508 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3510 2742 1111 63 0 3447 0
vsize: 14040
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 279263 0 0 0 16341 659 0 0 25 0 1 0 776583341 14004224 2658 4294967295 134512640 134714508 3221224576 3221221584 1075602899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2658 1111 63 0 3356 0
vsize: 13676
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 294196 0 0 0 17307 693 0 0 25 0 1 0 776583341 13864960 2684 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3385 2684 1111 63 0 3322 0
vsize: 13540
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 312208 0 0 0 18267 734 0 0 25 0 1 0 776583341 13991936 2740 4294967295 134512640 134714508 3221224576 3221223300 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2740 1111 63 0 3353 0
vsize: 13664
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 329957 0 0 0 19227 774 0 0 25 0 1 0 776583341 14192640 2789 4294967295 134512640 134714508 3221224576 3221222576 1074916712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3465 2789 1111 63 0 3402 0
vsize: 13860
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 347287 0 0 0 20187 814 0 0 25 0 1 0 776583341 14622720 2884 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2884 1111 63 0 3507 0
vsize: 14280
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 367613 0 0 0 21140 861 0 0 25 0 1 0 776583341 14880768 2957 4294967295 134512640 134714508 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3633 2957 1111 63 0 3570 0
vsize: 14532
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 387330 0 0 0 22096 906 0 0 25 0 1 0 776583341 16723968 3233 4294967295 134512640 134714508 3221224576 3221221232 1075969072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4083 3233 1111 63 0 4020 0
vsize: 16332
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 404364 0 0 0 23058 943 0 0 25 0 1 0 776583341 15429632 3091 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3767 3091 1111 63 0 3704 0
vsize: 15068
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 422368 0 0 0 24015 987 0 0 25 0 1 0 776583341 15634432 3120 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 3120 1111 63 0 3754 0
vsize: 15268
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 439771 0 0 0 24975 1028 0 0 25 0 1 0 776583341 17346560 3223 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4235 3223 1111 63 0 4172 0
vsize: 16940
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 458589 0 0 0 25934 1068 0 0 25 0 1 0 776583341 16117760 3227 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3935 3227 1111 63 0 3872 0
vsize: 15740
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 477304 0 0 0 26893 1110 0 0 25 0 1 0 776583341 16293888 3302 4294967295 134512640 134714508 3221224576 3221221680 1074138617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3978 3302 1111 63 0 3915 0
vsize: 15912
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 495140 0 0 0 27850 1154 0 0 25 0 1 0 776583341 18456576 3559 4294967295 134512640 134714508 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3559 1111 63 0 4443 0
vsize: 18024
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 514394 0 0 0 28803 1200 0 0 25 0 1 0 776583341 16879616 3439 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4121 3439 1111 63 0 4058 0
vsize: 16484
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 532843 0 0 0 29763 1241 0 0 25 0 1 0 776583341 17104896 3473 4294967295 134512640 134714508 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4176 3474 1111 63 0 4113 0
vsize: 16704
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 551630 0 0 0 30719 1285 0 0 25 0 1 0 776583341 17321984 3553 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3553 1111 63 0 4166 0
vsize: 16916
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 570717 0 0 0 31676 1328 0 0 25 0 1 0 776583341 19656704 4007 4294967295 134512640 134714508 3221224576 3221220512 1075965256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 4007 1111 63 0 4736 0
vsize: 19196
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 590226 0 0 0 32633 1372 0 0 25 0 1 0 776583341 18006016 3720 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4396 3720 1111 63 0 4333 0
vsize: 17584
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 608966 0 0 0 33587 1417 0 0 25 0 1 0 776583341 19320832 3866 4294967295 134512640 134714508 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4717 3866 1111 63 0 4654 0
vsize: 18868
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 621235 0 0 0 34557 1448 0 0 25 0 1 0 776583341 18857984 3928 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4604 3928 1111 63 0 4541 0
vsize: 18416
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 637325 0 0 0 35519 1486 0 0 25 0 1 0 776583341 20762624 4006 4294967295 134512640 134714508 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4006 1111 63 0 5006 0
vsize: 20276
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 651946 0 0 0 36484 1521 0 0 25 0 1 0 776583341 19218432 4016 4294967295 134512640 134714508 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4692 4016 1111 63 0 4629 0
vsize: 18768
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 668457 0 0 0 37446 1559 0 0 25 0 1 0 776583341 19816448 4157 4294967295 134512640 134714508 3221224576 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4838 4157 1111 63 0 4775 0
vsize: 19352
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 684037 0 0 0 38410 1595 0 0 25 0 1 0 776583341 19517440 4089 4294967295 134512640 134714508 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4765 4089 1111 63 0 4702 0
vsize: 19060
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 702622 0 0 0 39365 1641 0 0 25 0 1 0 776583341 21303296 4263 4294967295 134512640 134714508 3221224576 3221222304 1074867203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5201 4263 1111 63 0 5138 0
vsize: 20804
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 717782 0 0 0 40330 1676 0 0 25 0 1 0 776583341 23506944 4979 4294967295 134512640 134714508 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5739 4979 1111 63 0 5676 0
vsize: 22956
[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 733180 0 0 0 41296 1710 0 0 25 0 1 0 776583341 20422656 4280 4294967295 134512640 134714508 3221224576 3221222536 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4986 4280 1111 63 0 4923 0
vsize: 19944
[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 747764 0 0 0 42263 1744 0 0 25 0 1 0 776583341 23441408 4758 4294967295 134512640 134714508 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5723 4758 1111 63 0 5660 0
vsize: 22892
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 760558 0 0 0 43234 1772 0 0 25 0 1 0 776583341 20635648 4363 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5038 4363 1111 63 0 4975 0
vsize: 20152
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 774156 0 0 0 44205 1802 0 0 25 0 1 0 776583341 23302144 4722 4294967295 134512640 134714508 3221224576 3221220848 1074960898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5689 4722 1111 63 0 5626 0
vsize: 22756
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 787788 0 0 0 45175 1831 0 0 25 0 1 0 776583341 21250048 4476 4294967295 134512640 134714508 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5188 4476 1111 63 0 5125 0
vsize: 20752
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 801377 0 0 0 46146 1860 0 0 25 0 1 0 776583341 21229568 4508 4294967295 134512640 134714508 3221224576 3221222304 1075635973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5139 4464 1111 63 0 5076 0
vsize: 20732
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 814716 0 0 0 47117 1890 0 0 25 0 1 0 776583341 21291008 4523 4294967295 134512640 134714508 3221224576 3221222736 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5198 4523 1111 63 0 5135 0
vsize: 20792
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 824736 0 0 0 48093 1914 0 0 25 0 1 0 776583341 21745664 4602 4294967295 134512640 134714508 3221224576 3221222576 1074916336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5309 4602 1111 63 0 5246 0
vsize: 21236
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 838944 0 0 0 49062 1946 0 0 25 0 1 0 776583341 21413888 4553 4294967295 134512640 134714508 3221224576 3221222488 1074138271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5228 4553 1111 63 0 5165 0
vsize: 20912
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 848483 0 0 0 50039 1969 0 0 25 0 1 0 776583341 24293376 5025 4294967295 134512640 134714508 3221224576 3221221232 1075967953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5931 5025 1111 63 0 5868 0
vsize: 23724
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 862081 0 0 0 51006 2002 0 0 25 0 1 0 776583341 21794816 4646 4294967295 134512640 134714508 3221224576 3221222560 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5321 4646 1111 63 0 5258 0
vsize: 21284
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 875590 0 0 0 51975 2033 0 0 25 0 1 0 776583341 22138880 4698 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5405 4698 1111 63 0 5342 0
vsize: 21620
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 890208 0 0 0 52943 2065 0 0 25 0 1 0 776583341 21786624 4644 4294967295 134512640 134714508 3221224576 3221222804 1077402435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5319 4644 1111 63 0 5256 0
vsize: 21276
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 904928 0 0 0 53909 2099 0 0 25 0 1 0 776583341 21843968 4658 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5333 4658 1111 63 0 5270 0
vsize: 21332
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 915674 0 0 0 54885 2124 0 0 25 0 1 0 776583341 22237184 4754 4294967295 134512640 134714508 3221224576 3221223040 1074121060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5429 4754 1111 63 0 5366 0
vsize: 21716
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 928511 0 0 0 55856 2152 0 0 25 0 1 0 776583341 22364160 4760 4294967295 134512640 134714508 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5460 4760 1111 63 0 5397 0
vsize: 21840
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 941876 0 0 0 56826 2183 0 0 25 0 1 0 776583341 22343680 4780 4294967295 134512640 134714508 3221224576 3221222960 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5455 4780 1111 63 0 5392 0
vsize: 21820
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 956034 0 0 0 57794 2215 0 0 25 0 1 0 776583341 24489984 4897 4294967295 134512640 134714508 3221224576 3221221520 1074620241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5979 4897 1111 63 0 5916 0
vsize: 23916
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 969496 0 0 0 58761 2248 0 0 25 0 1 0 776583341 24944640 5039 4294967295 134512640 134714508 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6090 5039 1111 63 0 6027 0
vsize: 24360
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 984772 0 0 0 59725 2285 0 0 25 0 1 0 776583341 22896640 4889 4294967295 134512640 134714508 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5590 4889 1111 63 0 5527 0
vsize: 22360
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 998785 0 0 0 60693 2316 0 0 25 0 1 0 776583341 25178112 5033 4294967295 134512640 134714508 3221224576 3221221388 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6147 5033 1111 63 0 6084 0
vsize: 24588
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1012902 0 0 0 61660 2350 0 0 25 0 1 0 776583341 23101440 4936 4294967295 134512640 134714508 3221224576 3221222536 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5640 4936 1111 63 0 5577 0
vsize: 22560
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1027786 0 0 0 62625 2385 0 0 25 0 1 0 776583341 23044096 4951 4294967295 134512640 134714508 3221224576 3221222796 1074146096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5626 4951 1111 63 0 5563 0
vsize: 22504
[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1041850 0 0 0 63594 2416 0 0 25 0 1 0 776583341 23449600 5040 4294967295 134512640 134714508 3221224576 3221222536 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 5040 1111 63 0 5662 0
vsize: 22900
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1052945 0 0 0 64568 2443 0 0 25 0 1 0 776583341 23941120 5170 4294967295 134512640 134714508 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5845 5170 1111 63 0 5782 0
vsize: 23380
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1059894 0 0 0 65551 2459 0 0 25 0 1 0 776583341 24514560 5307 4294967295 134512640 134714508 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5985 5308 1111 63 0 5922 0
vsize: 23940
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1072979 0 0 0 66523 2488 0 0 25 0 1 0 776583341 23834624 5133 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5819 5133 1111 63 0 5756 0
vsize: 23276
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1082047 0 0 0 67502 2509 0 0 25 0 1 0 776583341 24485888 5299 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5978 5299 1111 63 0 5915 0
vsize: 23912
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1095675 0 0 0 68474 2537 0 0 25 0 1 0 776583341 24498176 5291 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5981 5291 1111 63 0 5918 0
vsize: 23924
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1108970 0 0 0 69446 2565 0 0 25 0 1 0 776583341 23973888 5159 4294967295 134512640 134714508 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 5159 1111 63 0 5790 0
vsize: 23412
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1123609 0 0 0 70413 2599 0 0 25 0 1 0 776583341 27287552 5645 4294967295 134512640 134714508 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6662 5645 1111 63 0 6599 0
vsize: 26648
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1131726 0 0 0 71393 2619 0 0 25 0 1 0 776583341 25210880 5480 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 5480 1111 63 0 6092 0
vsize: 24620
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1145685 0 0 0 72363 2649 0 0 25 0 1 0 776583341 24649728 5303 4294967295 134512640 134714508 3221224576 3221222320 1075645388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6018 5303 1111 63 0 5955 0
vsize: 24072
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1160758 0 0 0 73329 2683 0 0 25 0 1 0 776583341 24563712 5322 4294967295 134512640 134714508 3221224576 3221222976 1074118861 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5997 5322 1111 63 0 5934 0
vsize: 23988
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1175187 0 0 0 74298 2715 0 0 25 0 1 0 776583341 27467776 5595 4294967295 134512640 134714508 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6706 5597 1111 63 0 6643 0
vsize: 26824
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1186330 0 0 0 75274 2739 0 0 25 0 1 0 776583341 27475968 5591 4294967295 134512640 134714508 3221224576 3221220848 1074960783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6708 5591 1111 63 0 6645 0
vsize: 26832
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1197761 0 0 0 76246 2767 0 0 25 0 1 0 776583341 24715264 5359 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6034 5359 1111 63 0 5971 0
vsize: 24136
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1212478 0 0 0 77212 2801 0 0 25 0 1 0 776583341 27582464 5559 4294967295 134512640 134714508 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6734 5559 1111 63 0 6671 0
vsize: 26936
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1226284 0 0 0 78184 2829 0 0 25 0 1 0 776583341 24743936 5366 4294967295 134512640 134714508 3221224576 3221222612 1077374461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 5366 1111 63 0 5978 0
vsize: 24164
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1235010 0 0 0 79163 2850 0 0 25 0 1 0 776583341 24961024 5419 4294967295 134512640 134714508 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6094 5419 1111 63 0 6031 0
vsize: 24376
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1250598 0 0 0 80128 2886 0 0 25 0 1 0 776583341 24961024 5419 4294967295 134512640 134714508 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6094 5419 1111 63 0 6031 0
vsize: 24376
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1263399 0 0 0 81099 2915 0 0 25 0 1 0 776583341 25202688 5478 4294967295 134512640 134714508 3221224576 3221222544 1073987049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 5478 1111 63 0 6090 0
vsize: 24612
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1278457 0 0 0 82063 2951 0 0 25 0 1 0 776583341 28459008 5837 4294967295 134512640 134714508 3221224576 3221221580 1074621112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6948 5837 1111 63 0 6885 0
vsize: 27792
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1292864 0 0 0 83030 2984 0 0 25 0 1 0 776583341 28499968 5775 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6958 5775 1111 63 0 6895 0
vsize: 27832
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1306921 0 0 0 83999 3016 0 0 25 0 1 0 776583341 28475392 5825 4294967295 134512640 134714508 3221224576 3221221344 1076083606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 5825 1111 63 0 6889 0
vsize: 27808
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1321196 0 0 0 84967 3047 0 0 25 0 1 0 776583341 25759744 5614 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6289 5614 1111 63 0 6226 0
vsize: 25156
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1334149 0 0 0 85939 3076 0 0 25 0 1 0 776583341 25817088 5628 4294967295 134512640 134714508 3221224576 3221222880 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6303 5628 1111 63 0 6240 0
vsize: 25212
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1348755 0 0 0 86901 3114 0 0 25 0 1 0 776583341 28336128 5703 4294967295 134512640 134714508 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6918 5710 1111 63 0 6855 0
vsize: 27672
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1365984 0 0 0 87861 3155 0 0 25 0 1 0 776583341 26431488 5751 4294967295 134512640 134714508 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6453 5751 1111 63 0 6390 0
vsize: 25812
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1380422 0 0 0 88829 3187 0 0 25 0 1 0 776583341 26263552 5737 4294967295 134512640 134714508 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6412 5737 1111 63 0 6349 0
vsize: 25648
[startup+930.061 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1394401 0 0 0 89799 3218 0 0 25 0 1 0 776583341 26705920 5813 4294967295 134512640 134714508 3221224576 3221221680 1074138636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6520 5813 1111 63 0 6457 0
vsize: 26080
[startup+940.074 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1406442 0 0 0 90773 3245 0 0 25 0 1 0 776583341 26976256 5879 4294967295 134512640 134714508 3221224576 3221222896 1075006851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6586 5879 1111 63 0 6523 0
vsize: 26344
[startup+950.074 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1417289 0 0 0 91749 3270 0 0 25 0 1 0 776583341 27410432 6005 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6692 6005 1111 63 0 6629 0
vsize: 26768
[startup+960.074 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1431590 0 0 0 92714 3305 0 0 25 0 1 0 776583341 27402240 5971 4294967295 134512640 134714508 3221224576 3221222644 1075963459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6690 5971 1111 63 0 6627 0
vsize: 26760
[startup+970.074 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1447153 0 0 0 93675 3344 0 0 25 0 1 0 776583341 26988544 5914 4294967295 134512640 134714508 3221224576 3221223196 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6589 5914 1111 63 0 6526 0
vsize: 26356
[startup+980.076 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1457513 0 0 0 94650 3369 0 0 25 0 1 0 776583341 28094464 6184 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6859 6184 1111 63 0 6796 0
vsize: 27436
[startup+990.075 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1471000 0 0 0 95622 3397 0 0 25 0 1 0 776583341 27574272 6057 4294967295 134512640 134714508 3221224576 3221222976 1074118861 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6732 6057 1111 63 0 6669 0
vsize: 26928
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1486293 0 0 0 96587 3432 0 0 25 0 1 0 776583341 27688960 6054 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6760 6054 1111 63 0 6697 0
vsize: 27040
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1495933 0 0 0 97567 3453 0 0 25 0 1 0 776583341 27533312 6047 4294967295 134512640 134714508 3221224576 3221222912 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.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1509636 0 0 0 98536 3484 0 0 25 0 1 0 776583341 27656192 6077 4294967295 134512640 134714508 3221224576 3221223036 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6752 6077 1111 63 0 6689 0
vsize: 27008
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1522453 0 0 0 99506 3514 0 0 25 0 1 0 776583341 28049408 6156 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6848 6156 1111 63 0 6785 0
vsize: 27392
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1536774 0 0 0 100474 3547 0 0 25 0 1 0 776583341 31272960 6440 4294967295 134512640 134714508 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7635 6444 1111 63 0 7572 0
vsize: 30540
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1549783 0 0 0 101445 3575 0 0 25 0 1 0 776583341 28286976 6227 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6906 6227 1111 63 0 6843 0
vsize: 27624
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1564349 0 0 0 102413 3608 0 0 25 0 1 0 776583341 28483584 6248 4294967295 134512640 134714508 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6954 6248 1111 63 0 6891 0
vsize: 27816
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1576971 0 0 0 103382 3639 0 0 25 0 1 0 776583341 28737536 6337 4294967295 134512640 134714508 3221224576 3221222788 1075964252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7016 6337 1111 63 0 6953 0
vsize: 28064
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1580490 0 0 0 104374 3648 0 0 25 0 1 0 776583341 28880896 6345 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7051 6345 1111 63 0 6988 0
vsize: 28204
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1585729 0 0 0 105362 3659 0 0 25 0 1 0 776583341 28786688 6353 4294967295 134512640 134714508 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7028 6353 1111 63 0 6965 0
vsize: 28112
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.93 3/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1597643 0 0 0 106335 3687 0 0 25 0 1 0 776583341 29405184 6448 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7179 6448 1111 63 0 7116 0
vsize: 28716
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1608876 0 0 0 107312 3710 0 0 25 0 1 0 776583341 28618752 6281 4294967295 134512640 134714508 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6987 6281 1111 63 0 6924 0
vsize: 27948
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1621978 0 0 0 108281 3741 0 0 25 0 1 0 776583341 31715328 6405 4294967295 134512640 134714508 3221224576 3221221616 1075971389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7743 6411 1111 63 0 7680 0
vsize: 30972
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1635163 0 0 0 109252 3770 0 0 25 0 1 0 776583341 29401088 6462 4294967295 134512640 134714508 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7178 6467 1111 63 0 7115 0
vsize: 28712
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1649013 0 0 0 110221 3802 0 0 25 0 1 0 776583341 28954624 6394 4294967295 134512640 134714508 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7069 6394 1111 63 0 7006 0
vsize: 28276
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1661485 0 0 0 111193 3830 0 0 25 0 1 0 776583341 29179904 6417 4294967295 134512640 134714508 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7124 6417 1111 63 0 7061 0
vsize: 28496
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1674202 0 0 0 112164 3859 0 0 25 0 1 0 776583341 29810688 6582 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7278 6582 1111 63 0 7215 0
vsize: 29112
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1682043 0 0 0 113145 3878 0 0 25 0 1 0 776583341 29941760 6616 4294967295 134512640 134714508 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7310 6616 1111 63 0 7247 0
vsize: 29240
[startup+1175.07 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 26025
Raw data (stat): 26025 (bsolo_lpr_cuts) R 26024 21152 21151 0 -1 0 1682043 0 0 0 113145 3878 0 0 25 0 1 0 776583341 29941760 6616 4294967295 134512640 134714508 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7310 6616 1111 63 0 7247 0
vsize: 0

Child status: 10
Real time (s): 1175.07
CPU time (s): 1175.22
CPU user time (s): 1136.32
CPU system time (s): 38.9081
CPU usage (%): 100.013
Max. virtual memory (Kb): 30972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####